Software Assurance by Bounded Exhaustive Testing

Kevin Sullivan, Jinlin Yang, David Coppit, Sarfraz Khurshid, and Daniel Jackson

International Symposium on Software Testing and Analysis (ISSTA 2004).
July 11-14, 2004, Boston, USA.

Abstract

The contribution of this paper is an experiment that shows the potential value of a combination of selective reverse engineering to formal specifications and bounded exhaustive testing to improve the assurance levels of complex software. A key problem is to scale up test input generation so that meaningful results can be obtained. We present an approach, using Alloy and TestEra for test input generation, which we evaluate by experimental application to the Galileo dynamic fault tree analysis tool.

Download the whole paper [PDF, PS].