Add to ORKGAbstract: In this paper, we discuss adjustable coverage criteria and their combinations in model-based testing. We formalize coverage criteria and specify test goals using OCL. Then, we propose a set of functions which describe the test generation process in a generic way. Each coverage criterion is mapped to a set of test goals. Based on this set of functions, we propose a generic framework enabling flexible integration of various test generators and unified treatment of test coverage criteria.
Abstract. In this work, we introduce the concepts of hook and template coverage criteria for integra...
Test case generation can be represented as a model checking problem, such that model checking tools ...
In principle, structural coverage criterion enables the evaluation of test results and the automatio...
In this paper, we discuss adjustable coverage criteria and their combinations in model-based testing...
Model-based testing is a promising quality assurance technique. Automatic test generation from behav...
This paper proposes a new family of model-based coverage criteria, based on formalizing boundary-val...
Model-based testing (MBT) studies how test cases are generated from a model of the system under test...
UML state machines are widely used as test models in model-based testing. Coverage criteria are appl...
In this paper, we deal with coverage criteria for bound-ary testing. We focus on the automatic gener...
Associated research group: Critical Systems Research GroupThe successful analysis technique model ch...
Associated research group: Critical Systems Research GroupThis paper presents a method for automatic...
AbstractModel-based testing has been proposed as a technique to automatically verify that a system c...
Many tools can check if a test set provides control coverage; they are, however, of little or no hel...
Automatic Model-based test generation is influenced by many factors such as the test generation algo...
Software testing is a necessary and essential part of the software quality process and plays a major...
Abstract. In this work, we introduce the concepts of hook and template coverage criteria for integra...
Test case generation can be represented as a model checking problem, such that model checking tools ...
In principle, structural coverage criterion enables the evaluation of test results and the automatio...
In this paper, we discuss adjustable coverage criteria and their combinations in model-based testing...
Model-based testing is a promising quality assurance technique. Automatic test generation from behav...
This paper proposes a new family of model-based coverage criteria, based on formalizing boundary-val...
Model-based testing (MBT) studies how test cases are generated from a model of the system under test...
UML state machines are widely used as test models in model-based testing. Coverage criteria are appl...
In this paper, we deal with coverage criteria for bound-ary testing. We focus on the automatic gener...
Associated research group: Critical Systems Research GroupThe successful analysis technique model ch...
Associated research group: Critical Systems Research GroupThis paper presents a method for automatic...
AbstractModel-based testing has been proposed as a technique to automatically verify that a system c...
Many tools can check if a test set provides control coverage; they are, however, of little or no hel...
Automatic Model-based test generation is influenced by many factors such as the test generation algo...
Software testing is a necessary and essential part of the software quality process and plays a major...
Abstract. In this work, we introduce the concepts of hook and template coverage criteria for integra...
Test case generation can be represented as a model checking problem, such that model checking tools ...
In principle, structural coverage criterion enables the evaluation of test results and the automatio...