This slide presentation reviews some of the issues concerning verification and validation testing of autonomous spacecraft routinely culminates in the exploration of anomalous or faulted mission-like scenarios using the work involved during the Dawn mission's tests as examples. ![]() Stateflow models achieving complete state and transition coverage in a single test case are reported.Īutomated Generation and Assessment of Autonomous Systems Test Casesīarltrop, Kevin J. The approach has been applied to use of the model checkers of SRI's SAL system and to model-based designs developed in Stateflow. Deep regions of the state space can be reached within allotted time and memory. The invention provides efficient test case generation and test set formation. The method provides for extending existing tests to reach new coverage targets searching *to* some or all of the uncovered targets in parallel searching in parallel *from* some or all of the states reached in previous tests and slicing the model relative to the current set of coverage targets. ![]() ![]() The invention relates to the use of model checkers to generate efficient test sets for hardware and software systems. Rushby, John (Inventor) De Moura, Leonardo Mendonga (Inventor) Hamon, Gregoire (Inventor)
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |