Módulo para geração de casos de teste a partir de máquinas de estados finitos parciais.
| dc.contributor | Instituto de Ciências Matemáticas e de Computação – ICMC/USP | pt_BR |
| dc.contributor.author | Cutigi, Jorge Francisco | |
| dc.contributor.author | Simão, Adenilso da Silva | |
| dc.date.accessioned | 2018-08-17T14:35:31Z | |
| dc.date.available | 2018-08-17T14:35:31Z | |
| dc.date.issued | 2006-12 | |
| dc.description.abstract | Grande parte dos métodos de geração de sequências existentes tratam apenas de Máquinas de Estados Finitos totalmente especificadas, o que torna o uso restrito já que, na maioria das situações, as Máquinas de Estados Finitos testadas não apresentam essa característica. Este relatório apresenta o processo de desenvolvimento de um módulo que implementa um algoritmo para a geração de casos de teste a partir de Máquinas de Estados Finitos Parciais. O algoritmo estudado foi o Método HSI, sendo implementado e integrado na ferramenta Plavis-Platform for Software Validation & Integration on Space Systems, uma ferramenta de apoio a verificação, validação e teste de software. | pt_BR |
| dc.description.notes | Relatórios Técnicos do ICMC; 286 | pt_BR |
| dc.format | 24 p. | pt_BR |
| dc.identifier.uri | http://repositorio.icmc.usp.br//handle/RIICMC/6821 | |
| dc.language.iso | por | pt_BR |
| dc.publisher.city | São Carlos, SP, Brasil. | pt_BR |
| dc.subject | Engenharia de software | pt_BR |
| dc.title | Módulo para geração de casos de teste a partir de máquinas de estados finitos parciais. | pt_BR |
| dc.title.alternative | Module for generating test cases from partial finite state machines. | pt_BR |
| dc.type.category | Relatórios técnicos | pt_BR |
| usp.description.abstracttranslated | Most of the existing sequencing methods deal only with fully specified Finite State Machines, which makes the use restricted since in most situations the Finite State Machines tested do not have this feature. This report presents the process of developing a module which implements an algorithm for the generation of test cases from Partial Finite States. The algorithm studied was the HSI Method, being implemented and integrated in the Plavis tool - Platform for Software Validation & Integration on Space Systems, a tool to support verification, validation and testing software. | pt_BR |