Search for dissertations about: "test execution"
Showing result 16 - 20 of 79 swedish dissertations containing the words test execution.
-
16. Model-based test case selection and generation for real-time systems
Abstract : Testing is the dominating verification technique used in industry today, and many man-hours and resources are invested in the testing of software products. To cut down the cost of testing, automated test execution becomes more and more popular. READ MORE
-
17. Artificial Intelligence for Monitoring and Diagnosis of Robotic Spacecraft
Abstract : In this thesis the application of artificial intelligence to monitoring and diagnosis of robotic spacecraft is discussed. Several software prototype systems were developed to serve as testbeds for the research and to evaluate the effectiveness of the approach against real problems and current techniques used in NASA's planetary exploration program. READ MORE
-
18. A Mutation-based Framework for Automated Testing of Timeliness
Abstract : 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. READ MORE
-
19. Testability analysis and improvement in high-level synthesis systems
Abstract : With the level of integration existing today in VLSI technology, the cost of testing a digital circuit has become a very significant part of a product. This cost mainly comes from the test pattern generation (ATPG) for a design and the test execution for each product. READ MORE
-
20. Model-based System Testing of Safety-Critical Embedded Software
Abstract : System-level testing of safety-critical embedded systems is complex and costly. MBT has shown promising results in terms of fault detection effectiveness and efficiency of test generation and execution. However, the industrial adoption of MBT approaches is slow and limited to specific industries and domains. READ MORE