| 形式化规范测试模板框架的研究 |
| |
| 引用本文： | 吴妍,阳国贵,石文渊,晏庆.形式化规范测试模板框架的研究[J].兵工自动化,2005,24(4):62-64. |
| |
| 作者姓名： | 吴妍 阳国贵 石文渊 晏庆 |
| |
| 作者单位： | 国防科技大学,计算机学院,湖南,长沙,410073;国防科技大学,计算机学院,湖南,长沙,410073;国防科技大学,计算机学院,湖南,长沙,410073;国防科技大学,计算机学院,湖南,长沙,410073 |
| |
| 摘 要： | 采用基于形式规范的测试模板框架(TTF)可使测试规范通用化.测试规范使用基于模型的规范语言,由描述语言Z定义TTF基本部件的形式描述测试数据和其它测试信息.并使用结构法建立测试模板的层次,简化测试数据的导出,确定测试功能单元的有效输入空间,再细分为要求的子集或域,以得到最终测试数据模板.
|
| 关 键 词： | 测试规范 测试模板框架 形式化规范 |
| 文章编号： | 1006-1576（2005）04-0062-03 |
| 收稿时间： | 2005-03-06 |
| 修稿时间： | 2005-04-16 |
Study on Test Template Framework Based on Formalization Specification |
| |
| WU Yan,YANG Guo-gui,SHI Wen-yuan,Yan Qing.Study on Test Template Framework Based on Formalization Specification[J].Ordnance Industry Automation,2005,24(4):62-64. |
| |
| Authors: | WU Yan YANG Guo-gui SHI Wen-yuan Yan Qing |
| |
| Abstract: | |
| |
| Keywords: | Test specification Test template framework (TTF) Formalization specification |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
