Test case generation by means of UML sequence diagrams and labeled transition systems

Cartaxo, Emanuela Gadelha; Neto, Francisco G. Oliveira; Machado, Patrícia D. L.

doi:10.1109/icsmc.2007.4414060

Cited by 52 publications

(33 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Consequently, none of the models in the existing approaches allow nested and hierarchical constructs of a sequence diagram ever since the inception of UML 2.0. Even the approaches [13][14][15][16][17] proposed after the introduction of UML 2.0 have only sketched how to derive test cases while paying little attention to the model itself. In UML-based testing, models serve as the blueprint from which test cases are derived.…”

Section: Introductionmentioning

confidence: 99%

Synthesis of Test Scenarios Using UML Sequence Diagrams

Nayak

Samanta

2012

ISRN Software Engineering

View full text Add to dashboard Cite

UML 2.0 sequence diagrams are used to synthesize test scenarios. A UML 2.0 sequence diagram usually consists of a large number of different types of fragments and possibly with nesting. As a consequence, arriving at a comprehensive system behavior in the presence of multiple, nested fragment is a complex and challenging task. So far the test scenario synthesis from sequence diagrams is concerned, the major problem is to extract an arbitrary flow of control. In this regard, an approach is presented here to facilitate a simple representation of flow of controls and its subsequent use in the test scenario synthesis. Also, the flow of controls is simplified on the basis of UML 2.0 control primitives and brought to a testable form known as intermediate testable model (ITM). The proposed approach leads to the systematic interpretation of control flows and helps to generate test scenarios satisfying a set of coverage criteria. Moreover, the ability to support UML 2.0 models leads to increased levels of automation than the existing approaches.

show abstract

Section: Introductionmentioning

confidence: 99%

Synthesis of Test Scenarios Using UML Sequence Diagrams

Nayak

Samanta

2012

ISRN Software Engineering

View full text Add to dashboard Cite

show abstract

“…Subsequently, the user can execute another use case that has the From steps field set to START. The From steps and the To step fields are essential to define the application navigation, which can be visualized as a Label Transition System [5]. These two fields also enable the reuse of existing flows when new use cases are defined; a new scenario may start from a preexistent step from some flow.…”

Section: • Reference Between Execution Flowsmentioning

confidence: 99%

“…There are several approaches related to Model Based-Testing that use system specifications to generate test cases. In particular, the user view models generated by the presented strategy are used in the CInBTCRD research project to automatically generate test cases based on test purposes [5]. There is also complementary work in the CInBTCRD research project that uses the proposed component view model to generate UML diagrams; in [9] a set of laws is proposed to map CSP specifications into UML-RT diagrams, which is now part of version 2.0 of UML.…”

Section: Gustavo Cabral and Augusto Sampaio Automated Formal Specificmentioning

confidence: 99%

Automated formal specification generation and refinement from requirement documents

Cabral

Sampaio

2008

J Braz Comp Soc

View full text Add to dashboard Cite

show abstract

“…Authors in [47] have generated test cases by augmenting the sequence diagram graph (SDG) nodes with different information from use case templates, class diagrams, and the data dictionary to compose test vectors. In [48], the testing of mobile phone applications is done by translating UML sequence diagrams into Labeled Transition Systems (LTSs). In the work for [49], the authors generated test cases by using a formal operational semantics for a sequence.…”

Section: Comparisons With Related Bodies Of Workmentioning

confidence: 99%

A Novel Approach for Deriving Test Scenarios and Test Cases from Events

Singh¹,

Sabharwal²,

Gupta³

2012

Journal of Information Processing Systems

View full text Add to dashboard Cite

Abstract-Safety critical systems, real time systems, and event-based systems have a complex set of events and their own interdependency, which makes them difficult to test ma Safety critic Safety critical systems, real time systems, and event-based systems have a complex set of events and their own interdependency, which makes them difficult to test manually. In order to cut down on costs, save time, and increase reliability, the model based testing approach is the best solution. Such an approach does not require applications or codes prior to generating test cases, so it leads to the early detection of faults, which helps in reducing the development time. Several model-based testing approaches have used different UML models but very few works have been reported to show the generation of test cases that use events. Test cases that use events are an apt choice for these types of systems. However, these works have considered events that happen at a user interface level in a system while other events that happen in a system are not considered. Such works have limited applications in testing the GUI of a system. In this paper, a novel model-based testing approach is presented using business events, state events, and control events that have been captured directly from requirement specifications. The proposed approach documents events in event templates and then builds an event-flow model and a fault model for a system. Test coverage criterion and an algorithm are designed using these models to generate event sequence based test scenarios and test cases. Unlike other event based approaches, our approach is able to detect the proposed faults in a system. A prototype tool is developed to automate and evaluate the applicability of the entire process. Results have shown that the proposed approach and supportive tool is able to successfully derive test scenarios and test cases from the requirement specifications of safety critical systems, real time systems, and event based systems

show abstract

Test case generation by means of UML sequence diagrams and labeled transition systems

Cited by 52 publications

References 16 publications

Synthesis of Test Scenarios Using UML Sequence Diagrams

Synthesis of Test Scenarios Using UML Sequence Diagrams

Automated formal specification generation and refinement from requirement documents

A Novel Approach for Deriving Test Scenarios and Test Cases from Events

Contact Info

Product

Resources

About