For safety-critical applications, safety diagnostics components are an attractive safeguard for meeting some specified safety requirements under operation. Like a monitor, such a software artifact shall supervise a system under operation, and furthermore, if needed, it overrides the system’s control software in order to maintain safety. In this paper we contribute to testing such a component, suggesting an approach that draws on fault injection and, in order to enhance deployability, accommodates also needs in respect of business issues like intellectual property disclosure and resource efficiency. The required testing oracle we directly obtain from the defined and formalized functional safety requirements, for the purpose of assessing that the safety diagnostic component in- deed maintains safety also under faulty conditions.
How to Cite
applications: industrial, Testing, Model-based diagnosis
Arnedo, J. A., Cavalli, A., & Nunez, M. (2003). Fast testing of critical properties through passive testing. In Lecture Notes in Computer Science (Vol. 2644, pp. 295–310). Springer.
Bloem, R., Cavada, R., Pill, I., Roveri, M., & Tchaltsev, A. (2007). RAT: A tool for the formal analysis of requirements. In Computer aided verification (p. 263-267).
Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., & Pretschner, A. (2005). Model-based testing of reactive systems. In Lecture Notes in Computer Science (Vol. 3472). Springer.
Clarke, E. M., Jr., Grumberg, O., & Peled, D. A. (1999). Model checking. Cambridge, MA, USA: MIT Press.
de Kleer, J., & Williams, B. C. (1987). Diagnosing multiple faults. Artificial Intelligence, 32(1), 97–130.
Delamaro, M. E. (1993). Proteum - a mutation analysis based testing environment (phdthesis). University of Sa ̃o Paulo, Sao Paulo, Brazil.
DeMillo, R. A., Lipton, R. J., & Sayward, F. G. (1978). Hints on test data selection: Help for the practicing program- mer. IEEE Computer, 11, 34–41.
Eisner, C., & Fisman, D. (2006). A practical introduction to PSL (series on integrated circuits and systems). Secau- cus, NJ, USA: Springer-Verlag New York, Inc.
Ghosh, S. (2000). Testing Component-Based Distributed Applications (phdthesis). Purdue University, West Lafayette, Indiana.
Gopinath, R., Jensen, C., & Groce, A. (2014, Nov). Muta- tions: How close are they to real faults? In 2014 IEEE 25th International Symposium on Software Reliability Engineering (ISSRE) (p. 189-200). doi: 10.1109/IS- SRE.2014.40
Hofer, B., Jehan, S., Pill, I., & Wotawa, F. (2014). Functional diagnosis of a SOA’s BPEL processes. In 25th Interna- tional Workshop on Principles of Diagnosis (DX).
Kim, Y., Daly, R., Kim, J., Fallin, C., Lee, J. H., Lee, D., . . . Mutlu, O. (2014, June). Flipping bits in memory with- out accessing them: An experimental study of DRAM disturbance errors. In 2014 ACM/IEEE 41st International Symposium on Computer Architecture (ISCA)(p. 361-372). doi: 10.1109/ISCA.2014.6853210
Korel, B., & Rilling, J. (1998). Dynamic program slicing methods. Information & Software Technology, 40(11-12), 647-659.
Ma, Y., Offutt, A. J., & Kwon, Y. (2006). MuJava: a Mutation System for Java. In Proceedings of the 28th International Conference on Software Engineering (ICSE ’06) (pp. 827–830). Shanghai, China.
Offutt, A. J. (1992). Investigations of the software testing coupling effect. ACM Trans. Softw. Eng. Methodol., 1(1), 5–20. DOI: 10.1145/125489.125473
Pill, I., & Quaritsch, T. (2013). Behavioral diagnosis of LTL specifications at operator level. In Twenty-Third International Joint Conference on Artificial Intelligence (IJ- CAI’13) (pp. 1053–1059).
Pnueli, A. (1977). The Temporal Logic of Programs. In Annual Symposium on Foundations of Computer Sc.
Reiter, R. (1987). A theory of diagnosis from first principles.Artif. Intelligence, 32(1), 57–95.
Segall, Z., Vrsalovic, D., Siewiorek, D., Yaskin, D., Kownacki, J., Barton, J., . . . Lin, T. (1988). FIAT-fault injection based automated testing environment. In Eighteenth International Symposium on Fault-Tolerant Computing, 1988. FTCS-18, Digest of Papers (p. 102- 107). DOI: 10.1109/FTCS.1988.5306
Tuya, J., Sua ́rez-Cabal, M. J., & la Riva, C. d. (2007, April). Mutating Database Queries. Inf. Softw. Technol., 49(4), 398–417. DOI: 10.1016/j.infsof.2006.06.009
Voas, J., & McGraw, G. (1999). Software fault injection: inoculating programs against errors. Software Testing, Verification and Reliability, 9(1), 75–76.
Weber, J., & Wotawa, F. (2010). Combining runtime diagnosis and ai-planning in a mobile autonomous robot to achieve a graceful degradation after software failures. In ICAART 2010 - Proc. of the Int. Conf. on Agents and Artificial Intelligence, Volume 1 - Artificial Intelligence (pp. 127–134).
Wotawa, F., & Pill, I. (2014). Testing configuration knowledge-bases. In 16th International Configuration Workshop (pp. 39–46).
Zhang, X., He, H., Gupta, N., & Gupta, R. (2005). Experimental evaluation of using dynamic slices for fault localization. In Sixth International Symposium on Automated & Analysis-Driven Debugging (AADEBUG) (pp. 33–42).
Zhou, C., & Frankl, P. (2009). Mutation Testing for Java Database Applications. In Proc. of the 2009 Int. Conf. on Software Testing Verification and Validation (pp. 396–405). DOI: 10.1109/ICST.2009.43
The Prognostic and Health Management Society advocates open-access to scientific data and uses a Creative Commons license for publishing and distributing any papers. A Creative Commons license does not relinquish the author’s copyright; rather it allows them to share some of their rights with any member of the public under certain conditions whilst enjoying full legal protection. By submitting an article to the International Conference of the Prognostics and Health Management Society, the authors agree to be bound by the associated terms and conditions including the following:
As the author, you retain the copyright to your Work. By submitting your Work, you are granting anybody the right to copy, distribute and transmit your Work and to adapt your Work with proper attribution under the terms of the Creative Commons Attribution 3.0 United States license. You assign rights to the Prognostics and Health Management Society to publish and disseminate your Work through electronic and print media if it is accepted for publication. A license note citing the Creative Commons Attribution 3.0 United States License as shown below needs to be placed in the footnote on the first page of the article.
First Author et al. This is an open-access article distributed under the terms of the Creative Commons Attribution 3.0 United States License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.