Experiments with Test Case Generation and Runtime Analysis
Koga, Dennis (Technical Monitor)
MetadataShow full item record
Software testing is typically an ad hoc process where human testers manually write many test inputs and expected test results, perhaps automating their execution in a regression suite. This process is cumbersome and costly. This paper reports preliminary results on an approach to further automate this process. The approach consists of combining automated test case generation based on systematically exploring the program's input domain, with runtime analysis, where execution traces are monitored and verified against temporal logic specifications, or analyzed using advanced algorithms for detecting concurrency errors such as data races and deadlocks. The approach suggests to generate specifications dynamically per input instance rather than statically once-and-for-all. The paper describes experiments with variants of this approach in the context of two examples, a planetary rover controller and a space craft fault protection system.
10th International Workshop on Abstract State Machines; 3-7 Mar. 2003; Taormina; ItalyApproved for public release, distribution unlimited
Showing items related by title, author, creator and subject.
Bang, H.; Agrawal, B.N. (1994);A new approach for spacecraft maneuver based upon constraint dynamics and tracking control laws is presented in this paper. For high precision pointing requirement on spacecraft maneuver, a desired trajectory is prescribed ...
Alftimat, Abdalkhalq Ma'ruf. (Monterey, California. Naval Postgraduate School, 2010-12);There is no doubt that the 9/11 attacks constituted a new terrorism phenomena in terms of sophistication and scale of mayhem. U.S. policy makers had to consider at least three approaches in response to these attacks: the ...
Jimenez, Jorge I. (Monterey California. Naval Postgraduate School, 2006-06);This project describes the emerging approach of Complexity Management, translates it for use in the Department of Defense (DoD), and applies its principles to DoDb2ss financial functions. Complexity Management is a new ...