Mostrando 10 resultados de: 15
Publisher
CEUR Workshop Proceedings(2)
11th Workshop on Requirements Engineering, WER 2008 - Proceedings(1)
2014 IEEE 1st International Workshop on Requirements Engineering and Testing, RET 2014 - Proceedings(1)
ACM International Conference Proceeding Series(1)
International Symposium on Empirical Software Engineering and Measurement(1)
Área temáticas
Programación informática, programas, datos, seguridad(9)
Ciencias de la computación(6)
Métodos informáticos especiales(4)
Funcionamiento de bibliotecas y archivos(3)
Procesos mentales conscientes e inteligencia(2)
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:googlescopusAnalyzing Emotions in Conceptual Models Verification Tasks performed in Online Contests
Conference ObjectAbstract: Emotion research in the area of software engineering has gained significant attention. Mostly this rPalabras claves:conceptual models, Emotion, Perceived usefulness, Stress, VerificationAutores:Condori-Fernández N., María Fernanda Granda Juca, Mayhua-Quispe A., Suni-Lopez F.Fuentes: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:googlerraaescopusEffectiveness 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:googlerraaescopusHow Do Negative Emotions Influence on the Conceptual Models Verification?: A live study proposal
Conference ObjectAbstract: The present live study is proposed with the objective of investigating the influence of negative emoPalabras claves:Autores:Condori-Fernández N., María Fernanda Granda Juca, Mayhua-Quispe A., Suni-Lopez F.Fuentes:googlescopusMeasuring the functional size of conceptual models in an MDA environment1
Conference ObjectAbstract: The measurement of the functional size of applications generated in MDA environments is a challengePalabras claves:Conceptual Modeling, COSMIC, Functional Size Measurement, MDA, Object orientationAutores:Alain Abran, Condori-Fernández N., Maŕin B., Pastor Ó.Fuentes:scopusIntroducing metrology concepts in the design of software measures
Conference ObjectAbstract:Palabras claves:Autores:Alain Abran, Condori-Fernández N., Pastor Ó., Sellami A.Fuentes:scopusTowards 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