Title :
Timed-LTS: a method of selecting test cases
Author :
Zhang, Wei ; Halang, Wolfgang A. ; Diedrich, Christian
Author_Institution :
Fac. of Electr. & Comput. Eng., Fern Univ., Hagen
Abstract :
Safety-related automation application is getting more and more attentions. This paper introduces a concept: safe-application for software applications in industrial automation area. Safe-application is based on FB paradigm, which is thought of representing automation engineering experiences. In verifying safe-applications based on FBs, integration testing is understood very essential. Timed-LTS, an extension of standard LTS is defined for test case selection in order to guarantee safety of an automation application and satisfy integration testing criteria
Keywords :
production engineering computing; safety; testing; function block; industrial automation; integration testing; labelled transition system; safety-related automation application; software applications; testing criteria; Application software; Automatic testing; Computer aided software engineering; Costs; Design automation; Electrical safety; Formal languages; IEC standards; System testing; Unified modeling language;
Conference_Titel :
Industrial Technology, 2005. ICIT 2005. IEEE International Conference on
Conference_Location :
Hong Kong
Print_ISBN :
0-7803-9484-4
DOI :
10.1109/ICIT.2005.1600847
