CoCoTest: A tool for Model-in-the-Loop testing of continuous controllers

Reza Matinnejad; Shiva Nejati; Lionel C. Briand; Thomas Bruckmann

doi:10.1145/2642937.2648625

CoCoTest: A tool for Model-in-the-Loop testing of continuous controllers

Reza Matinnejad, Shiva Nejati, Lionel C. Briand, Thomas Bruckmann

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

We present CoCoTest, a tool for automated testing of continuous controllers at the Model-in-the-Loop stage. CoCoTest combines explorative and exploitative search algorithms to identify scenarios in the controller input space that violate or are likely to violate the controller requirements. This enables a scalable and systematic way to test continuous properties of such controllers. Our experiments show that CoCoTest identifies critical flaws in the controller design that are rarely found by manual testing and go unnoticed until late stages of embedded software system development. Categories and Subject Descriptors [Software Engineering]: Testing and Debugging.

Original language	English
Title of host publication	ASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering
Publisher	Association for Computing Machinery, Inc
Pages	855-858
Number of pages	4
ISBN (Electronic)	9781450330138
DOIs	https://doi.org/10.1145/2642937.2648625
Publication status	Published - 2014
Externally published	Yes
Event	29th ACM/IEEE International Conference on Automated Software Engineering, ASE 2014 - Vasteras, Sweden Duration: 15 Sep 2014 → 19 Sep 2014

Publication series

Name	ASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering

Conference

Conference	29th ACM/IEEE International Conference on Automated Software Engineering, ASE 2014
Country/Territory	Sweden
City	Vasteras
Period	15/09/14 → 19/09/14

Keywords

Automotive software systems
Continuous controllers
MATLAB/Simulink models
Search-based testing

Access to Document

10.1145/2642937.2648625

Cite this

Matinnejad, R., Nejati, S., Briand, L. C., & Bruckmann, T. (2014). CoCoTest: A tool for Model-in-the-Loop testing of continuous controllers. In ASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering (pp. 855-858). (ASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering). Association for Computing Machinery, Inc. https://doi.org/10.1145/2642937.2648625

Matinnejad, Reza ; Nejati, Shiva ; Briand, Lionel C. et al. / CoCoTest : A tool for Model-in-the-Loop testing of continuous controllers. ASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering. Association for Computing Machinery, Inc, 2014. pp. 855-858 (ASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering).

@inproceedings{9fc10824a65342a28a6dd21adb5e6e30,

title = "CoCoTest: A tool for Model-in-the-Loop testing of continuous controllers",

abstract = "We present CoCoTest, a tool for automated testing of continuous controllers at the Model-in-the-Loop stage. CoCoTest combines explorative and exploitative search algorithms to identify scenarios in the controller input space that violate or are likely to violate the controller requirements. This enables a scalable and systematic way to test continuous properties of such controllers. Our experiments show that CoCoTest identifies critical flaws in the controller design that are rarely found by manual testing and go unnoticed until late stages of embedded software system development. Categories and Subject Descriptors [Software Engineering]: Testing and Debugging.",

keywords = "Automotive software systems, Continuous controllers, MATLAB/Simulink models, Search-based testing",

author = "Reza Matinnejad and Shiva Nejati and Briand, {Lionel C.} and Thomas Bruckmann",

note = "Publisher Copyright: {\textcopyright} 2014 ACM.; 29th ACM/IEEE International Conference on Automated Software Engineering, ASE 2014 ; Conference date: 15-09-2014 Through 19-09-2014",

year = "2014",

doi = "10.1145/2642937.2648625",

language = "English",

series = "ASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering",

publisher = "Association for Computing Machinery, Inc",

pages = "855--858",

booktitle = "ASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering",

}

Matinnejad, R, Nejati, S, Briand, LC & Bruckmann, T 2014, CoCoTest: A tool for Model-in-the-Loop testing of continuous controllers. in ASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering. ASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering, Association for Computing Machinery, Inc, pp. 855-858, 29th ACM/IEEE International Conference on Automated Software Engineering, ASE 2014, Vasteras, Sweden, 15/09/14. https://doi.org/10.1145/2642937.2648625

CoCoTest: A tool for Model-in-the-Loop testing of continuous controllers. / Matinnejad, Reza; Nejati, Shiva; Briand, Lionel C. et al.
ASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering. Association for Computing Machinery, Inc, 2014. p. 855-858 (ASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - CoCoTest

T2 - 29th ACM/IEEE International Conference on Automated Software Engineering, ASE 2014

AU - Matinnejad, Reza

AU - Nejati, Shiva

AU - Briand, Lionel C.

AU - Bruckmann, Thomas

PY - 2014

Y1 - 2014

N2 - We present CoCoTest, a tool for automated testing of continuous controllers at the Model-in-the-Loop stage. CoCoTest combines explorative and exploitative search algorithms to identify scenarios in the controller input space that violate or are likely to violate the controller requirements. This enables a scalable and systematic way to test continuous properties of such controllers. Our experiments show that CoCoTest identifies critical flaws in the controller design that are rarely found by manual testing and go unnoticed until late stages of embedded software system development. Categories and Subject Descriptors [Software Engineering]: Testing and Debugging.

AB - We present CoCoTest, a tool for automated testing of continuous controllers at the Model-in-the-Loop stage. CoCoTest combines explorative and exploitative search algorithms to identify scenarios in the controller input space that violate or are likely to violate the controller requirements. This enables a scalable and systematic way to test continuous properties of such controllers. Our experiments show that CoCoTest identifies critical flaws in the controller design that are rarely found by manual testing and go unnoticed until late stages of embedded software system development. Categories and Subject Descriptors [Software Engineering]: Testing and Debugging.

KW - Automotive software systems

KW - Continuous controllers

KW - MATLAB/Simulink models

KW - Search-based testing

UR - http://www.scopus.com/inward/record.url?scp=84908637439&partnerID=8YFLogxK

U2 - 10.1145/2642937.2648625

DO - 10.1145/2642937.2648625

M3 - Conference contribution

AN - SCOPUS:84908637439

T3 - ASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering

SP - 855

EP - 858

BT - ASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering

PB - Association for Computing Machinery, Inc

Y2 - 15 September 2014 through 19 September 2014

ER -

Matinnejad R, Nejati S, Briand LC, Bruckmann T. CoCoTest: A tool for Model-in-the-Loop testing of continuous controllers. In ASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering. Association for Computing Machinery, Inc. 2014. p. 855-858. (ASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering). doi: 10.1145/2642937.2648625

CoCoTest: A tool for Model-in-the-Loop testing of continuous controllers

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this