IDEAS05: Unificando Modelos de Casos de Teste e de Requisitos (IDEAS05: Unifying Models of Test Cases and Requirements)

Clélio Feitosa (, Glaucia Peres (, Alexandre Mota (

Universidade Federal de Pernambuco, Recife-PE, Brazil.
This paper appears in: Revista IEEE América Latina

Publication Date: July 2008
Volume: 6,   Issue: 3 
ISSN: 1548-0992

In industry, due to market pressures, it is common that the system requirements are out of date or incomplete for certain parts of the system. Nevertheless, we can always find up to date test cases which implicitly complements the related requirements. Therefore, instead of simply using test cases to detect software failures, in this paper we present an approach to update requirements using test cases. To accomplish this, we first assume that both requirements and test cases are formally documented; we reuse previous works that provide such models automatically as CSP formal specifications. Thus, we formally define a merge operation using the operational semantics of CSP. Finally, we use part of a real case study to experience the proposed approach.

Index Terms:
Controlled Natural Language, CSP, Formal Methods and Models, Modelling and Unifying Models   

Documents that cite this document
This function is not implemented yet.

[PDF Full-Text (675)]