A Test Case Generation Approach Based on Sequence Diagram and Automata Models

ZHANG Chen; DUAN Zhenhua; YU Bin; TIAN Cong; DING Ming

doi:10.1049/cje.2016.03.007

Volume 25 Issue 2

Turn off MathJax

Article Contents

Article Navigation > Chinese Journal of Electronics > 2016 > 25(2): 234-240

ZHANG Chen, DUAN Zhenhua, YU Bin, et al., “A Test Case Generation Approach Based on Sequence Diagram and Automata Models,” Chinese Journal of Electronics, vol. 25, no. 2, pp. 234-240, 2016, doi: 10.1049/cje.2016.03.007

Citation:

ZHANG Chen, DUAN Zhenhua, YU Bin, et al., “A Test Case Generation Approach Based on Sequence Diagram and Automata Models,” Chinese Journal of Electronics, vol. 25, no. 2, pp. 234-240, 2016, doi: 10.1049/cje.2016.03.007

Citation:

PDF( 938 KB)

A Test Case Generation Approach Based on Sequence Diagram and Automata Models

doi: 10.1049/cje.2016.03.007

1.
Institute of Computing Theory and Technology, Xidian University, Xi'an 710071, China;
2.
School of Computer Science and Technology, Xidian University, Xi'an 710071, China;
3.
School of Information and Technology, Northwest University, Xi'an 710127, China;
4.
Xi'an Aeronautics Computing Technique Research Institute, AVIC, Xi'an 710119, China

Funds: This work is supported by the National Natural Science Foundation of China (No.61420106004, No.61322202, No.61303031, No.61272117, No.61202177, No.61133001, No.61172147) and the Fundamental Research Funds for the Central Universities (No.K5051303005).

Received Date: 2014-04-23
Rev Recd Date: 2014-10-10
Publish Date: 2016-03-10

Abstract

Abstract

To improve the test automation in software development process, following the researches on test cases generation technology from models, an incremental test case generation approach is proposed based on finite automata, and Event deterministic finite automata (ETDFA) are employed to describe the sequence diagram models of system interaction. By model checked with Propositional projection temporal logic (PPTL), the correctness of ETDFA is verified. Then we can get the composed automata by synthesis rules, and generate the test cases incrementally by test cases generation algorithm. Case studies are presented to show that this approach enables to improve test cases correctness, and reduce the complexity of test cases generation process.
- Test model,
- Model based testing,
- Test scenario,
- Test cases

FullText(HTML)

References(15)

References

Y.G. Kim, H.S. Hong, et al., "Test cases generation from UML state diagrams", IEE Proceedings-Software, Vol.146, No.4, pp.187-192, 1999.

H. Miao, X. Zhan and L. Liu, "Generating test case based on UML statecharts", Journal of Chinese Computer Systems, Vol.26, No.4, pp.662-666, 2005. (in Chinese)

M. Sarma, D. Kundu and R. Mall, "Automatic test case generation from UML sequence diagrams", Proceedings of the 15th International Conference on Advanced Computing and Communications, IEEE Computer Society, Piscataway, NJ, USA, pp.60-65, 2007.

S.K. Swain, D.P. Mohapatra and R. Mall, "Test case generation based on use case and sequence diagram", International Journal of Software Engineering, Vol.3, No.2, pp.21-52, 2010.

C. Zhang and Z. Duan, "Test case generation based on UML2.0 models", Journal of Xi'an Jiaotong University, Vol.45, No.8, pp.18-23, 2011. (in Chinese)

C. Zhang and Z. Duan, "Specification and verification of UML2.0 sequence diagrams using event deterministic finite automata", Proceedings of the 5th International Conference on Secure Software Integration and Reliability Improvement, IEEE Computer Society, Piscataway, NJ, USA, pp.41-46, 2011.

C. Zhang, Z. Duan and C. Tian, "Specification and verification of UML2.0 sequence diagrams based on event deterministic finite automata", Journal of Software, Vol.22, No.11, pp.2625-2638, 2011. (in Chinese)

A. Nayak and D. Samanta, "Synthesis of test scenarios using UML activity diagrams", Software and Systems Modeling, Vol.10, No.1, pp.63-89, 2011.

J. Dick and A. Faivre, "Automating the generation and sequencing of test cases from model-based specifications", Proceedings of FME '93: Industrial-Strength Formal Methods, Springer-Verlag, Berlin, Germany, pp.268-284, 1993.

S. Liu and S. Nakajima, "A decompositional approach to automatic test case generation based on formal specifications", Proceedings of the 4th International Conference on Secure Software Integration and Reliability Improvement, IEEE Computer Society, Los Alamitos, CA, pp.147-155, 2010.

M. Utting and B. Legeard, Practical Model-Based Testing: A Tools Approach, Morgan Kaufmann, USA, 2007.

C. Yang and Z. Duan, "A key technique to develop the model checker for propositional projection temporal logic", Journal of Xi'an Jiaotong University, Vol.44, No.10, pp.24-29, 2010. (in Chinese)

G.J. Holzmann, "The model checker spin", IEEE Transactions on Software Engineering, Vol.23, No.5, pp.279-295, 1997.

H. Lin and W. Zhang, "Model checking: Theories, techniques and applications", Acta Electronica Sinica, Vol.30, No.12A, pp.1907-1912, 2002. (in Chinese)

C. Tian, S. Liu and Z. Duan, "Test case generation from conjunctions of predicates with model checking", Chinese Journal of Electronics, Vol.23, No.2, pp.271-277, 2014.

Relative Articles

Supplements(0)

Cited By

Proportional views