AN INTELLIGENT TOOL KIT FOR EMBEDDED SAFETY-CRITICAL SOFTWARE AUTOMATIC TESTING

The safety-critical software (SCS) is often directly related to the safety of the people's lives and wealth; it has to undergo safety testing strictly. The fault injection approach can generate testing cases to find dangerous prone defects quickly by running the SCS under a faulty environment. A fault injection tool kit for SCS is developed to implement fault injection to enhance the safety testing ability of the existing method. The tool kit generates test cases for safety testing according to an operational profile automatically and provides a script language as interface. When this tool kit applied in the testing of interlocking software, a typical class of SCS, the level of testing automation as well as testing efficiency is improved.