形式化规范测试模板框架的研究  

Study on Test Template Framework Based on Formalization Specification

作　　者：吴妍[1] 阳国贵[1] 石文渊[1] 晏庆[1] 

机构地区：[1]国防科技大学计算机学院,湖南长沙410073

出　　处：《兵工自动化》2005年第4期62-64,共3页Ordnance Industry Automation

摘　　要：采用基于形式规范的测试模板框架(TTF)可使测试规范通用化。测试规范使用基于模型的规范语言,由描述语言Z定义TTF基本部件的形式描述测试数据和其它测试信息。并使用结构法建立测试模板的层次,简化测试数据的导出,确定测试功能单元的有效输入空间,再细分为要求的子集或域,以得到最终测试数据模板。Test specification is generalized with the test template framework （TTF） based on formalization specification. The model-based specification language was used in test specification, and formal description testing data and other testing information for TTF parts was defined with description language Z. The layer of testing template was built up with structural method, and the leadingout of test data was simplified, and the valid input space of test functional unit was defined. And then, the valid input space was partitioned into required subset or domain to obtain final test data template.

关 键 词：测试规范 测试模板框架 形式化规范 

分 类 号：TP206.1[自动化与计算机技术—检测技术与自动化装置]