A Specification-Based Test Case Generation Method for UML/OCL

Brucker, Achim D.; Krieger, Matthias P.; Longuet, Delphine; Wolff, Burkhart

doi:10.1007/978-3-642-21210-9_33

Cited by 26 publications

(16 citation statements)

References 20 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The set of UML/OCL related mutation operators introduced by the author in [17] was developed based on the fault taxonomy for UML [9], traditional mutation operators, operators adapted from other formalisms [8], [15] and operators defined for specifications [5], [12] and contracts [12] and was supplemented with five new OCL-specific operators.…”

Section: Related Workmentioning

confidence: 99%

Applying Mutation Testing for Assessing Test Suites Quality at Model Level

Strug

2016

Annals of Computer Science and Information Systems

View full text Add to dashboard Cite

Abstract-Models are commonly used in software testing to select test suites. Application of mutation testing at a model level can contribute to reliable and early assessment of the quality of the test suites. It can also support selection of test suites achieving high fault detection rates. The main issue related to using mutation testing at the early development stage is to determine how reliably the quality of test suites can be measured at the model level. The research presented in this paper addresses this problem for object-oriented systems. It focuses on describing an experiment aiming at comparing results of applying mutation testing at a model level with results of applying this technique at an implementation level and presents and discusses the outcomes of the experiment. The paper presents also mutation operators applicable at the model level.

show abstract

Section: Related Workmentioning

confidence: 99%

Applying Mutation Testing for Assessing Test Suites Quality at Model Level

Strug

2016

Annals of Computer Science and Information Systems

View full text Add to dashboard Cite

show abstract

“…These rules allow mapping the ontology concepts with elements from process models. They compute similarity distances and are written in Object Constraint Language (OCL) [8]. The similarity computation is based on the names, the synonyms, and keywords associated to ontology concepts.…”

Section: Semantics-based Mapping Rulesmentioning

confidence: 99%

Improving Business Process Model Quality Using Domain Ontologies

2013

View full text Add to dashboard Cite

This paper addresses the issue of improving quality of business process (BP) models by exploiting domain knowledge. Indeed, business process models reflect the business processes of companies. The success of these processes has a direct and undeniable impact on business operations success. Managing them through their underlying models helps improving their effectiveness, consistency, and transparency. BP modeling aims at a better understanding of processes, allowing deciders to achieve strategic goals of the company. However, several studies from the literature showed that in experienced system analysts often produce low-level quality. This situation is partly due to lack of domain knowledge. In this paper, we propose to support this modeling effort with an approach that uses domain knowledge to improve the semantic quality of BP models. We suggest to use ontologies as a mean to capture domain knowledge and meta-modeling techniques to deal with BP models independently of languages in which they are expressed. Our contribution is threefold: (1) the meta-models describing both a domain ontology and a BP model are described, (2) the alignment between the concepts of both meta-models is defined and illustrated, (3) a set of Object Constraint Language mapping rules is provided. A simple case study illustrates the process.

show abstract

“…Regarding this, [7] and [2] propose approaches to generate test data from OCL specifications, based on the utilisation of Higher-Order Logic and constraint solving techniques, respectively. Another approach based on the utilisation of constraint solving techniques is proposed in [1] to generate test cases out of UML specifications, although in this case only a limited subset of the OCL is supported.…”

Section: Related Workmentioning

confidence: 99%

ATLTest: A White-Box Test Generation Approach for ATL Transformations

González

Cabot

2012

Model Driven Engineering Languages and Systems

View full text Add to dashboard Cite

Abstract. MDE is being applied to the development of increasingly complex systems that require larger model transformations. Given that the specification of such transformations is an error-prone task, techniques to guarantee their quality must be provided. Testing is a wellknown technique for finding errors in programs. In this sense, adoption of testing techniques in the model transformation domain would be helpful to improve their quality. So far, testing of model transformations has focused on black-box testing techniques. Instead, in this paper we provide a white-box test model generation approach for ATL model transformations.

show abstract

A Specification-Based Test Case Generation Method for UML/OCL

Cited by 26 publications

References 20 publications

Applying Mutation Testing for Assessing Test Suites Quality at Model Level

Applying Mutation Testing for Assessing Test Suites Quality at Model Level

Improving Business Process Model Quality Using Domain Ontologies

ATLTest: A White-Box Test Generation Approach for ATL Transformations

Contact Info

Product

Resources

About