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

• Tipo: Artigo em Livro de Atas de Conferência Internacional
• Data: 2017

Autores

Almohammad, A (Autor) Outra; Ferreira, JF (Autor) Outra; Mendes, A (Autor) Outra; White, P (Autor) Outra

Ata de Conferência Internacional

Título: 2017 IEEE 25TH INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE WORKSHOPS (REW)

Páginas: 351-358

25th IEEE International Requirements Engineering Conference Workshops (REW)

Lisbon, PORTUGAL, SEP 04-08, 2017

Indexação

ISI Web of Knowledge - 1 Citação

Scopus - 3 Citações

Outras Informações

ID Authenticus: 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.

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 8