| dc.creator | Pedrosa, LLC | |
| dc.creator | Moura, AV | |
| dc.date | 2013 | |
| dc.date | DEC | |
| dc.date | 2014-07-30T14:33:14Z | |
| dc.date | 2015-11-26T17:40:01Z | |
| dc.date | 2014-07-30T14:33:14Z | |
| dc.date | 2015-11-26T17:40:01Z | |
| dc.date.accessioned | 2018-03-29T00:21:39Z | |
| dc.date.available | 2018-03-29T00:21:39Z | |
| dc.identifier | Software Testing Verification & Reliability. Wiley-blackwell, v. 23, n. 8, n. 585, n. 612, 2013. | |
| dc.identifier | 0960-0833 | |
| dc.identifier | 1099-1689 | |
| dc.identifier | WOS:000326968900002 | |
| dc.identifier | 10.1002/stvr.1474 | |
| dc.identifier | http://www.repositorio.unicamp.br/jspui/handle/REPOSIP/60052 | |
| dc.identifier | http://repositorio.unicamp.br/jspui/handle/REPOSIP/60052 | |
| dc.identifier.uri | http://repositorioslatinoamericanos.uchile.cl/handle/2250/1286609 | |
| dc.description | Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) | |
| dc.description | Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) | |
| dc.description | The automatic generation of test suites for systems modelled as finite state machines(FSMs) is an important problem that impacts several critical applications. Known methods that automatically generate tests for FSMs, specially the W-method and some derivations, strongly assume that the number of system states is small. If the overall number of states in the FSM specification is relatively large, such methods become difficult to use. However, often in practice, a system is defined as a combination of several subsystems, with the latter already independently designed, developed and tested. In this paper, we define the concept of combined FSMs and introduce a new method to test modular compositions of FSMs. This method allows for a new incremental testing strategy that turns the testing of new systems into a much more scalable process. As an example, we present an infinite family of naturally occurring FSM models for which our method produces exponentially more compact test suites than the W-method. Copyright (c) 2012 John Wiley & Sons, Ltd. | |
| dc.description | 23 | |
| dc.description | 8 | |
| dc.description | 585 | |
| dc.description | 612 | |
| dc.description | Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) | |
| dc.description | Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) | |
| dc.description | Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) | |
| dc.description | Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) | |
| dc.description | FAPESP [2008/07969-9] | |
| dc.description | CNPq [473867/2010-9] | |
| dc.language | en | |
| dc.publisher | Wiley-blackwell | |
| dc.publisher | Hoboken | |
| dc.publisher | EUA | |
| dc.relation | Software Testing Verification & Reliability | |
| dc.relation | Softw. Test. Verif. Reliab. | |
| dc.rights | fechado | |
| dc.rights | http://olabout.wiley.com/WileyCDA/Section/id-406071.html | |
| dc.source | Web of Science | |
| dc.subject | finite state machine | |
| dc.subject | testing | |
| dc.subject | verification | |
| dc.subject | test generation | |
| dc.subject | Formal Methods | |
| dc.subject | Design | |
| dc.title | Incremental testing of finite state machines | |
| dc.type | Artículos de revistas | |
