Sökning: "LBTest"
Hittade 1 avhandling innehållade ordet LBTest.
1. Algorithms and Tools for Learning-based Testing of Reactive Systems
Sammanfattning : In this thesis we investigate the feasibility of learning-based testing (LBT) as a viable testing methodology for reactive systems. In LBT, a large number of test cases are automatically generated from black-box requirements for the system under test (SUT) by combining an incremental learning algorithm with a model checking algorithm. LÄS MER
Resultatsidor:
1