DocumentCode
3345248
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
fYear
2005
fDate
14-17 Dec. 2005
Firstpage
1359
Lastpage
1364
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Industrial Technology, 2005. ICIT 2005. IEEE International Conference on
Conference_Location
Hong Kong
Print_ISBN
0-7803-9484-4
Type
conf
DOI
10.1109/ICIT.2005.1600847
Filename
1600847
Link To Document