Abstract—For software quality assurance, many safety-critical industries appeal to the use of dynamic testing and structural coverage criteria. However, there are reasons to doubt the adequacy of such practices. Mutation testing has been suggested as an alternative or complementary approach but its cost has.

Sep 2, 2018 · This paper evaluates the effectiveness of state-of-the-art mutation testing on safety-critical code from within the U.K. nuclear industry, in terms of revealing flaws in test suites that already meet the structural coverage criteria recommended by relevant safety standards.

: EVALUATION OF MUTATION TESTING IN A NUCLEAR INDUSTRY CASE STUDY. 1409 process and documentation are assessed, including all records of software analysis and testing. This assessment of production excellence is performed against the safety standard IEC 61508. [5] as a benchmark, which requires structural test coverage ...

We applied a conventional selective mutation approach to a C codebase supplied by a nuclear industry partner and measured the mutation score achieved by the ...

The findings show how mutation testing could be effective where traditional structural coverage analysis and manual peer review have failed and show that several testing issues have origins beyond the test activity, and this suggests improvements to the requirements definition and coding process.

Evaluation of mutation testing in a nuclear industry case study. Delgado-Perez, P. Habli, I. Gregory, S. Alexander, R. Clark, J. Medina-Bulo, I. Revista: IEEE Transactions on Reliability. ISSN: 0018-9529. Año de publicación: 2018. Volumen: 67. Número: 4. Páginas: 1406-1419. Tipo: Artículo. Exportar ...

In this study, we provide an empirical evaluation of the application of mutation testing to airborne software systems which have already satisfied the coverage requirements for certification. Specifically, we apply mutation testing to safety-critical software ...

Abstract—Mutation Testing is a fault–based software testing technique that has been widely studied for over three decades. The literature on Mutation Testing has contributed a set of approaches, tools, developments and empirical results. This paper provides a comprehensive analysis and survey of Mutation Test-.

This work introduces property-based mutation testing, a method for assessing the capability of a test suite to exercise the software with respect to a given ...

Evaluation of mutation testing in a nuclear industry case study. IEEE Transactions on Reliability Dec 2018; 67(4):1406–1419, doi:10.1109/TR.2018. 2864678. 51. AbouTrab MS, Brockway M, Counsell S, Hierons RM. Testing real-time embedded systems using timed automata based approaches. Journal of Systems and Software ...