Putting Flight Software Through the Paces with Testing , Model Checking , and Constraint-Solving
@inproceedings{Groce2008PuttingFS, title={Putting Flight Software Through the Paces with Testing , Model Checking , and Constraint-Solving}, author={Alex Groce and G. Holzmann and R. Joshi and Ru-Gang Xu}, year={2008} }
In this paper we discuss the application of a range of techniques to the verification of mission critical flight software for a JPL mission. It is clear that for this type of application we want to achieve a higher level of confidence than can be achieved through standard software testing. Unfortunately, given the current state of the art, especially if one has to comply with the tight deadlines and resource limitations of a flight project, it is not feasible to produce a rigorous formal proof… CONTINUE READING
14 Citations
Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning
- Computer Science
- Annals of Mathematics and Artificial Intelligence
- 2014
- 32
- PDF
Lightweight Automated Testing with Adaptation-Based Programming
- Computer Science
- 2012 IEEE 23rd International Symposium on Software Reliability Engineering
- 2012
- 20
- PDF
How verified (or tested) is my code? Falsification-driven verification and testing
- Computer Science
- Automated Software Engineering
- 2018
- 2
- PDF
A Comparative Study of Software Model Checkers as Unit Testing Tools: An Industrial Case Study
- Computer Science
- IEEE Transactions on Software Engineering
- 2011
- 35
- PDF
Finding Model-Checkable Needles in Large Source Code Haystacks: Modular Bug-Finding via Static Analysis and Dynamic Invariant Discovery
- Computer Science
- ArXiv
- 2016
- 2
- PDF
TSTL: the template scripting testing language
- Computer Science
- International Journal on Software Tools for Technology Transfer
- 2016
- 19
- PDF
References
SHOWING 1-10 OF 36 REFERENCES
Randomized Differential Testing as a Prelude to Formal Verification
- Computer Science
- 29th International Conference on Software Engineering (ICSE'07)
- 2007
- 118
- PDF
Modular verification of software components in C
- Computer Science
- 25th International Conference on Software Engineering, 2003. Proceedings.
- 2003
- 271
- PDF
Feedback-Directed Random Test Generation
- Computer Science
- 29th International Conference on Software Engineering (ICSE'07)
- 2007
- 700
- PDF
Random testing and model checking: building a common framework for nondeterministic exploration
- Computer Science
- WODA '08
- 2008
- 30
- PDF