State coverage: A structural test adequacy criterion for behavior checking

6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2007

Volumn , Issue , 2007, Pages 541-544

  Koster, Kenneth ^a   Kao, David C ^a  

^a Agitar Software Inc   (United States)

Author keywords

Coverage; Fault based; Mutation testing; State coverage; Structural testing; Test adequacy criteria; Unit testing

Indexed keywords

MUTATION TESTING; STATE COVERAGE; STRUCTURAL TESTING; TEST ADEQUACY CRITERIA; UNIT TESTING; COVERAGE; FAULT-BASED;

COMPUTER PROGRAMMING LANGUAGES; CORRELATION METHODS; FAULT TOLERANCE; MODEL CHECKING; DATA PROCESSING; SOFTWARE ENGINEERING; TEST FACILITIES; TESTING;

SOFTWARE TESTING;

EID: 57149130223     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1287624.1287705     Document Type: Conference Paper

References (16)

1. D. Astels. One assertion per test. http://www.artima.com/weblogs/ viewpost.jsp?thread=35578.
2. K. Beck. Kent Beck's Guide to Better Smalltalk. Cambridge University Press, 1998.
3. T. Burns. Effective unit testing. ACM Ubiquity, 1(42), 2001.
4. R. A. DeMillo, R. J. Lipton, and F. G. Sayward. Hints on test data selection: Help for the practicing programmer. IEEE Computer, 11(4), April 1978.
5. E. Duesterwald, R. Gupta, and M. L. Sofia. Rigorous data flow testing through output influences. In Second Irvine Software Symposium, 1992.
6. R. G. Hamlet. esting programs with the aid of a compiler. IEEE Trans. Softw. Eng., 3(4), July 1977.
7. C. A. R. Hoare. An axiomatic basis for computer programming. Commun. ACM, 12(10):576-580, 1969.
8. D. Hyland-Wood and D. Carrington. 2006 software engineering practices survey summary of results. Technical report, The University of Queensland, 2007. http://www.itee.uq.edu.au/ dwood/2006SEPSurvey/2006SEPSurveyResults.html.
9. Y.-S. Ma, J. Offutt, and Y. R. Kwon. MuJava: An automated class mutation system. Software Testing, Verification and Reliability, 15(2):97-133, June 2005.
10. V. P. Ranganath and J. Hatcliff. Slicing concurrent Java programs using Indus and Kaveri, 2005.http://people.cis.ksu.edu/~rvprasad/publications/ sttt05submission.pdf
11. S. Rapps and E. Weyuker. Selecting software test data using data flow information. IEEE Trans. Softw. Eng., 11(4):367-375, 1985.
12. P. Runeson. A survey of unit testing practices. IEEE Software, 23(4):22-29, 2006.
13. F. Tip. A survey of program slicing techniques. Journal of Programming Languages, 3:121-189, 1995.
14. R. Torkar and S. Mankefors. A survey on testing and reuse. In Proceedings of the 2003 IEEE International Conference on Software-Science, Technology & Engineering, 2003.
15. M. Weiser. Program slicing. In Proceedings of the 5th International Conference on Software Engineering, 1981.
16. H. Zhu, P. A. V. Hall, and J. H. R. May. Software unit test coverage and adequacy. ACM Computing Surveys, 29(4):366-427, 1997.