Mostrando 10 resultados de: 15
Filtros aplicados
Publisher
CEUR Workshop Proceedings(2)
Universidad de Cuenca(2)
2014 IEEE 1st International Workshop on Requirements Engineering and Testing, RET 2014 - Proceedings(1)
2014 IEEE 4th International Workshop on Empirical Requirements Engineering, EmpiRE 2014 - Proceedings(1)
ACM International Conference Proceeding Series(1)
CoSTest: A Tool for Validation of Requirements at Model Level
Conference ObjectAbstract: We present CoSTest, a tool that supports the validation of Conceptual Schemas by using testing. ThePalabras claves:Conceptual Schema Testing, Conceptual Schema Validation, Model-driven validation, Requirements-based testingAutores:Condori-Fernández N., María Fernanda Granda Juca, Pastor Ó., Vos T.E.J.Fuentes:googlescopusAn experiment design for validating a test case generation strategy from requirements models
Conference ObjectAbstract: Currently, in a Model-Driven Engineering environment, it is a difficult and challenging task to fullPalabras claves:Conceptual Schema Testing, experimental design, Model-driven testing, Test Case Validation, Test Cases Generation, Test Model GenerationAutores:María Fernanda Granda JucaFuentes:googlescopusA metrics-driven inspection framework for model transformations
Conference ObjectAbstract: [Context] Model transformations are key elements of Model-driven Engineering. They allow querying, sPalabras claves:Correspondence correctness, Inspection, METRICS, Model Transformations, Type-correctnessAutores:Condori-Fernández N., María Fernanda Granda Juca, Otto Parra GonzálezFuentes:googlescopusEl modelado conceptual en una arquitectura dirigida por modelos
ArticleAbstract: El objetivo de este artículo es explicar bre- vemente la importancia que tiene el modela- do concepPalabras claves:desarrollo de software, Modelacion Conceptual, MODELOS, softwareAutores:María Fernanda Granda JucaFuentes:rraaeEmpirical and theoretical evaluation of USE and OCLE tools
Conference ObjectAbstract: Validating the conceptual model (CM) is a key activity in ensuring software quality and saving costsPalabras claves:Class diagram, Controlled experiment, OCLE, UML, USE, ValidationAutores:Carlos Vera-Mejia, María Fernanda Granda Juca, Otto Parra GonzálezFuentes:googlescopusEvaluación empírica y comparativa de herramientas usadas para la validación de requisitos funcionales a nivel de modelos conceptuales basados en UML
Bachelor ThesisAbstract: La validación de modelos conceptuales es una actividad clave para asegurar la calidad de software yPalabras claves:Ingeniería en Sistemas, Modelos conceptuales, software, TECNOLÓGIAAutores:Carlos Darwin Vera Mejía, María Fernanda Granda JucaFuentes:rraaeEffectiveness assessment of an early testing technique using model-level mutants
Conference ObjectAbstract: While modern software development technologies enhance the capabilities of model-based/driven develoPalabras claves:Class diagram mutation, Conceptual schemas testing, Effectiveness assessment, Mutation testing, Test suite effectivenessAutores:Condori-Fernández N., María Fernanda Granda Juca, Pastor Ó., Vos T.E.J.Fuentes:googlescopusMutation operators for UML class diagrams
Conference ObjectAbstract: Mutation Testing is a well-established technique for assessing the quality of test cases by checkingPalabras claves:Class diagram mutation, Conceptual schemas, Mutation operators, Mutation testing, Test cases qualityAutores:Condori-Fernández N., María Fernanda Granda Juca, Pastor Ó., Vos T.E.J.Fuentes:googlerraaescopusTowards a Model-Driven Testing Framework for GUI Test Cases Generation from User Stories
Conference ObjectAbstract: In the software testing stage, it is possible to benefit from combining the requirements with the tePalabras claves:GUI-based Testing, Model-driven testing, requirements, Test cases, User StoriesAutores:Bryan Alba-Sarango, María Fernanda Granda Juca, Parra O.Fuentes:googlescopusTowards a functional requirements prioritization with early mutation testing
Conference ObjectAbstract: Researchers have proposed a number of prioritization techniques to help decision makers select an opPalabras claves:Dependency, mutation score, requirements prioritization, UMLAutores:Condori-Fernández N., María Fernanda Granda Juca, Vos T.E.J.Fuentes:googlescopus