Automated Unit Testing of a SCADA Control Software: An Industrial Case Study Based on Action Research

Author

Jolly, Shahnewaz Amin ; Garousi, Vahid ; Eskandar, Matt M.

Author_Institution

Dept. of Electr. & Comput. Eng., Univ. of Calgary, Calgary, AB, Canada

fYear

2012

fDate

17-21 April 2012

Firstpage

400

Lastpage

409

Abstract

We report in this case-study paper our experience and success story with a practical approach and tool for unit regression testing of a SCADA (Supervisory Control and Data Acquisition) software. The tool uses a black-box specification of the units under test to automatically generate NUnit test code. We then improved the test suite by white-box and mutation testing. The approach and tool were developed in an action-research project to test a commercial large-scale SCADA system called Rocket.

Keywords

SCADA systems; automatic test software; formal specification; program compilers; program testing; regression analysis; Rocket; SCADA control software; action research; automated unit testing; black-box specification; code generation; industrial case study; mutation testing; software testing; supervisory control and data acquisition; unit regression testing; white-box testing; Automation; Context; Engines; Manuals; Software; Software testing; SCADA software; action research; automated unit testing; industrical case study;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Testing, Verification and Validation (ICST), 2012 IEEE Fifth International Conference on

Conference_Location

Montreal, QC

Print_ISBN

978-1-4577-1906-6

Type

conf

DOI

10.1109/ICST.2012.120

Filename

6200132