Model-based safety test automation of safety-critical software

2010 International Conference on Computational Intelligence and Software Engineering, CiSE 2010

Volumn , Issue , 2010, Pages

  Yu, Gang ^a,b   Xu, Zhong Wei ^a  

^a TONGJI UNIVERSITY   (China)

^b Biomedical and Applied Sciences   (Australia)

Author keywords

Model based; Property automaton; Test automation

Indexed keywords

AUTOMATON MODEL; MODEL-BASED; MODEL-BASED TEST; NEW APPROACHES; PROPERTY AUTOMATON; SAFETY CRITICAL SOFTWARE; SAFETY CRITICAL SYSTEMS; SAFETY PROPERTY; SAFETY TESTS; SAFETY-CRITICAL SOFTWARE SYSTEMS; SOFTWARE SAFETY; SYSTEM SAFETY; TEST AUTOMATION; TRAIN CONTROL;

ARTIFICIAL INTELLIGENCE; AUTOMATIC TESTING; AUTOMATIC TRAIN CONTROL; AUTOMATION; COMPUTER SOFTWARE SELECTION AND EVALUATION; SAFETY TESTING; SECURITY OF DATA; SOFTWARE ENGINEERING;

SAFETY ENGINEERING;

EID: 79951588184     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CISE.2010.5676883     Document Type: Conference Paper

References (7)

1. Nancy G. Leveson. Safeware: System Safety and Computers. Addison Wesley, 1995.
2. H.M.Hǒrcher. Improving software tests using Z specifications. In ZUM'95: 9th International Conference of Z Users, LNCS 923. Springer Verlag, 1995.
3. H.M.Hǒrcher and J. Peleska. The role of formal specifications in software test(tutorial). In Proceedings of FME'94, 1994
4. E.Mikk. Compilation of Z specifications into C for automatic test result evaluations. In J.P.Bowen and M.G.Hincher, editors, ZUM'95:9th International Conference of Z Users, LNCS 967. Springer Verlag, 1995.
5. CENELEC, EN50159-1/2: Railway applications-Communication, signaling and processing systems. The European Standard.2001.
6. YU Gang, XU Zhong-wei, DU Jun-wei. Research on scenario-event-driven simulation test script language for safety-critical software system. Journal of Computer Applications, Vol. 30, No. 2, pp. 374-379, 2010.
7. Juristo N ,Moreno A M ,Strigel W. Software Testing Practices in Industry[J]. IEEE Software , Vol. 23, No.4, pp. 19-21,2006.