• DocumentCode
    2545968
  • Title

    Testing programmable logic controllers from finite state machines specification

  • Author

    Provost, Julien ; Roussel, Jean-Marc ; Faure, Jean-Marc

  • Author_Institution
    LURPA, ENS Cachan, Cachan, France
  • fYear
    2011
  • fDate
    15-17 June 2011
  • Firstpage
    1
  • Lastpage
    6
  • Abstract
    This paper shows, on the basis of experiments, that execution of conformance tests of programmable logic controllers with minimum-length test sequences built from specifications in FSMs may yield spurious results. A new approach to build test sequences is then proposed to remove, or at least strongly lessen, this issue.
  • Keywords
    conformance testing; finite state machines; programmable controllers; FSM; finite state machines specification; programmable logic controllers; Automata; Cost accounting; Error analysis; Finite element methods; Optimization; Silicon carbide; Synchronization;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Dependable Control of Discrete Systems (DCDS), 2011 3rd International Workshop on
  • Conference_Location
    Saarbrucken
  • Print_ISBN
    978-1-4244-8969-5
  • Type

    conf

  • DOI
    10.1109/DCDS.2011.5970309
  • Filename
    5970309
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2545968