Automated Test Generation for Structured Text Language using UPPAAL Model Checker
暂无分享,去创建一个
[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 .