Generating test sequences from a set of MSCs

Lee, Nam Hee; Deok, Sung

doi:10.1016/s1389-1286(03)00250-0

Cited by 7 publications

(3 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Because test cases for EDS are sequences of events, many practitioners and researchers have found it natural to use state machine models for testing EDS [38]- [40]. The EDS is modeled in terms of states; events form transitions between states.…”

Section: Model-based and Eds Testingmentioning

confidence: 99%

Generating Event Sequence-Based Test Cases Using GUI Runtime State Feedback

Yuan

Memon

2010

IIEEE Trans. Software Eng.

View full text Add to dashboard Cite

Abstract-This paper presents a fully automatic model-driven technique to generate test cases for Graphical user interface-based applications (GUIs). The technique uses feedback from the execution of a "seed test suite," which is generated automatically using an existing structural event-interaction graph model of the GUI. During its execution, the run-time effect of each GUI event on all other events pinpoints event-semantic interaction (ESI) relationships, which are used to automatically generate new test cases. Two studies on eight applications demonstrate that the feedback-based technique (1) is able to significantly improve existing techniques and help identify serious problems in the software and (2) the ESI relationships captured via GUI state yield test suites that most often detect more faults than their code-, event-, and event-interaction-coverage equivalent counterparts.

show abstract

Section: Model-based and Eds Testingmentioning

confidence: 99%

Generating Event Sequence-Based Test Cases Using GUI Runtime State Feedback

Yuan

Memon

2010

IIEEE Trans. Software Eng.

View full text Add to dashboard Cite

show abstract

“…Lee et al [19] proposed an approach that first transformed an MSC specification to a state-based model and then tested from the state-based model. In [20], a model checker was used to generated test cases to cover all possible execution paths of an MSC specification.…”

Section: Introductionmentioning

confidence: 99%

The Oracle Problem When Testing from MSCs

Dan

Hierons

2013

The Computer Journal

View full text Add to dashboard Cite

Message Sequence Charts (MSCs) form a popular language in which scenariobased specifications and models can be written. There has been significant interest in automating aspects of testing from MSCs. This paper concerns the Oracle Problem, in which we have an observation made in testing and wish to know whether this is consistent with the specification. We assume that there is an MSC specification and consider the case where we have entirely independent local testers (local observability) and where the observations of the local testers are logged and brought together (tester observability). It transpires that under local observability the Oracle Problem can be solved in low-order polynomial time if we use sequencing, loops and choices but becomes NP-complete if we also allow parallel components; if we place a bound on the number of parallel components then it again can be solved in polynomial time. For tester observability, the problem is NP-complete when we have either loops or choices. However, it can be solved in low-order polynomial time if we have only one loop, no choices, and no parallel components. If we allow parallel components then the Oracle Problem is NP-complete for tester observability even if we restrict to the case where there are at most two processes.

show abstract

“…During the requirement capturing phase, automated testing can be realized by introducing formal language [3][4] [5]. Automatic generation of test cases from statecharts, control flow, information flow and MSCs(Message Sequence Charts) are widely used for specifying the dynamic behavior of the model [6] [7] [8], and automation concerning test systems and processes has been presented [9]. However, research on seamless test automation process based on the model-based approach has not been applied.…”

Section: Introductionmentioning

confidence: 99%

Model-Based Automated Validation Techniques for Automotive Embedded Systems

Kum

Son

Lee

et al. 2007

SAE Technical Paper Series

View full text Add to dashboard Cite

Model-based approaches can improve quality and reduce cycle time by simulating the models to perform early validation of requirements. These approaches can provide the automated validation techniques by generating test cases from the model. This paper describes model-based automated test techniques in all phases of the product life cycle to maximize the early validation capabilities of model-based development processes. The paper proposes the model-based test process framework for all modeling phases including system model, architectural model and auto-generated software, and test automation technique which consists of automatic test generation, execution and analysis. A Test Management System, which enables the automatic generation of requirement-based test cases, analysis of the test results and test database management through entire test process, is developed through this study. In addition, an automatic target execution system, which comprises target hardware, simulation command transmission and target monitoring software, was developed to test the auto-generated ECU code on the real target system in the early stage.

show abstract

Generating test sequences from a set of MSCs

Cited by 7 publications

References 10 publications

Generating Event Sequence-Based Test Cases Using GUI Runtime State Feedback

Generating Event Sequence-Based Test Cases Using GUI Runtime State Feedback

The Oracle Problem When Testing from MSCs

Model-Based Automated Validation Techniques for Automotive Embedded Systems

Contact Info

Product

Resources

About