摘要:
形式化方法具有精确的描述性和很强的抽象性.用形式化方法描述规格说明,避免了在需求分析阶段对数据结构和算法细节的详细描述,同时又避免了一般建模方法中的模糊性和歧义性.针对组件系统的集成测试产生测试用例,提出一种使用Object-Z模式描述组件模型的方法,并且针对模型提出测试准则,产生测试场景,然后根据得到的测试场景产生测试用例.
中图分类号:
朱义毅1,缪淮扣1,2,唐新香1. 一种基于Object-Z规格说明的集成测试用例生成方法[J]. 上海大学学报(自然科学版), 2009, 15(1): 60-65.
ZHU Yi-yi1,MIAO Huai-kou1,2,TANG Xin-xiang1. n Approach to Generating Integration Test Case Based on Object-Z Specification[J]. Journal of Shanghai University(Natural Science Edition), 2009, 15(1): 60-65.