Combinational testing of PLC programs based on the denotational semantics of instructions

  title={Combinational testing of PLC programs based on the denotational semantics of instructions},
  author={Litian Xiao and Mengyuan Li and Ming Gu and Jiaguang Sun},
  journal={Proceeding of the 11th World Congress on Intelligent Control and Automation},
The correctness of PLC (Programmable Logic Controller) program in automatic control is vital to this kind of safety-critical applications. In this paper, we present a useful method of combinational testing for correctness of PLC programs. The method is based on the denotational semantics of PLC program and the semantic functions for basic instructions. It establishes the definition of denotational semantics for PLC program. The function of denotational semantics is defined by extended… CONTINUE READING
1 Citations
10 References
Similar Papers


Publications citing this paper.


Publications referenced by this paper.
Showing 1-10 of 10 references

The Denotational Semantics Definition of PLC Programs Based on Extended -Calculus

  • L.T.Xiao, M.Gu, J.G.Sun
  • Communications in Computer and Information…
  • 2011
1 Excerpt

Approaches and implementation of software test and development system for embedded computer systems

  • Harley Zipori
  • Embedded System Design, vol.35,
  • 2007

Graybox Software Testing Methodology Embedded Software Testing Technique

  • Andre' C. Coulter
  • IEEE Design & Test of Computer, vol.10,
  • 1999

Similar Papers

Loading similar papers…