TEST FRAMEWORKS FOR ELUSIVE BUG TESTING

W. E. Howden, Cliff Rhyne

2007

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.

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