A Study on Test Case Generation Based on State Diagram in Modeling and Simulation Environment

Kim, Woo Yeol; Son, Hyun Seung; Kim, Robert Young Chul

doi:10.1007/978-3-642-23312-8_38

Cited by 7 publications

(7 citation statements)

References 3 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Yet, still in today's software industries, the conventional tests are used after development is complete [9]. To test at the earlier stage, several papers mentioned the automatic generation method of test cases in the virtual simulation environment [2]- [6].…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

The Pre-Testing for Virtual Robot Development Environment

Son

Kim

2018

IEICE Trans. Inf. & Syst.

Self Cite

View full text Add to dashboard Cite

SUMMARYThe traditional tests are planned and designed at the early stages, but it is possible to execute test cases after implementing source code. Since there is a time difference between design stage and testing stage, by the time a software design error is found it will be too late. To solve this problem, this paper suggests a virtual pre-testing process. While the virtual pre-testing process can find software and testing errors before the developing stage, it can automatically generate and execute test cases with modeling and simulation (M&S) in a virtual environment. The first part of this method is to create test cases with state transition tree based on state diagram, which include state, transition, instruction pair, and all path coverage. The second part is to model and simulate a virtual target, which then pre-test the target with test cases. In other words, these generated test cases are automatically transformed into the event list. This simultaneously executes test cases to the simulated target within a virtual environment. As a result, it is possible to find the design and test error at the early stages of the development cycle and in turn can reduce development time and cost as much as possible.

show abstract

Section: Introductionmentioning

confidence: 99%

“…Based on the previous test case generation method, we suggest a way to automatically generate test cases that provide four coverages for state, transition, instruction pair, and all paths [6]. Our proposed method includes 'pre-modeling & simulation' process along with test case generation.…”

Section: Introductionmentioning

confidence: 99%

The Pre-Testing for Virtual Robot Development Environment

Son

Kim

2018

IEICE Trans. Inf. & Syst.

Self Cite

View full text Add to dashboard Cite

show abstract

“…Essas especificações dependem de uma combinação de diferentes requisitos decorrentes de vários cenários com características heterogêneas e uma ampla gama de interações. Algumas metodologias (KIM et al, 1999), (SEO;KIM, 2002), (PELLENS; TROYER; KLEINERMANN, 2008); modelos (KIRNER; MARTIN, 1999), (TANRIVERDI;JACOB, 2001); abordagens (SCAIFE; ROGERS, 2001); e avaliação de multi-critérios de usabilidade (STANNEY et al, 2003) foram propostas para melhorar o processo de desenvolvimento de aplicações RV. No entanto, a maioria destas abordagens são utilizadas no processo de desenvolvimento ou somente em uma das fases do processo de Engenharia de Requisitos (ER).…”

Section: Motivaçõesunclassified

“…De acordo com a análise realizada, foi possível observar que os estudos não seguem um padrão para a elicitação de requisitos, uma vez que as possíveis abordagens adotadas por estes são adequadas para um determinado contexto ou aplicação de RV. Alguns estudos como (KIM et al, 1999), MARTIN, 2007) e (DAMASCENO; OLIVEIRA, 2009) apresentam técnicas baseadas nos conceitos de ER. Kim et al (1999), por exemplo, apresentaram uma técnica de especificação de requisitos baseada no paradigma de desenvolvimento incremental, ou seja, os requisitos são especificados, implementados e validados a cada incremento.…”

Section: Síntese E Análise Dos Dadosunclassified

“…Alguns estudos como (KIM et al, 1999), MARTIN, 2007) e (DAMASCENO; OLIVEIRA, 2009) apresentam técnicas baseadas nos conceitos de ER. Kim et al (1999), por exemplo, apresentaram uma técnica de especificação de requisitos baseada no paradigma de desenvolvimento incremental, ou seja, os requisitos são especificados, implementados e validados a cada incremento.…”

Section: Síntese E Análise Dos Dadosunclassified

See 1 more Smart Citation

Uma contribuição à automatização da atividade de teste para sistemas de realidade virtual

Souza¹

View full text Add to dashboard Cite

Automatic Test Case Generation from UML State Chart Diagram: A Survey

Salman

Hashim

2015

Lecture Notes in Electrical Engineering

View full text Add to dashboard Cite

The need for developing high-quality systems and applications with the minimum faults and error in them has been increased recently. In addition, a question of time and expenses that should be as low as possible always is concerned. Thus, it needs to be updated with the testing techniques that are more structured and automated which are used during the analysis and design phase. The significant role of automated testing techniques is that it helps speeding up the delivery of services of the products to the market with little chances of loss, and increases the software value. If the purpose were to decrease the expenses and getting closer to technology, then testing automation would be a crucial choice. The aim of this survey is to improve the understanding of UML diagram based testing techniques. Test case generation from state chart has been have focused on. Also, classify the various research approaches to their methods. The issues of test coverage associated with these methods have been discussed also.

show abstract

A Study on Test Case Generation Based on State Diagram in Modeling and Simulation Environment

Cited by 7 publications

References 3 publications

The Pre-Testing for Virtual Robot Development Environment

The Pre-Testing for Virtual Robot Development Environment

Uma contribuição à automatização da atividade de teste para sistemas de realidade virtual

Automatic Test Case Generation from UML State Chart Diagram: A Survey

Contact Info

Product

Resources

About