| dc.creator | Bonifacio, Adilson Luiz | |
| dc.creator | Moura, Arnaldo Vieira | |
| dc.creator | Simao, Adenilso | |
| dc.date | 2012 | |
| dc.date | 2013-09-19T18:06:55Z | |
| dc.date | 2016-06-30T18:15:16Z | |
| dc.date | 2013-09-19T18:06:55Z | |
| dc.date | 2016-06-30T18:15:16Z | |
| dc.date.accessioned | 2018-03-29T01:52:57Z | |
| dc.date.available | 2018-03-29T01:52:57Z | |
| dc.identifier | International Journal of Foundations of Computer Science. World Scientific Publ Co Pte Ltd, v.23, n.1, p.147-172, 2012 | |
| dc.identifier | 0129-0541 | |
| dc.identifier | WOS:000300443600011 | |
| dc.identifier | 10.1142/S0129054112500013 | |
| dc.identifier | http://www.repositorio.unicamp.br/jspui/handle/REPOSIP/2512 | |
| dc.identifier | http://repositorio.unicamp.br/jspui/handle/REPOSIP/2512 | |
| dc.identifier.uri | http://repositorioslatinoamericanos.uchile.cl/handle/2250/1308283 | |
| 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 | We present a generalized test case generation method, called the G method. Although inspired by the W method, the G method, in contrast, allows for test case suite generation even in the absence of characterization sets for the specification models. Instead, the G method relies on knowledge about the index of certain equivalences induced at the implementation models. We show that the W method can be derived from the G method as a particular case. Moreover, we discuss some naturally occurring infinite classes of FSM models over which the G method generates test suites that are exponentially more compact than those produced by the W method. | |
| dc.description | 23 | |
| dc.description | 1 | |
| dc.description | 147 | |
| dc.description | 172 | |
| 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.language | eng | |
| dc.publisher | World Scientific Publ Co Pte Ltd | |
| dc.publisher | Singapore | |
| dc.relation | International Journal of Foundations of Computer Science | |
| dc.rights | fechado | |
| dc.source | WOS | |
| dc.subject | W method | |
| dc.subject | test case generation | |
| dc.subject | compact test suites | |
| dc.subject | G method | |
| dc.subject | FINITE-STATE MACHINES | |
| dc.subject | CHECKING SEQUENCES | |
| dc.subject | SYSTEMS | |
| dc.subject | DESIGN | |
| dc.title | MODEL PARTITIONS AND COMPACT TEST CASE SUITES | |
| dc.type | Artículos de revistas | |
