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 Gerard J. Holzmann and Rajeev 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

Citations

Publications citing this paper.
SHOWING 1-10 OF 13 CITATIONS

Learning-Based Test Programming for Programmers

VIEW 5 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

A Comparative Study of Software Model Checkers as Unit Testing Tools: An Industrial Case Study

  • IEEE Transactions on Software Engineering
  • 2011
VIEW 4 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

TSTL: the template scripting testing language

  • International Journal on Software Tools for Technology Transfer
  • 2016
VIEW 2 EXCERPTS
CITES BACKGROUND

Help, help, i'm being suppressed! The significance of suppressors in software testing

  • 2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE)
  • 2013
VIEW 2 EXCERPTS
CITES BACKGROUND & METHODS

References

Publications referenced by this paper.
SHOWING 1-10 OF 33 REFERENCES

Randomized Differential Testing as a Prelude to Formal Verification

  • 29th International Conference on Software Engineering (ICSE'07)
  • 2007
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

The Mars Rover Spirit FLASH anomaly

  • 2005 IEEE Aerospace Conference
  • 2005
VIEW 3 EXCERPTS
HIGHLY INFLUENTIAL

DART: Directed Automated Random Testing

  • Haifa Verification Conference
  • 2009
VIEW 2 EXCERPTS

Andrews , Alex Groce , Melissa Weston , and Ru - Gang Xu . Random test run length and effectiveness

H. James
  • Automated Software Engineering
  • 2008

Random Test Run Length and Effectiveness

  • 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
  • 2008
VIEW 1 EXCERPT

Similar Papers

Loading similar papers…