MODEL CHECKING-BASED SOFTWARE TESTING FOR FUNCTION-BLOCK DIAGRAMS
作者： Eduard Paul Enoiu
DOI:
关键词:
摘要: Software testing becomes more complex, time-consuming, and expensive. The risk that software errors remain undetected cause critical failures increases. Consequently, in safety-critic ...
参考文章(57)
Jason Trent, William Dee Atkins, Moses Daniel Schwartz, John C. Mulder, Control system devices : architectures and supply channels overview. ,(2010) , 10.2172/993312
Rajeev Alur, David Dill, Automata for modeling real-time systems international colloquium on automata, languages and programming. pp. 322- 335 ,(1990) , 10.1007/BFB0032042
Testing software and systems Springer. ,(2013) , 10.1007/978-3-319-25945-1
Jeff Offutt, Paul Ammann, Introduction to Software Testing ,(2016)
Hyoung Seok Hong, Insup Lee, Oleg Sokolsky, Hasan Ural, A Temporal Logic Based Theory of Test Coverage and Generation tools and algorithms for construction and analysis of systems. pp. 327- 341 ,(2002) , 10.1007/3-540-46002-0_23
Cristina Seceleanu, Eduard Paul Enoiu, Paul Pettersson, Raluca Marinescu, ViTAL: A Verification Tool for EAST-ADL Models Using UPPAAL PORT international conference on engineering of complex computer systems. pp. 328- 337 ,(2012) , 10.1109/ICECCS.2012.42
Eunkyoung Jee, Suin Kim, Sungdeok Cha, Insup Lee, Automated Test Coverage Measurement for Reactor Protection System Software Implemented in Function Block Diagram Lecture Notes in Computer Science. ,vol. 6351, pp. 223- 236 ,(2010) , 10.1007/978-3-642-15651-9_17
Paul E Black, P E Ammann, Wei Ding, Model Checkers in Software Testing NIST Interagency/Internal Report (NISTIR) - 6777. ,(2002) , 10.1002/HTTPS://DX.DOI.ORG/10.6028/NIST.IR.6777
Michael Tiegelkamp, Karl Heinz John, IEC 61131-3: Programming Industrial Automation Systems: Concepts and Programming Languages, Requirements for Programming Systems, Decision-Making Aids ,(2001)
S. Rayadurgam, M.P.E. Heimdahl, Generating MC/DC adequate test sequences through model checking annual software engineering workshop. pp. 91- 96 ,(2003) , 10.1109/SEW.2003.1270730