A Systematic Mapping Study on Test Generation from Input/Output Transition Systems

Paiva, Sofia Larissa da Costa; Simão, Adenilso da Silva

doi:10.1109/seaa.2015.66

Cited by 5 publications

(5 citation statements)

References 86 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Paiva and Simão [22] focused on generating abstract tests with MBT using input/output transition systems (IOTS). The authors also pointed out techniques to specify critical systems, such as FSM.…”

Section: Related Workmentioning

confidence: 99%

Coloured Petri nets for abstract test generation in software engineering

Sobrinho

Almeida

Silva

et al. 2022

Software Testing Verif & Rel

View full text Add to dashboard Cite

Summary Model‐based testing (MBT) relies on models of the system's behaviour to generate abstract tests. Testers can reuse formal models using MBT to increase confidence in critical systems (e.g., medical and avionic systems). In this article, we investigate the current abstract test generation approaches for CPN to provide insights for testers who need to select a suitable one when applying the MBT using CPN. We conduct a systematic literature review to investigate the existing abstract test generation approaches designed for CPN. Subsequently, focusing on specific implementations and advantages/disadvantages, we experiment with formal models of medical systems during our empirical analysis to improve the discussion on existing abstract test generation approaches for CPN. Our study shows that CPN provides reliable tests quickly, depending on the abstract test generation approach applied.

show abstract

Section: Related Workmentioning

confidence: 99%

Coloured Petri nets for abstract test generation in software engineering

Sobrinho

Almeida

Silva

et al. 2022

Software Testing Verif & Rel

View full text Add to dashboard Cite

show abstract

“…De acordo com os resultados da revisão sistemática, os estudos naárea de testes baseado no modelo IOTS implicam que existem poucas ferramentas que apoiam esse modelo [Paiva and Simao 2015b] e como o uso de ferramentasé essencial para auxiliar aplicações em contextos reais bem como para compreender a técnica de TBM, foi vista a necessidade de fornecer uma ferramenta que apoie esse modelo em funcionalidades de visualizar, simulação e execução de testes.…”

Section: Conclusãounclassified

“…O uso de ferramentas em TBMé essencial para auxiliar na automatização do processo de teste. Apesar de existirem técnicas recentes para o uso de IOTSs no TBM, poucos estudos naárea de teste mencionam o uso ou implementação de ferramentas que apoiam o uso dos métodos propostos [Paiva and Simao 2015b]. São poucas as ferramentas existentes para o modelo IOTSs [Paiva and Simao 2015a] e elas são, em sua maioria, por interface de linha de comando.…”

Section: Introductionunclassified

“…Apesar de existirem técnicas recentes para o uso de IOTSs no TBM, poucos estudos naárea de teste mencionam o uso ou implementação de ferramentas que apoiam o uso dos métodos propostos [Paiva and Simao 2015b]. São poucas as ferramentas existentes para o modelo IOTSs [Paiva and Simao 2015a] e elas são, em sua maioria, por interface de linha de comando. Porém, uma ferramenta que apoie a execução, visualização e simulação de testes trará benefícios em termos de facilidade de aplicação, uma vez que o uso de modelos formais pode limitar a aplicação desta técnica em contextos reais [Paiva and Simao 2015b].…”

Section: Introductionunclassified

“…São poucas as ferramentas existentes para o modelo IOTSs [Paiva and Simao 2015a] e elas são, em sua maioria, por interface de linha de comando. Porém, uma ferramenta que apoie a execução, visualização e simulação de testes trará benefícios em termos de facilidade de aplicação, uma vez que o uso de modelos formais pode limitar a aplicação desta técnica em contextos reais [Paiva and Simao 2015b]. O objetivo principal deste trabalhoé apresentar uma ferramenta que apoia um método de geração de testes a partir de IOTSs com visualização gráfica desenvolvido recentemente [Paiva and Simao 2016].…”

Section: Introductionunclassified

See 2 more Smart Citations

Uma ferramenta para apoio gráfico na geração e simulação de Teste Baseado em Modelos

Nogueira¹,

Paiva²

2019

Anais Do Workshop Em Modelagem E Simulação De Sistemas Intensivos Em Software (MSSiS 2019)

Self Cite

View full text Add to dashboard Cite

O Teste de Software é uma atividade importante a ser realizada para garantir a detecção de defeitos durante a criação de um software e fornece evidências de confiabilidade do software. Existem várias técnicas de teste que podem ser aplicadas e uma delas é o Teste Baseado em Modelos, mas muitas das contribuições são apenas teóricas, tendo a necessidade de uma ferramenta que apoie a geração e execução dos testes em contextos reais, possibilitando uma aplicação real de tais pesquisas. O objetivo deste trabalho foi projetar e implementar uma interface gráfica para a ferramenta que apoia o método Wiots, que usa o modelo Input-Output Transition Systems (IOTS). Essa ferramenta fornece apoio gráfico na geração e execução dos testes, possibilitando acompanhar os resultados da execução e pontos na qual podem existir problemas no software.

show abstract

Generation of complete test suites from mealy input/output transition systems

Paiva

Simão

2016

Form. Asp. Comput.

View full text Add to dashboard Cite

Model-based testing overcomes challenges in software testing by generating automated test cases from behavior models, e.g. finite state machine (FSM) and input/output transition system (IOTS). Despite the existence of methods for IOTSs, the problem of selection of test cases is an important and difficult topic. The current methods from IOTSs do not provide the same support offered by the existing theory for FSMs, as complete fault coverage. In this paper, we propose a test generation method for IOTSs based on the W method developed for FSMs. The basic idea is to generate a transition cover set and a characterization set and concatenate them to generate complete test suites for IOTSs in a bounded number of steps. The method generates test suites with complete fault coverage for a given fault domain and is targeted at a class of IOTSs, called mealy IOTS, which accepts inputs only in stable states. Results from a case study show the proposed algorithm can achieve better results than a classical method for IOTSs.

show abstract

A Systematic Mapping Study on Test Generation from Input/Output Transition Systems

Cited by 5 publications

References 86 publications

Coloured Petri nets for abstract test generation in software engineering

Coloured Petri nets for abstract test generation in software engineering

Uma ferramenta para apoio gráfico na geração e simulação de Teste Baseado em Modelos

Generation of complete test suites from mealy input/output transition systems

Contact Info

Product

Resources

About