从面向对象的Petri网络自动生成目标和测试用例

Anais do IX Workshop de Testes e Tolerância a Falhas (WTF 2008) Pub Date : 2008-05-27 DOI:10.5753/wtf.2008.23143

A. L. Figueiredo, Patrícia Machado, E. Cartaxo, J. C. A. Figueiredo, P. E. S. Barbosa

{"title":"从面向对象的Petri网络自动生成目标和测试用例","authors":"A. L. Figueiredo, Patrícia Machado, E. Cartaxo, J. C. A. Figueiredo, P. E. S. Barbosa","doi":"10.5753/wtf.2008.23143","DOIUrl":null,"url":null,"abstract":"Este artigo apresenta um método para a seleção e geração automática de objetivos de teste e seus respectivos casos de teste a partir de modelos abstratos de sistemas reativos. É dado enfoque a modelos de Redes de Petri Orientadas a Objetos (RPOO). Configurações e seqüências de ativação das redes são adotadas como objetivos de teste. Estes são convertidos para os Sistemas de Transição Rotulados (LTSs) correspondentes que podem então ser usados como entrada para ferramentas de geração de casos de teste.","PeriodicalId":437363,"journal":{"name":"Anais do IX Workshop de Testes e Tolerância a Falhas (WTF 2008)","volume":"69 7 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2008-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Geração Automática de Objetivos e Casos de Teste a partir de Redes de Petri Orientadas a Objetos\",\"authors\":\"A. L. Figueiredo, Patrícia Machado, E. Cartaxo, J. C. A. Figueiredo, P. E. S. Barbosa\",\"doi\":\"10.5753/wtf.2008.23143\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Este artigo apresenta um método para a seleção e geração automática de objetivos de teste e seus respectivos casos de teste a partir de modelos abstratos de sistemas reativos. É dado enfoque a modelos de Redes de Petri Orientadas a Objetos (RPOO). Configurações e seqüências de ativação das redes são adotadas como objetivos de teste. Estes são convertidos para os Sistemas de Transição Rotulados (LTSs) correspondentes que podem então ser usados como entrada para ferramentas de geração de casos de teste.\",\"PeriodicalId\":437363,\"journal\":{\"name\":\"Anais do IX Workshop de Testes e Tolerância a Falhas (WTF 2008)\",\"volume\":\"69 7 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2008-05-27\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Anais do IX Workshop de Testes e Tolerância a Falhas (WTF 2008)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.5753/wtf.2008.23143\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Anais do IX Workshop de Testes e Tolerância a Falhas (WTF 2008)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.5753/wtf.2008.23143","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

本文提出了一种从反应系统的抽象模型中自动选择和生成测试目标及其测试用例的方法。重点是面向对象Petri网络模型(RPOO)。采用网络配置和激活序列作为测试目标。这些被转换成相应的标记转换系统(LTSs)，然后可以用作测试用例生成工具的输入。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Geração Automática de Objetivos e Casos de Teste a partir de Redes de Petri Orientadas a Objetos

Este artigo apresenta um método para a seleção e geração automática de objetivos de teste e seus respectivos casos de teste a partir de modelos abstratos de sistemas reativos. É dado enfoque a modelos de Redes de Petri Orientadas a Objetos (RPOO). Configurações e seqüências de ativação das redes são adotadas como objetivos de teste. Estes são convertidos para os Sistemas de Transição Rotulados (LTSs) correspondentes que podem então ser usados como entrada para ferramentas de geração de casos de teste.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Anais do IX Workshop de Testes e Tolerância a Falhas (WTF 2008)

自引率

0.00%

发文量