Actas de congresos
Modeling Dependable Product-families: From Use Cases To State Machine Models
Registro en:
978-1-5090-5120-5
2016 Seventh Latin-american Symposium On Dependable Computing (ladc). Ieee, p. 131 - 134, 2016.
WOS:000391209800017
10.1109/LADC.2016.28
Autor
Erazo
Leydi; Martins
Eliane; Greghi
Juliana Galvani
Institución
Resumen
Product Families are gaining interest because of the increasing demand for customizable products. However, testing a Product Family is a difficult task, in special, for dependable products, in which the exception handling must also be well tested. Model-based testing (MBT) can be useful for testing Product Families, in which a behavior model can be obtained from the requirements; this model being used for automatic test case generation. The use of MBT, however, requires a good modeling expertise from practitioners, as they are mainly used with informal, textual descriptions of the requirements. In this paper, we show how to apply a use-case modeling approach that allows the automatic extraction of a state machine model for a product. Use cases are described in a restricted format that comprises not only the representation of commonalities and variabilities but also the specification of exception handling for fault-tolerant behavior. 131 134 7th Latin-American Symposium on Dependable Computing (LADC) OCT 19-21, 2016 Cali, COLOMBIA