Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
All from One, One for All: on Model Checking Using Representatives
CAV '93 Proceedings of the 5th International Conference on Computer Aided Verification
MDA Explained: The Model Driven Architecture: Practice and Promise
MDA Explained: The Model Driven Architecture: Practice and Promise
Generating Test Cases from UML Activity Diagram based on Gray-Box Method
APSEC '04 Proceedings of the 11th Asia-Pacific Software Engineering Conference
Jartege: a tool for random generation of unit tests for java classes
QoSA'05 Proceedings of the First international conference on Quality of Software Architectures and Software Quality, and Proceedings of the Second International conference on Software Quality
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
An automated technique for risk-based test case generation and prioritization
Proceedings of the 3rd international workshop on Automation of software test
Automatic generation of test specifications for coverage of system state transitions
Information and Software Technology
System state coverage through automatic test case generation
International Journal of Information and Communication Technology
Automating test cases generation: from xtUML system models to QML test models
Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software
Synthesis of test scenarios using UML activity diagrams
Software and Systems Modeling (SoSyM)
Seamless testing for models and code
FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
Automated test scenario selection based on levenshtein distance
ICDCIT'10 Proceedings of the 6th international conference on Distributed Computing and Internet Technology
Empirical evaluation of cloud-based testing techniques: a systematic review
ACM SIGSOFT Software Engineering Notes
Testing for concurrency in UML diagrams
ACM SIGSOFT Software Engineering Notes
Prioritization of test scenarios derived from UML activity diagram using path complexity
Proceedings of the CUBE International Information Technology Conference
UML behavioral model based test case generation: a survey
ACM SIGSOFT Software Engineering Notes
Hi-index | 0.00 |
The test case generation from design specifications is an important work in testing phase. In this paper, we use UML activity diagrams as design specifications, and present an automatic test case generation approach. The approach first randomly generates abundant test cases for a JAVA program under testing. Then, by running the program with the generated test cases, we can get the corresponding program execution traces. Last, by comparing these traces with the given activity diagram according to the specific coverage criteria, we can get a reduced test case set which meets the test adequacy criteria. The approachcan also be used to check the consistency between the program execution traces and the behavior of UML activity diagrams.