一种基于Object-Z规格说明的集成测试用例生成方法
朱义毅1,缪淮扣1,2,唐新香1
n Approach to Generating Integration Test Case Based on Object-Z Specification
ZHU Yi-yi1,MIAO Huai-kou1,2,TANG Xin-xiang1
上海大学学报(自然科学版) . 2009, (1): 60 -65 .