Sökning: "automated test generation"

Visar resultat 1 - 5 av 23 avhandlingar innehållade orden automated test generation.

1. 1. Automatic test generation for industrial control software

   Författare :Eduard Enoiu; Daniel Sundmark; Mats Heimdahl; Mälardalens högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; automatic test generation; software testing; automated test generation; Computer Science; datavetenskap;

   Sammanfattning : Since the early days of software testing, automatic test generation has been suggested as a way of allowing tests to be created at a lower cost. However, industrially useful and applicable tools for automatic test generation are still scarce. LÄS MER

3. 2. Enabling Test Automation for Industrial PLC Programs

   Författare :Mikael Ebrahimi Salari; Eduard Paul Enoiu; Wasif Afzal; Cristina Seceleanu; Jee Eunkyoung; Mälardalens universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; PLC; PLC Testing; Automated Testing; PyLC; EARS Syntax; FBD; ST; Computer Science; datavetenskap;

   Sammanfattning : Testing safety-critical systems, particularly those controlled by Programmable Logic Controllers (PLC), is crucial for ensuring the safe and reliable operation of industrial processes. This thesis addresses the critical need for automated testing of safety-critical PLC systems used in various industrial settings. LÄS MER

4. 3. Random Structured Test Data Generation for Black-Box Testing

   Författare :Michal Palka; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : We show how automated random testing can be used to effectively find bugs in complex software, such as an optimising compiler. To test the GHC Haskell compiler we created a generator of simple random programs, used GHC to compile them with different optimisation levels, and thencompared the results of running them. LÄS MER

5. 4. A Mutation-based Framework for Automated Testing of Timeliness

   Författare :Robert Nilsson; Sten F. Andler; Michael G. Hinchey; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Automated Testing; Timeliness; Real-time systems; Time constraints; Model-based; Mutation testing; Computer science; Datalogi;

   Sammanfattning : A problem when testing timeliness of event-triggered real-time systems is that response times depend on the execution order of concurrent tasks. Conventional testing methods ignore task interleaving and timing and thus do not help determine which execution orders need to be exercised to gain confidence in temporal correctness. LÄS MER

7. 5. Language-Based Techniques and Stochastic Models for Automated Testing

   Författare :Claudio Agustin Mista; Chalmers tekniska högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; automated testing; software testing; stochastic methods; meta-programming; functional programming;

   Sammanfattning : As software systems become bigger and scarier, automating their testing is crucial to ensure that our confidence in them can keep up with their growth. In this setting, Generational Fuzzing and Random Property-Based Testing are two sides of the same testing technique that can help us find bugs effectively without having to spend countless hours writing unit tests by hand. LÄS MER