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

Emine G. Aydal, Jim Woodcock, Ana Cavalcanti

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.

References

  1. AC#20-115B (2003). Advisory Circular (AC) # 20-115B, FAA.
  2. Adrion, R., Branstad, M. and Cherniavsky, J., (1982). Validation, Verification and Testing of Computer Software. Computing Surverys, ACM.
  3. Ammann, P., Offutt, J. and Huang, H., (2003). Coverage Criteria for Logical Expression. International Symposium on Software Reliability Engineering (ISSRE 7803).
  4. Cavarra, A. , Crichton, C., Davies, J., Hartman, A., Jeron, T. and Monier, L., (2002). Using UML for Automatic Test Generation. Proceedings of ISSTA.
  5. Certification Authorities Software Team (CAST), 2001. Rationale for Accepting Masking MC/DC in Certification Projects.
  6. Chilenski, J.J. and Miller, S.P., (1994). Applicability of Modified Condition/Decision Coverage to Software Testing. Software Engineering Journal.
  7. Chilenski, J.J. and Newcomb, P.H., (1994). Formal Specification Tools for Test Coverage Analysis. The Boeing Company.
  8. Díaz, E., Tuya, J. and Blanco, R., (2004). A Modular Tool for Automated Coverage in Software Testing, Software Technology and Engineering Practice. IEEE CS Press, pp. 234-240.
  9. DO-1'B, (1992). DO-1'B: Software Considerations in Airborne Systems and Equipment Certification, RTCA, Washington D.C., USA.
  10. Durrieu, G., Laurent, O., Seguin, C. and Wiels, V., (2004), Automatic Test case Generation for Critical Embedded Systems. DASIA'04.
  11. Edvardsson, J., (1999), A Survey on Test Data Generation, ECSEL.
  12. Ferguson R. and Korel B., (1996). The Chaining Approach for Software test data generation. ACM Transactions on Software Engineering and Methodology, 5(1):63- 86.
  13. Hayhurst, K.,Veerhusen, D., Chilenski, J. and Rierson, L.K., (2001). A Practical Tutorial on Modified Condition/Decision Coverage. NASA.
  14. Jackson, M., (2006). What can we expect from program verification?. Innovative Technology for Computer Professionals 39, no.10, PG 65-71.
  15. Kapoor, K. and Bowen, J.,(2004).Formal Analysis of MCDC and RCDC Test Criteria. London South Bank University.
  16. Korel, B. and Al-Yami, A. M., (1996). Assertion-oriented automated test data generation. Proceedings of the 18th International Conference on Software Engineering, (ICSE), pages 71-80. IEEE.
  17. Prasanna, M., Sivanandam, S.N., Venkatesan, R. and Sundarrajan, R., (2005). A Survey on Automatic Test Case Generation. Academic Open Internet Journal,Volume 15.
  18. Tracey, N., Clark, J., Mader, K. and McDermid, J., (1998). An Automated Framework for Structural Test Data Generation. 13th IEEE International Conference on Automated Software Engineering.
Download


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