Test case automatic generation research based on AADL behavior annex

Authors:
Yu-Lan Yang;Hong-Bing Qian;Yang-Zhao Li
Affiliations:
Beihang University, Haidian District, Beijing, China;Beihang University, Haidian District, Beijing, China;Information Center, China Three Gorges Corporation, Beijing China
Venue:
AICI'11 Proceedings of the Third international conference on Artificial intelligence and computational intelligence - Volume Part I
Year:
2011

Citing 6
Cited 0

Automated Software Test Data Generation

IEEE Transactions on Software Engineering
Automated program flaw finding using simulated annealing

Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
A Method Enabling Feasible Conformance Test Sequence Generation for EFSM Models

IEEE Transactions on Computers
An EFSM-based test generation for validation of SDL specifications

Proceedings of the 3rd international workshop on Automation of software test
Automated test data generation using a scatter search approach

Information and Software Technology
UIOE: a protocol test sequence generation method using the transition executability analysis (TEA)

Computer Communications

Quantified Score

Hi-index	0.00

Visualization

Abstract

Test case generation is essential to software test. Software test efficiency can be greatly improved through test case automatic generation. AADL Behavior Annex is an extension of AADL which can describe detailed behavior of AADL component. In this paper, we discuss a test case automatic generation method based on the AADL Behavior Annex. This method contains two parts: automatic generation of test sequences and automatic generation of test data. The former generates test sequences through dominator analysis; the later uses subsection gradient descent algorithm to generate test data.