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; Italy
RightsThis publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.
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 ...
Development and Extension of a Deterministic System of Systems Performance Prediction Methodology for an Acknowledged System of Systems Volkert, Richard; Stracener, Jerrell; Yu, Junfang; Jackson, Carly (2012-04-30); NPS-AM-12-C9P02R02-044This paper addresses the need for predicting performance in a system of systems (SoS) during incremental development and for dealing with the inherent variability associated with predicting performance. Historically, senior ...