IDEAS05: Unificando Modelos de Casos de Teste e de Requisitos
(IDEAS05: Unifying Models of Test Cases and Requirements)
Clélio Feitosa (firstname.lastname@example.org), Glaucia Peres (email@example.com), Alexandre Mota (firstname.lastname@example.org)
Universidade Federal de Pernambuco, Recife-PE, Brazil.
This paper appears in: Revista IEEE América Latina
Publication Date: July 2008
Volume: 6, Issue: 3
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.
Controlled Natural Language, CSP, Formal Methods and Models, Modelling and Unifying Models
Documents that cite this
This function is not implemented yet.
[PDF Full-Text (675)]