机译:通过状态图模式可测试的模型规范
Dept. of Computer, Guilin University of Electronic Technology, 541004 Guilin, China;
Dept. of Computer, Guilin University of Electronic Technology, 541004 Guilin, China;
School of Computer & Information Science, Edith Cowan University, 6050 Perth, Australia;
XML; statechart; test specification;