Especificação de testes funcionais usando Redes de Petri a objetos para softwares orientados a objetos

AUTOR(ES)

Liliane do Nascimento Vale

DATA DE PUBLICAÇÃO

2009

RESUMO

O objetivo deste trabalho é o de propor a formalização de testes funcionais, através da especificação destes usando redes de Petri a Objetos e Workflow-Nets no contexto de softwares orientados a objetos. Inicialmente, Workflw-Nets são usadas para representar os requisitos do software. Em seguida, Workflow-Nets a objetos derivadas dos Workflow- Nets e redes de Petri a Objetos são utilizadas para especificar formalmente os modelos de teste das diversas funcionalidades dos software. Os modelos propostos permitem tanto a representação de estruturas de dados complexas durante o teste, quanto a especificação de diversas atividades a serem realizadas para a dada funcionalidade. A execução do modelo de teste funcional quando se considera uma arquitetura de software especifica, é então dada através da instanciação de uma classe de teste que fica associada a funcionalidade testada. Para ilustrar a utilização do modelo proposto, é realizado um estudo de caso aplicado ao teste de funcionalidades de um software de peças automobilísticas desenvolvido no âmbito acadêmico e comercializado.

ASSUNTO(S)

fluxo de trabalho software - desenvolvimento ciencia da computacao redes de petri

Documentos Relacionados

• Recuperação de modelos de classes orientados a aspectos a partir de sistemas orientados a objetos usando refatorações de modelos
• Coordenação em ambientes colaborativos usando redes de Petri
• Ferramenta para geração automatica de redes de Petri a partir da especificação de um sistema de software com caracteristicas tempo real
• Um método para modelagem de controle de AMS usando redes de Petri virtuais
• Uma heurística para a programação da produção de sistemas flexíveis de manufatura usando modelagem em redes de Petri.