Search for dissertations about: "Automated Testing"

Showing result 6 - 10 of 136 swedish dissertations containing the words Automated Testing.

  2. 6. Model-Based Protocol Testing in an Erlang Environment

    Author : Johan Blom; Bengt Jonsson; Sven-Olof Nyström; Bernhard Aichernig; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Testing; Erlang; Model-Based Testing; Symbolic Execution; Communication Protocols; Datavetenskap; Computer Science;

    Abstract : Testing is the dominant technique for quality assurance of software systems. It typically consumes considerable resources in development projects, and is often performed in an ad hoc manner. This thesis is concerned with model-based testing, which is an approach to make testing more systematic and more automated. READ MORE

  4. 7. Enabling Test Automation for Industrial PLC Programs

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

    Abstract : 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. READ MORE

  5. 8. Realizing the systematic reuse of automated acceptance tests in practice

    Author : Mohsin Irshad; Kai Petersen; Jürgen Börstler; Nauman Ali; Andy Zaidman; Blekinge Tekniska Högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Reuse; Software Engineering; Development; Testing; Programvaruteknik; Software Engineering;

    Abstract : Context: Automated acceptance testing has become a relevant practice of agile software development (e.g., Extreme Programming). Automated acceptance tests (AATs) are closely tied to requirements and provide a mechanism for continuous validation of requirements as system-level tests. READ MORE

  6. 9. Testing and Proving using Narrowing

    Author : Fredrik Lindblad; Göteborgs universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; program correctness; software testing; formal verification; proof construction; dependent types; type theory; narrowing; dependent types;

    Abstract : In order to know if a program is correct a specification of its intended behaviour must be stated. The two main activities concerning program correctness are testing and verification. READ MORE

  7. 10. Biomimetic Software Engineering Techniques for Dependability

    Author : Robert Feldt; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; automated testing; genetic programming; dependability; software engineering; biomimetic algorithms; design exploration; software development workbench; software visualization; software testing; evolutionary computation;

    Abstract : The powerful information processing capabilities of computers have made them an indispensable part of our modern societies. As we become more reliant on computers and want them to handle more critical and difficult tasks it becomes important that we can depend on the software that controls them. READ MORE