TAOS: Testing with Analysis and Oracle Support
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Black-box testing: techniques for functional testing of software and systems
Black-box testing: techniques for functional testing of software and systems
Communications of the ACM
Model-based testing in practice
Proceedings of the 21st international conference on Software engineering
Testing object-oriented systems: models, patterns, and tools
Testing object-oriented systems: models, patterns, and tools
Automated test oracles for GUIs
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
Software testing using model programs
Software—Practice & Experience
Kent Beck's Guide to Better Smalltalk
Kent Beck's Guide to Better Smalltalk
Using a qualitative research method for building a software maintenance methodology
Software—Practice & Experience
Automated Generation of Statistical Test Cases from UML State Diagrams
COMPSAC '01 Proceedings of the 25th International Computer Software and Applications Conference on Invigorating Software Development
Test Selection from UML Statecharts
TOOLS '99 Proceedings of the 31st International Conference on Technology of Object-Oriented Language and Systems
COMPSAC '03 Proceedings of the 27th Annual International Conference on Computer Software and Applications
The data mining approach to automated software testing
Proceedings of the ninth ACM SIGKDD international conference on Knowledge discovery and data mining
A UML Approach to the Generation of Test Sequences for Java-Based Concurrent Systems
ASWEC '05 Proceedings of the 2005 Australian conference on Software Engineering
Designing concurrent, distributed, and real-time applications with UML
Proceedings of the 28th international conference on Software engineering
An Empirical Study on the Selection of Good Metamorphic Relations
COMPSAC '06 Proceedings of the 30th Annual International Computer Software and Applications Conference - Volume 01
Designing and comparing automated test oracles for GUI-based software applications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Software Testing Research: Achievements, Challenges, Dreams
FOSE '07 2007 Future of Software Engineering
Automated Generation of Test Cases Using Model-Driven Architecture
AST '07 Proceedings of the Second International Workshop on Automation of Software Test
Towards traceability of model-based testing artifacts
Proceedings of the 3rd international workshop on Advances in model-based testing
Testing Software Design Modeled by Finite-State Machines
IEEE Transactions on Software Engineering
Model-Driven Testing: Using the UML Testing Profile
Model-Driven Testing: Using the UML Testing Profile
A survey on model-based testing approaches: a systematic review
Proceedings of the 1st ACM international workshop on Empirical assessment of software engineering languages and technologies: held in conjunction with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE) 2007
Artificial Neural Network for Automatic Test Oracles Generation
CSSE '08 Proceedings of the 2008 International Conference on Computer Science and Software Engineering - Volume 02
Guidelines for conducting and reporting case study research in software engineering
Empirical Software Engineering
Automated model-based testing using the UML testing profile and QVT
Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation
A Comparative Study on Automated Software Test Oracle Methods
ICSEA '09 Proceedings of the 2009 Fourth International Conference on Software Engineering Advances
A Taxonomy of Model Transformation
Electronic Notes in Theoretical Computer Science (ENTCS)
Generating tests from UML specifications
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
IEEE Transactions on Software Engineering
Augmenting automatically generated unit-test suites with regression oracle checking
ECOOP'06 Proceedings of the 20th European conference on Object-Oriented Programming
Hi-index | 0.00 |
Context: Software development time has been reduced with new development tools and paradigms, testing must accompany these changes. In order to release software products in a timely manner as well as to minimise the impact of possible errors introduced during maintenance interventions, testing automation has become a central goal. Whilst research has produced significant results in test case generation and tools for test case (re)-execution, one of the most important open problems in testing is the automation of oracle generation. The oracle decides whether the program under test has or has not behaved correctly and then issues a pass/fail verdict. In most cases, writing the oracle is a time-consuming activity that, moreover, is manual in most cases. Objective: This article automates two important steps in the test oracle: obtention of expected output and its comparison with the actual output, using a model-driven approach. Method: The oracle automation problem is resolved using a model-driven framework, based on OMG standards: UML is used as metamodel and QVT and MOF2Text as transformation languages. The automated testing framework takes the models that describe the system as input, using UML notation and derives from them the test model and then the test code, following a model-driven approach. Test oracle procedures are obtained from a UML state machine. Results: A complete executable test case at functional test level is obtained, composed of a test procedure with parametrized input test data and expected result automation. Conclusion: The oracle automation is obtained using a model-driven approach, test cases are obtained automatically from UML models. The model-driven testing framework was applied to an industrial application and has been useful to testing automation for the main functionalities in the system.