REQCAP: Hierarchical Requirements Modeling and Test Generation for Industrial Control Systems

• Type: Article in International Conference Proceedings Book
• Date: 2017

Authors

Almohammad, A (Author) Other; Ferreira, JF (Author) Other; Mendes, A (Author) Other; White, P (Author) Other

Conference proceedings International

Title: 2017 IEEE 25TH INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE WORKSHOPS (REW)

Pages: 351-358

25th IEEE International Requirements Engineering Conference Workshops (REW)

Lisbon, PORTUGAL, SEP 04-08, 2017

Indexing

ISI Web of Knowledge - 1 Citation

Scopus - 3 Citations

Other information

Authenticus ID: P-00N-92A

DOI: 10.1109/rew.2017.65

Abstract (EN): This paper presents REQCAP, an implementation of a new method that articulates hierarchical requirements modeling and test generation to assist in the process of capturing requirements for PLC-based control systems. REQCAP is based on a semi-formal graphical model that supports hierarchical modeling, thus enabling compositional specifications. The tool supports automated generation of test cases according to different coverage criteria. It can also import requirements directly from REQIF files and automatically generate Sequential Function Charts (SFCs). We use a real-world case study to show how REQCAP can be used to model realistic system requirements. We show how the automated generation of SFCs and test cases can support engineers (and clients) in visualizing and reviewing requirements. Moreover, all the tests listed in the original test document of the case study are also generated automatically by REQCAP, demonstrating that the tool can be used to effectively capture requirements and generate valid and useful test cases.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 8