Sökning: "Automated Testing"
Visar resultat 6 - 10 av 138 avhandlingar innehållade orden Automated Testing.
6. Model-Based Protocol Testing in an Erlang Environment
Sammanfattning : 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. LÄS MER
7. Enabling Test Automation for Industrial PLC Programs
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
8. Realizing the systematic reuse of automated acceptance tests in practice
Sammanfattning : 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. LÄS MER
9. Testing and Proving using Narrowing
Sammanfattning : 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. LÄS MER
10. Biomimetic Software Engineering Techniques for Dependability
Sammanfattning : 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. LÄS MER
