On fault classes and error detection capability of specification-based testing

ACM Transactions on Software Engineering and Methodology

Volumn 11, Issue 1, 2002, Pages 58-62

  Tsuchiya, Tatsuhiro ^a   Kikuno, Tohru ^a  

^a OSAKA UNIVERSITY   (Japan)

Author keywords

D.2.1 Software Engineering : Requirements Specifications; D.2.5 Software Engineering : Testing and Debugging; Fault classes; Specification based testing; Verification

Indexed keywords

BOOLEAN SPECIFICATIONS; FAULT CLASSES; SPECIFICATION-BASED TESTING;

BOOLEAN ALGEBRA; ERROR DETECTION; TESTING; THEOREM PROVING;

SOFTWARE ENGINEERING;

EID: 1842421482     PISSN: 1049331X     EISSN: None     Source Type: Journal    
DOI: 10.1145/504087.504089     Document Type: Article

References (2)

1. CHEN, T. Y. AND LAU, M. F. 1997. Two test data selection strategies towards testing of Boolean specifications. In Proceedings of the 21st International Computer Software and Application Conference (COMPSAC'97), (Washington DC, Aug. 11-15,1997). IEEE Computer Society Press, Los Alamitos, CA, 608-611.
2. KUHN, D. R. 1999. Fault classes and error detection capability of specification-based testing. ACM Trans. Softw. Eng. Methodol. 8, 4 (Oct.), 411-424.