Conferences and supporting programme
Testing Safety Critical Software Using Automated Fault Injection
According to safety standards and norms, the development of safety critical systems requires functional and non-functional testing both under normal as well as abnormal operating conditions. Fault injection is a well applicable mean to check for correct behavior of the software in case of hazardous environmental influences as well as system or hardware failure. This testing method introduces erroneous values into software variables and expects an appropriate reaction of the software. Special coding is required to ensure that a system operates correctly even under abnormal conditions. The code should detect such error situations and put the system into a safe state. When defining the tests, there is usually no possibility to access internal data, e. g. to generate bit errors or corrupt data. As a result, not all code branches can be tested, so that the necessary code coverage will not be reached. A convenient method to inject faulty values into variables for testing such error situations is desirable in order to achieve full code coverage. This presentation describes an efficient approach to fault injection testing of C/C++ code which provides easy identification of required fault injection locations, comfortable automatic adaptation in case of software changes and complete documentation.
--- Date: 28.02.2019 Time: 10:30 - 11:00 Location: Conference Counter NCC Ost