Test Input Generation Using UML Sequence and State Machines Models

Bandyopadhyay, Aritra; Ghosh, Sudipto

doi:10.1109/icst.2009.23

Cited by 25 publications

(21 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…However, control flow analysis in the context of XMI representation of UML interaction diagram (it is referred as sequence diagram in earlier version of UML 2.x) has scarcely been reported [2,4,5,11,17,18]. Garousi et al [17,18] propose a methodology to analyze control flow of UML 2.x sequence diagrams using formal annotations in object constraint language (OCL).…”

Section: Comparison With Related Workmentioning

confidence: 99%

“…The interaction diagram in Figure 2(a) has five messages m1, m2, m3, m4, and m5 and two fragments opt 1 and alt 1 . Figure 2 Let us consider the mapping rules used for construction of a graph representation from an interaction diagram [2,4,11,17,18]. As per the mapping rules: (1) message, start and end of a fragment are mapped into nodes in the graph representation; (2) an edge is considered between two nodes representing (a) two messages where one message follows another, or (b) one message and start of a fragment where the fragment follows the message, or (c) end of a fragment and one message where message follows the fragment, or (d) end of a fragment and start of another fragment where second fragment follows the first one; (3) for each fragment, edges are drawn (a) from the node representing the start of a fragment to the node representing the first element (message, fragment) in each of its operands and (b) from the node corresponding to the last element of each operand of the fragment to the node corresponding to end of that fragment.…”

Section: Issues With Construction Of Control Flow Graphmentioning

confidence: 99%

“…Currently, UML models are being used in many software engineering tasks such as program analysis, testing, and coverage analysis [2][3][4][5][6][7][8][9][10][11]. For automation of these tasks, it is necessary to construct a control flow graph from UML models.…”

Section: Introductionmentioning

confidence: 99%

“…Existing approaches [2,4,11,17,18] consider a set of mapping rules to construct control flow graph from interaction diagrams [12]. Mapping rules are in essence as follows.…”

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

An Approach to Convert XMI Representation of UML 2.x Interaction Diagram into Control Flow Graph

Kundu

Samanta

Mall

2012

ISRN Software Engineering

View full text Add to dashboard Cite

For automation of many software engineering tasks such as program analysis, testing, and coverage analysis, it is necessary to construct a control flow graph. With the advancement of UML, software practitioners advocate to construct control flow graph from some of the UML design artifacts. UML 2.x supports the modeling of control flow information in interaction diagram by means of message sequences and different types of fragments like alt, opt, break, loop, and so forth. Leading UML modeling tools, namely MagicDraw, IBM's Rational, and so forth export models in XMI format. Construction of control flow graph from the XMI representation of an interaction diagram is not straightforward as model elements of interaction diagram are captured in XMI by means of values of attributes of multiple tagged elements and correlations among these tagged elements is not explicitly specified. This paper proposes an approach for construction of control flow graph from XMI representation of UML 2.x interaction diagram. A prototype tool based on our approach has been developed which can be plugged in any computer-aided software engineering tool.

show abstract

Section: Comparison With Related Workmentioning

confidence: 99%

Section: Issues With Construction Of Control Flow Graphmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

“…Existing approaches [2,4,11,17,18] consider a set of mapping rules to construct control flow graph from interaction diagrams [12]. Mapping rules are in essence as follows.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

An Approach to Convert XMI Representation of UML 2.x Interaction Diagram into Control Flow Graph

Kundu

Samanta

Mall

2012

ISRN Software Engineering

View full text Add to dashboard Cite

show abstract

“…There are a number of lines of work that investigate testing from SDs [26,27,28,29,30]. Most of these generate test cases based on both a static model (Class model) and behavioural models or concentrate on specific problems, for example stress testing [27], test input generation for specific parameters [29] and integration testing [30].…”

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

A systematic mapping of test case generation techniques using UML interaction diagrams

Minhas

Masood

Petersen

et al. 2019

J Software Evolu Process

View full text Add to dashboard Cite

Model‐based test case generation techniques provide a mechanism to derive tests systematically. This study provides a systematic mapping of test case generation techniques based on UML interaction diagrams. The study compares the test case generation techniques regarding their capabilities and limitations, and it also assesses the reporting quality of the primary studies. We can conclude that the studies presenting test case generation techniques using UML interaction diagrams were not following the guidelines for research methods (eg, case studies or experiments). Solutions were not empirically evaluated in industrial contexts. Our study revealed that better tool support is needed to introduce the UML interaction diagram–based test case generation techniques in the industry.

show abstract

Test Input Generation Using UML Sequence and State Machines Models

Cited by 25 publications

References 11 publications

An Approach to Convert XMI Representation of UML 2.x Interaction Diagram into Control Flow Graph

An Approach to Convert XMI Representation of UML 2.x Interaction Diagram into Control Flow Graph

The Oracle Problem When Testing from MSCs

A systematic mapping of test case generation techniques using UML interaction diagrams

Contact Info

Product

Resources

About