| dc.creator | Erazo | |
| dc.creator | Leydi; Martins | |
| dc.creator | Eliane; Greghi | |
| dc.creator | Juliana Galvani | |
| dc.date | 2016 | |
| dc.date | 2017-11-13T13:50:48Z | |
| dc.date | 2017-11-13T13:50:48Z | |
| dc.date.accessioned | 2018-03-29T06:07:19Z | |
| dc.date.available | 2018-03-29T06:07:19Z | |
| dc.identifier | 978-1-5090-5120-5 | |
| dc.identifier | 2016 Seventh Latin-american Symposium On Dependable Computing (ladc). Ieee, p. 131 - 134, 2016. | |
| dc.identifier | WOS:000391209800017 | |
| dc.identifier | 10.1109/LADC.2016.28 | |
| dc.identifier | http://ieeexplore.ieee.org/document/7781846/ | |
| dc.identifier | http://repositorio.unicamp.br/jspui/handle/REPOSIP/329274 | |
| dc.identifier.uri | http://repositorioslatinoamericanos.uchile.cl/handle/2250/1366299 | |
| dc.description | 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. | |
| dc.description | 131 | |
| dc.description | 134 | |
| dc.description | 7th Latin-American Symposium on Dependable Computing (LADC) | |
| dc.description | OCT 19-21, 2016 | |
| dc.description | Cali, COLOMBIA | |
| dc.description | | |
| dc.language | English | |
| dc.publisher | IEEE | |
| dc.publisher | New York | |
| dc.relation | 2016 Seventh Latin-American Symposium on Dependable Computing (LADC) | |
| dc.rights | fechado | |
| dc.source | WOS | |
| dc.subject | Use Case | |
| dc.subject | State Machine | |
| dc.subject | Product Family | |
| dc.subject | Exception Handling | |
| dc.title | Modeling Dependable Product-families: From Use Cases To State Machine Models | |
| dc.type | Actas de congresos | |
