Citation: | ZHANG Mei, LIU Chao, SUN Chang-aiet al. Automated Test Case Generation Based on UML Activity Diagram Model[J]. Journal of Beijing University of Aeronautics and Astronautics, 2001, 27(4): 433-437. (in Chinese) |
[1] Tsai W T, Volovik D, Tkeefe T F. Automated test case generation for programs specified by relational algebra queries[J]. IEEE Trans on Software Engineering, 1990, 16(3):316~324. [2] Weyuker E, Goradia T, Singh A. Automatically generating test case data from a Boolean specification[J]. IEEE Trans on Software Engineering, 1994, 20(4):353~363. [3] Eliane Martins, Selma B Sabiao. ConData:a tool for automating specification-based test case generation for communication system .In:IEEE Los Alamitos ,2000.1060~3425. [4] James Rumbaugh, Ivar Jacobson, Grady Booch. The unified modeling language reference manua[M]. An imprint of Addison Wesley Longman Inc,1998. [5] 刘 超,张 莉.可视化面向对象建模技术——标准建模语言UML教程[M].北京:北京航空航天大学出版社,1999. [6] 刘 超.程序交互执行流程图及其测试覆盖规则[J].软件学报,1998,9(6):458~463.
|