Input Validation Testing: A Requirements-Driven, System Level, Early Lifecycle Technique

This paper addresses the problem of statically analyzing input command syntax as de ned in interface and requirements speci cations and then generating test cases for input validation testing. The IVT (Input Validation Testing) technique has been developed, a proof-of-concept tool (MICASA) has been implemented, and validation has been performed. Empirical validation on actual industrial software (for the Tomahawk Cruise Missile) shows that as compared with senior, experienced testers, MICASA found more requirement speci cation defects, generated test cases with higher syntactic coverage, and found additional defects. Additionally, the tool performed at signi cantly less cost. Jane Huffman Hayes and A. Jefferson Offutt. Input Validation Testing: A Requirements-Driven, System Level, Early Lifecycle Technique. 11th International Conference on Software Engineering & its Applications, Paris France, December 1998.