Validating electric vehicle to grid communication systems based on model checking assisted test case generation

In last decades software development processes changed in order to address increasing complexity within decreasing implementation time. Hence, new practices like Kanban, Extreme Programming or Agile Software Development emerged. Model-based development is one potential option, which is more and more...

Full description

Saved in:
Bibliographic Details
Published in2017 IEEE International Systems Engineering Symposium (ISSE) pp. 1 - 8
Main Authors Groning, Sven, Rosas, Christopher, Wietfeld, Christian
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.10.2017
Subjects
Adaptation models
Grammar
Machine-to-machine communications
Model checking
Protocols
Unified modeling language
Online AccessGet full text

Cover

More Information
Summary:In last decades software development processes changed in order to address increasing complexity within decreasing implementation time. Hence, new practices like Kanban, Extreme Programming or Agile Software Development emerged. Model-based development is one potential option, which is more and more used to cope these new demands. However, adapting testing processes to the needs is still an open topic. This paper describes how model checking assisted test case generation can be used to integrate testing in new software development processes, focusing on a protocol implementation for electric vehicle charging communication as a case study. Therefore, it describes certain extensions made in the COMmunication Protocol vaLidation Toolchain COMFLgTg in order to enable test case generation in TTCN-3 core language using counterexamples of SPIN model checker.
DOI:10.1109/SysEng.2017.8088307