Quality of Automatically Generated Test Cases based on OCL Expressions

Weißleder, Stephan; Schlingloff, Bernd-Holger

doi:10.1109/icst.2008.40

Cited by 12 publications

(6 citation statements)

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The work in [19], [20] can be viewed as domain specific testing with focus on specific application domains, e. g., security testing. [21], [22] use models with constraints as a basis for test generation. Test generation can be supported by our approach, because it can increase the quality of the defined constraints which results in tests of higher quality.…”

Section: Related Workmentioning

confidence: 99%

Improving Model Quality by Validating Constraints with Model Unit Tests

Hamann

Gogolla

2010

2010 Workshop on Model-Driven Engineering, Verification, and Validation

View full text Add to dashboard Cite

A central part of modern development methods is the use of tests. A well-defined test suite is usually the basis for code refactoring because changes to the system under test can be easily validated against the test suite. In model-based development tests can be derived from the model but possibilities to test the originally specified model and therefore to improve the quality of model refactorings are rare. We propose a method for defining model unit tests which allows a developer to define test suites similar to the well-known xUnit testing frameworks. This gives the developer the possibility to easily check and assess model changes against valid and invalid scenarios.

show abstract

Section: Related Workmentioning

confidence: 99%

Improving Model Quality by Validating Constraints with Model Unit Tests

Hamann

Gogolla

2010

2010 Workshop on Model-Driven Engineering, Verification, and Validation

View full text Add to dashboard Cite

show abstract

“…In the Ordered Sequence Criteria, it is the combination of interleaved coverage criteria and synchronization criteria [21].…”

Section: Analysis Of Various Criteriamentioning

confidence: 99%

Concurrent Defects and Test Coverage Criteria

Sahoo¹,

Ray²

2016

JSW

View full text Add to dashboard Cite

Abstract:The concurrent programs mostly specify two or more processes that work together in performing a job. Among them each process is a sequential program that implements series of statements. The processes usually work together by conversing using variables or message passing. So, testing a concurrent program is complex for its non determinism behavior. A number of methods such as locking, serialization, time stamp etc. are proposed to deal with non deterministic behavior. The paper deals with several coverage criteria for testing concurrent programs. Various coverage criteria such as interleaving, synchronization, ordered sequence, data flow, condition based etc are discussed with their capability in detecting bugs caused by synchronization. It discusses the expected bugs in the different criteria. Through discussion, it provides the way to cover all possible expected bugs.

show abstract

“…However, application of mutation testing at model level seems to gain popularity [1], [2], [16], [18], [19], [23], [24]. Authors of the approaches have focused mainly on selecting tests, but some of them have addressed also the problem of assessing tests at the model level [24], [23] and discussed selected aspects related to the problem of assessing tests quality at different levels [23]. Although the problem considered by authors of the work in [23] is partially related with the one studied in this work, their approach is not applicable in the context of object-oriented systems, because the formalisms used in the paper cannot support adequately object-oriented aspects of the systems.…”

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

Quality of Automatically Generated Test Cases based on OCL Expressions

Cited by 12 publications

References 18 publications

Improving Model Quality by Validating Constraints with Model Unit Tests

Improving Model Quality by Validating Constraints with Model Unit Tests

Concurrent Defects and Test Coverage Criteria

Applying Mutation Testing for Assessing Test Suites Quality at Model Level

Contact Info

Product

Resources

About