Mostrando 10 resultados de: 13
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:googlescopusA model-level mutation tool to support the assessment of the test case quality
Book PartAbstract: Although mutation testing is a well-known technique for assessing the quality of tests, there is notPalabras claves:Class diagram mutants, Model-level mutation, Mutation tool, Test cases qualityAutores:Condori-Fernández N., María Fernanda Granda Juca, Pastor Ó., Vos T.E.J.Fuentes:googlerraaescopusDesarrollo de un sistema de seguridad y control de acceso para un centro de cómputo
Bachelor ThesisAbstract: En este trabajo se presenta un sistema cliente - servidor. La aplicacion cliente se encarga del bloPalabras claves:programas, Seguridad y Control, softwareAutores:María Fernanda Granda Juca, Ricardo Guanga CadmeFuentes:rraaeEl 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:rraaeEvaluació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:googlescopusTowards 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