메뉴 건너뛰기




Volumn 14, Issue PART 1, 2012, Pages 1615-1621

Automated PLC software testing using adapted UML sequence diagrams

Author keywords

IEC 61131 3; PLC; Real Time; Semantics; Software Testing; UML

Indexed keywords

AUTOMATION; AUTOMOTIVE INDUSTRY; COMPUTER CIRCUITS; COMPUTER CONTROL; PROGRAMMABLE LOGIC CONTROLLERS; SEMANTICS; SOFTWARE DESIGN;

EID: 84866083161     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20120523-3-RO-2023.00148     Document Type: Conference Paper
Times cited : (19)

References (24)
  • 3
    • 0035176047 scopus 로고    scopus 로고
    • Automated generation of statistical test cases from UML state diagrams
    • 2001. COMPSAC 2001. 25th Annual International doi:10.1109/CMPSAC.2001. 960618
    • Chevalley, P. and Thevenod-Fosse, P. (2001). Automated generation of statistical test cases from UML state diagrams. In Computer Software and Applications Conference, 2001. COMPSAC 2001. 25th Annual International, 205-214. doi:10.1109/CMPSAC.2001.960618.
    • (2001) Computer Software and Applications Conference , pp. 205-214
    • Chevalley, P.1    Thevenod-Fosse, P.2
  • 4
    • 79958747872 scopus 로고    scopus 로고
    • Conformance testing from message sequence charts
    • Dan, H. and Hierons, R. (2011). Conformance testing from message sequence charts. In ICST, 279-288.
    • (2011) ICST , pp. 279-288
    • Dan, H.1    Hierons, R.2
  • 10
    • 33751283602 scopus 로고    scopus 로고
    • IEC 61499-1 International Electrical Commission, Geneva
    • IEC 61499-1 (2005). Function blocks - Part 1: Architecture. International Electrical Commission, Geneva.
    • (2005) Function Blocks - Part 1: Architecture
  • 11
  • 14
    • 0035964981 scopus 로고    scopus 로고
    • Proving sequential function chart programs using timed automata
    • doi:10.1016/S0304-3975(00)00301-7
    • L'Her, D., Le Parc, P., and Marcé, L. (2001). Proving sequential function chart programs using timed automata. Theor. Comput. Sci., 267, 141-155. doi:10.1016/S0304-3975(00)00301-7.
    • (2001) Theor. Comput. Sci. , vol.267 , pp. 141-155
    • L'Her, D.1    Le Parc, P.2    Marcé, L.3
  • 15
    • 77958172496 scopus 로고    scopus 로고
    • Test sequence generation from communicating uml state charts: An industrial application of symbolic transition systems
    • QSIC '10 IEEE Computer Society, Washington, DC, USA
    • Schwarzl, C. and Peischl, B. (2010). Test sequence generation from communicating uml state charts: An industrial application of symbolic transition systems. In Proceedings of the 2010 10th International Conference on Quality Software, QSIC '10, 122-131. IEEE Computer Society, Washington, DC, USA.
    • (2010) Proceedings of the 2010 10th International Conference on Quality Software , pp. 122-131
    • Schwarzl, C.1    Peischl, B.2
  • 23
    • 85057633239 scopus 로고    scopus 로고
    • Plc-statecharts: An approach to integrate uml-statecharts in open-loop control engineering - Aspects on behavioral semantics and model-checking
    • Witsch, D. and Vogel-Heuser, B. (2011). Plc-statecharts: An approach to integrate uml-statecharts in open-loop control engineering - aspects on behavioral semantics and model-checking. Proceedings of 18th IFAC World Congress, 8.
    • (2011) Proceedings of 18th IFAC World Congress , vol.8
    • Witsch, D.1    Vogel-Heuser, B.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.