Automated TTCN-3 test case generation by means of UML sequence diagrams and Markov chains

Beyer,; Dulz,; Zhen, Fenhua

doi:10.1109/ats.2003.1250791

Cited by 17 publications

(12 citation statements)

References 2 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Many MBT solutions use UML as a modeling notation. For example, deriving system test requirements from UML models [17], test case generation from UML state machines [18], generating test case definitions based on the combination of statistical usage testing and specification-based testing [19], generating test cases according to the coverage criteria of behaviour models [20], etc. Some approaches use OCL, due to its support for precise representation of various aspects of the SUT [21] [22].…”

Section: Modeling the Environment Of The Seismic Rtesmentioning

confidence: 99%

A Review of Two Experiences from Applying Model Based Testing in Practice

Marijan¹

2012

2012 IEEE 23rd International Symposium on Software Reliability Engineering Workshops

View full text Add to dashboard Cite

Model based testing (MBT) techniques have been used extensively to enable automatic and systematic test data generation. Despite many success stories, MBT still suffers from the lack of a broader practical adoption. This paper reports on two experiences of applying MBT for test data generation in industrial contexts. We give our view on some of the reasons affecting MBT practical adoption, discuss the perspectives for facilitating the adoption of MBT in industrial settings and summarize some of the barriers that remain to be surpassed. The goal of the paper is to provide a greater understanding of MBT in industry, potentially increasing its practical adoption.

show abstract

Section: Modeling the Environment Of The Seismic Rtesmentioning

confidence: 99%

A Review of Two Experiences from Applying Model Based Testing in Practice

Marijan¹

2012

2012 IEEE 23rd International Symposium on Software Reliability Engineering Workshops

View full text Add to dashboard Cite

show abstract

“…Some of them are based on sequence or interaction diagrams to express scenarios (see e.g. [11]), state machines to express behaviour models (see e.g. [12]) or combine them (see e.g.…”

Section: Related Workmentioning

confidence: 99%

A subset of precise UML for model-based testing

Bouquet

Grandpierre

Legeard

et al. 2007

Proceedings of the 3rd International Workshop on Advances in Model-Based Testing

View full text Add to dashboard Cite

This paper presents an original model-based testing approach that takes a UML behavioural view of the system under test and automatically generates test cases and executable test scripts according to model coverage criteria. This approach is embedded in the LEIRIOS Test Designer tool and is currently deployed in domains such as Enterprise IT and electronic transaction applications. This model-based testing approach makes it possible to automatically produce the traceability matrix from requirements to test cases as part of the test generation process. This paper defines the subset of UML used for model-based testing and illustrates it using a small example.

show abstract

“…Research into automatic test generation from partial order scenarios is an active research area [6], [8], [11], [29]. Among others, Rountev and Connell [30] consider how to reverse engineer a set of scenarios from source code that can then be used for test purposes in an automated test execution environment.…”

Section: Related Workmentioning

confidence: 99%

Characterizing Communication Channel Deadlocks in Sequence Diagrams

Mitchell

2008

IIEEE Trans. Software Eng.

View full text Add to dashboard Cite

Abstract-UML sequence diagrams (SDs) are a mainstay of requirements specifications for communication protocols. Mauw and Reniers' algebraic (MRA) semantics formally specifies a behavior for these SDs that guarantees deadlock-free processes. Practitioners commonly use communication semantics that differ from MRA, which may result in deadlocks, for example, FIFO, token ring, etc. We define a process algebra that is an extension of the MRA semantics for regular SDs. Our algebra can describe several commonly used communication semantics. Regular SDs are constructed from concurrent message flows via iteration, branching, and sequential composition. Their behavior is defined in terms of a set of partial orders on the events in the SD. Such partial orders are known as causal orders. We define partial order theoretic properties of a causal order that are particular kinds of race condition. We prove that any of the common communication semantics that we list either guarantees deadlock-free SDs or can result in a deadlock if and only if a causal order of an SD contains one of these types of race condition. This describes a complete classification of deadlocks as specific types of race condition.

show abstract

Automated TTCN-3 test case generation by means of UML sequence diagrams and Markov chains

Cited by 17 publications

References 2 publications

A Review of Two Experiences from Applying Model Based Testing in Practice

A Review of Two Experiences from Applying Model Based Testing in Practice

A subset of precise UML for model-based testing

Characterizing Communication Channel Deadlocks in Sequence Diagrams

Contact Info

Product

Resources

About