GOAL-ORIENTED AUTOMATIC TEST CASE GENERATORS FOR MC/DC COMPLIANCY

Emine G. Aydal, Jim Woodcock, Ana Cavalcanti

2007

Abstract

Testing is a crucial phase of the software development process. Certification standards such as DO-178B impose certain steps to be accomplished in testing phase and certain testing coverage criteria to be met in order to certify a software as Level-A software. Modified Condition/Decision Coverage, listed as one of these requirements in DO-178B, is one of the most difficult targets to achieve for testers and software developers. This paper presents the state-of-the-art goal-oriented automatic test case generators and evaluates them in the context of MC/DC satisfaction. It also aims to guide the production of MC/DC-compliant test case generators by pointing out the strengths and weaknesses of the current tools and by highlighting the further expectations.

Paper Citation

in Harvard Style

G. Aydal E., Woodcock J. and Cavalcanti A. (2007). GOAL-ORIENTED AUTOMATIC TEST CASE GENERATORS FOR MC/DC COMPLIANCY . In Proceedings of the Second International Conference on Software and Data Technologies - Volume 2: ICSOFT, ISBN 978-989-8111-06-7, pages 290-295. DOI: 10.5220/0001324002900295

in Bibtex Style

@conference{icsoft07,
author={Emine G. Aydal and Jim Woodcock and Ana Cavalcanti},
title={GOAL-ORIENTED AUTOMATIC TEST CASE GENERATORS FOR MC/DC COMPLIANCY},
booktitle={Proceedings of the Second International Conference on Software and Data Technologies - Volume 2: ICSOFT,},
year={2007},
pages={290-295},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001324002900295},
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 - GOAL-ORIENTED AUTOMATIC TEST CASE GENERATORS FOR MC/DC COMPLIANCY
SN - 978-989-8111-06-7
AU - G. Aydal E.
AU - Woodcock J.
AU - Cavalcanti A.
PY - 2007
SP - 290
EP - 295
DO - 10.5220/0001324002900295