In areas such as railway transportation which need to ensure strict safety, Modified Condition/Decision Coverage(MC/DC) is always applied instead of traditional coverage criteria in software testing and more test cases of high quality are required. Aiming at the white-box unit testing of railway transportation control software, this paper proposes an automatic test case generation scheme for MC/DC coverage. Based on the mapping from MC/DC coverage to branch coverage, the scheme automatically generates test cases which achieves the highest MC/DC coverage of testing unit, so as to help testers detect the potential code defects due to which 100% MC/DC cannot be reached.
Automating Test Case Generation Based on Symbolic Execution for Railway Transportation Control Software
11.10.2023
3841770 byte
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
Automating test driver generation (airborne software)
Tema Archiv | 1990
|Automating Test Case Generation for the New Generation Mission Software System
British Library Conference Proceedings | 2000
|