Comments on "on minimizing the lengths of checking sequences".
| dc.contributor | Instituto de Ciências Matemáticas e de Computação – ICMC/USP | pt_BR |
| dc.contributor.author | Simão, Adenilso da Silva | |
| dc.date.accessioned | 2018-06-08T13:35:30Z | |
| dc.date.available | 2018-06-08T13:35:30Z | |
| dc.date.issued | 2007-08 | |
| dc.description.abstract | In [1], Ural et al. propose a sufficient condition for a sequence to be a checking sequence for a complete deterministic FSM. The condition is then used in [1] to elaborate a method for generating checking sequences and it is also used in subsequent improved versions of this method published in [2] and [3]. In this correspondence, we present a counter-example which demonstrates that the condition of the theorem is not sufficient, as it does not address all initialization faults, and show what can be added to make it sufficient. | pt_BR |
| dc.description.notes | Relatórios Técnicos do ICMC; 307 | pt_BR |
| dc.format | 4 p. | pt_BR |
| dc.identifier.uri | http://repositorio.icmc.usp.br//handle/RIICMC/6724 | |
| dc.language.iso | eng | pt_BR |
| dc.publisher.city | São Carlos, SP, Brasil. | pt_BR |
| dc.subject | Engenharia de software | pt_BR |
| dc.subject | Sistemas da informação | pt_BR |
| dc.title | Comments on "on minimizing the lengths of checking sequences". | pt_BR |
| dc.title.alternative | Comentários sobre "minimizar os comprimentos de sequências de verificação". | pt_BR |
| dc.type.category | Relatórios técnicos | pt_BR |
| usp.description.abstracttranslated | Em [1], Ural et al. propor uma condição suficiente para uma seqüência de ser uma sequência de verificação para um FSM determinístico completo. A condição é então usado em [1] para elaborar um método para gerar sequências de verificação e também é usado em versões melhoradas subsequentes deste método publicado em [2] e [3]. Nesta correspondência, apresentamos um contra-exemplo que demonstra que a condição do teorema não é suficiente, como não resolver todas as falhas de inicialização e mostrar o que pode ser adicionado para torná-lo suficiente. | pt_BR |