Browsing by Author "Vos, Tanja Ernestina"

Now showing 1 - 7 of 7

CoSTest: a tool for validation of requirements at model level
(Institute of Electrical and Electronics Engineers, 2017) Granda Juca, María Fernanda; Condori Fernandez, Nelly; Pastor López, Oscar; Vos, Tanja Ernestina; Granda Juca, María Fernanda
We present CoSTest, a tool that supports the validation of Conceptual Schemas by using testing. The tool implements techniques for transforming instantiations from a Requirements Model into test case implementations by supporting a Model-driven architecture.
Effectiveness Assessment of an Early Testing Technique using Model-Level Mutants
(Association for Computing Machinery, 2017) Granda Juca, María Fernanda; Condori Fernández, Nelly; Vos, Tanja Ernestina; Pastor López, Oscar; Granda Juca, María Fernanda
While modern software development technologies enhance the capabilities of model-based/driven development, they introduce challenges for testers such as how to perform early testing at model level to ensure the quality of the model. In this context, we have developed an early testing technique supported by the CoSTest tool to validate requirements at model level. In this paper we describe an empirical evaluation of CoSTest with respect to its effectiveness in terms of its fault detection and test suite adequacy. This evaluation is carried out by model-level mutation testing using first order mutants (created by injection of a single fault) and high order mutants (containing more than one fault) with seven conceptual schemas (of different sizes) that represent the functionality of different software systems in different domains. Our findings show that the tests generated by CoSTest are effective at killing a large number of mutants. However, there are also some fault types (e.g. delete the references to a class attribute or an operation call in a constraint) that our test suites were not able to detect. CoSTest was more effective in terms of detecting fault types using high order mutant types that first order mutant. Thus, CoSTest’s effectiveness is affected by the mutant type tested.
Mutation operators for UML class diagrams
(Springer, Cham, 2016) Granda Juca, María Fernanda; Condori Fernandez, Nelly; Vos, Tanja Ernestina; Pastor López, Oscar; Granda Juca, María Fernanda
Mutation Testing is a well-established technique for assessing the quality of test cases by checking how well they detect faults injected into a software artefact (mutant). Using this technique, the most critical activity is the adequate design of mutation operators so that they reflect typical defects of the artefact under test. This paper presents the design of a set of mutation operators for Conceptual Schemas (CS) based on UML Class Diagrams (CD). In this paper, the operators are defined in accordance with an existing defects classification for UML CS and relevant elements identified from the UML-CD meta-model. The operators are subsequently used to generate first order mutants for a CS under test. Finally, in order to analyse the usefulness of the mutation operators, we measure some basic characteristics of mutation operators with three different CSs under test.
Mutation operators for UML class diagrams
(Springer, Cham, 2016) Granda Juca, María Fernanda; Condori Fernández, Nelly; Vos, Tanja Ernestina; Pastor López, Oscar; Granda Juca, María Fernanda
Mutation Testing is a well-established technique for assessing the quality of test cases by checking how well they detect faults injected into a software artefact (mutant). Using this technique, the most critical activity is the adequate design of mutation operators so that they reflect typical defects of the artefact under test. This paper presents the design of a set of mutation operators for Conceptual Schemas (CS) based on UML Class Diagrams (CD). In this paper, the operators are defined in accordance with an existing defects classification for UML CS and relevant elements identified from the UML-CD meta-model. The operators are subsequently used to generate first order mutants for a CS under test. Finally, in order to analyse the usefulness of the mutation operators, we measure some basic characteristics of mutation operators with three different CSs under test.
Towards the automated generation of abstract test cases from requirements models
(IEEE, 2014) Granda Juca, María Fernanda; Condori Fernández, Nelly; Vos, Tanja Ernestina; Pastor, Oscar; Granda Juca, María Fernanda
In a testing process, the design, selection, creation and execution of test cases is a very time-consuming and error-prone task when done manually, since suitable and effective test cases must be obtained from the requirements. This paper presents a model-driven testing approach for conceptual schemas that automatically generates a set of abstract test cases, from requirements models. In this way, tests and requirements are linked together to find defects as soon as possible, which can considerably reduce the risk of defects and project reworking. The authors propose a generation strategy which consists of: two metamodels, a set of transformations rules which are used to generate a Test Model, and the Abstract Test Cases from an existing approach to communication-oriented Requirements Engineering; and an algorithm based on Breadth-First Search. A practical application of our approach is included.
Using ALF within the CoSTest process for validation of UML-based conceptual schema
(CEUR-WS, 2017) Granda Juca, María Fernanda; Condori Fernández, Nelly; Vos, Tanja Ernestina; Granda Juca, María Fernanda
The Unified Modelling Language (UML) is widely used for modelling software systems and its integration with executable languages, such as the Action Language for Foundational UML (ALF), provides a bridge between the graphical specification techniques used by mainstream software engineers and the precise analysis and validation techniques essential for the model-driven development of information systems. As far as we know, the idea of transforming Conceptual Schemas (CS) based on UML Class Diagrams into ALF to execute systematic ALF-based test cases against these CSs and to report defects by checking logs has not been explored to date. In this paper, we use ALF to create a testing environment to validate requirements and verify some system properties at the CS level. We also report on some of the implementation details and design decisions of our proof-of-concept tool, as well as its limitations and possible use scenarios.
What do we know about the defect types detected in conceptual models?
(Institute of Electrical and Electronics Engineers, 2015) Granda Juca, María Fernanda; Condori Fernandez, Nelly; Vos, Tanja Ernestina; Pastor López, Oscar; Granda Juca, María Fernanda
In Model-Driven Development (MDD), defects are managed at the level of conceptual models because the other artefacts are generated from them, such as more refined models, test cases and code. Although some studies have reported on defect types at model level, there still does not exist a clear and complete overview of the defect types that occur at the abstraction level. This paper presents a systematic mapping study to identify the model defect types reported in the literature and determine how they have been detected. Among the 282 articles published in software engineering area, 28 articles were selected for analysis. A total of 226 defects were identified, classified and their results analysed. For this, an appropriate defect classification scheme was built based on appropriate dimensions for models in an MDD context.