Software used in safety critical domains such as aviation and automotive has to be rigorously tested. Since exhaustive testing is not feasible, Modified Condition/Decision Coverage (MC/DC) has been introduced as an effective structural coverage alternative. However, studies have shown that complementing the test cases satisfying MC/DC to also satisfy Boundary Value Analysis (BVA) increases the bug finding rate. Hence, the industry adopted its testing processes to accommodate both. Satisfying these coverage requirements manually is very expensive and as a result many efforts were put to automate this task. Genetic algorithms (GA) have shown their effectiveness so far in this area. We propose an approach employing GA techniques and targeting hybrid coverage criteria to increase BVA in addition to MC/DC.
CITATION STYLE
El-Serafy, A., Salama, C., & Wahba, A. (2015). Automatic test data generation targeting hybrid coverage criteria. In Communications in Computer and Information Science (Vol. 532, pp. 149–160). Springer Verlag. https://doi.org/10.1007/978-3-319-22689-7_11
Mendeley helps you to discover research relevant for your work.