TEST FRAMEWORKS FOR ELUSIVE BUG TESTING

W. E. Howden, Cliff Rhyne

Abstract

Elusive bugs can be particularly expensive because they often survive testing and are released in a deployed system. They are characterized as involving a combination of properties. One approach to their detection is bounded exhaustive testing (BET). This paper describes how to implement BET using a variation of JUnit, called BETUnit. The idea of a BET pattern is also introduced. BET patterns describe how to solve certain problems in the application of BETUnit. Classes of patterns include BET test generation and BET oracle design. Examples are given of each.

References

  1. Boyapati, C., Khurshid, S., Marinov, D., 2002. Korat: Automated Testing Based on Java Predicates, In ISSTA, IEEE Press.
  2. Cheon, Y., Leavens, G., 2002. A Simple and Practical Approach to Unit Testing: The JML and the JUnit Way, In ECOOP 2002 -- Object-Oriented Programming, 16th European Conference, Malaga, Spain, June 2002, Proceedings. Volume 2374 of Lecture Notes in Computer Science. Springer-Verlag.
  3. Howden, W.E., 2005. Software Test Selection Patterns and Elusive Bugs, In Proceedings COMPSAC 2005, IEEE Press.
  4. Howden, W.E., 1987. pp. 112, 114. Functional Program Testing and Analysis, McGraw Hill.
  5. Jha. A., Kaner, C., 2003. Bugs in the brave new unwired world. In Pacific Northwest Software Quality Conference.
Download


Paper Citation


in Harvard Style

E. Howden W. and Rhyne C. (2007). TEST FRAMEWORKS FOR ELUSIVE BUG TESTING . In Proceedings of the Second International Conference on Software and Data Technologies - Volume 2: ICSOFT, ISBN 978-989-8111-06-7, pages 250-257. DOI: 10.5220/0001331102500257


in Bibtex Style

@conference{icsoft07,
author={W. E. Howden and Cliff Rhyne},
title={TEST FRAMEWORKS FOR ELUSIVE BUG TESTING},
booktitle={Proceedings of the Second International Conference on Software and Data Technologies - Volume 2: ICSOFT,},
year={2007},
pages={250-257},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001331102500257},
isbn={978-989-8111-06-7},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Second International Conference on Software and Data Technologies - Volume 2: ICSOFT,
TI - TEST FRAMEWORKS FOR ELUSIVE BUG TESTING
SN - 978-989-8111-06-7
AU - E. Howden W.
AU - Rhyne C.
PY - 2007
SP - 250
EP - 257
DO - 10.5220/0001331102500257