Automated Test Generation for Structured Text Language using UPPAAL Model Checker

.............................................................................................................................................................. 2

[1]  Elaine J. Weyuker,et al.  Automated test generation using model checking: an industrial evaluation , 2014, International Journal on Software Tools for Technology Transfer.

[2]  Wang Yi,et al.  UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems , 1996, Hybrid Systems.

[3]  Wei Ding,et al.  Model Checkers in Software Testing , 2002 .

[4]  Luciano Baresi,et al.  An Introduction to Software Testing , 2006, FoVMT.

[5]  M.B. Younis,et al.  Visualization of PLC programs using XML , 2004, Proceedings of the 2004 American Control Conference.

[6]  Wei Liu,et al.  Algorithm of transformation from PLC ladder diagram to structured text , 2009, 2009 9th International Conference on Electronic Measurement & Instruments.

[7]  Georg Frey,et al.  Formalization of existing PLC Programs: A Survey , 2003 .

[8]  John R. Callahan,et al.  Automated Software Testing Using Model-Checking , 1996 .

[9]  J.-M. Faure,et al.  Efficient representation for formal verification of PLC programs , 2006, 2006 8th International Workshop on Discrete Event Systems.

[10]  Jan Sadolewski Conversion of ST Control Programs to ANSI C for Verification Purposes , 2011, e Informatica Softw. Eng. J..

[11]  Wang Yi,et al.  Timed Automata: Semantics, Algorithms and Tools , 2003, Lectures on Concurrency and Petri Nets.

[12]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[13]  Ashutosh Kabra ST to MISRA-C Translator and Proposed Changes in IEC61131-3 Standard , 2012 .

[14]  Glenford J. Myers,et al.  Art of Software Testing , 1979 .

[15]  Liu Wei,et al.  Algorithm of transformation from PLC ladder diagram to structured text , 2009 .

[16]  Dipl.-Inform. Karl-Heinz John,et al.  IEC 61131-3: Programming Industrial Automation Systems , 2001, Springer Berlin Heidelberg.

[17]  Bruce H. Krogh,et al.  Formal verification of PLC programs , 1998, Proceedings of the 1998 American Control Conference. ACC (IEEE Cat. No.98CH36207).

[18]  William Bolton Programmable Logic Controllers, Sixth Edition , 2015 .

[19]  Gopinath Karmakar,et al.  A structured text to MISRA-C translator and issues with IEC 61131-3 standard , 2012, Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012).

[20]  Dariusz Rzońca,et al.  Programming controllers in Structured Text language of IEC 61131-3 standard , 2008 .