| 基于形式化描述测试用例生成的研究与实现 |
| |
| 作者姓名： | 王伟光 丁洪达 曾庆凯 |
| |
| 作者单位： | 南京大学,计算机软件新技术国家重点实验室,南京,210093;南京大学,计算机科学与技术系,南京,210093;南京大学,计算机软件新技术国家重点实验室,南京,210093;南京大学,计算机科学与技术系,南京,210093;南京大学,计算机软件新技术国家重点实验室,南京,210093;南京大学,计算机科学与技术系,南京,210093 |
| |
| 基金项目： | 国家自然科学基金
,
国家高技术研究发展计划(863计划)
,
江苏省自然科学基金 |
| |
| 摘 要： | 根据高安全系统实现和评估的需要,提出基于形式化Z描述的测试用例生成方法,并据此实现了测试用例自动生成工具,可进行符合更改条件/判定覆盖准则的测试用例生成,以解决生成测试用例数量与质量间的取舍问题。与相关工作相比,可以降低形式化描述的要求,减少人工参与的成分,提高测试用例生成的有效性和效率。
|
| 关 键 词： | 安全评估 测试用例生成 形式化描述 更改条件判定覆盖 |
| 文章编号： | 1001-9081(2008)04-1018-05 |
| 收稿时间： | 2007-10-31 |
| 修稿时间： | 2007-10-31 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机应用》浏览原始摘要信息 |
|
点击此处可从《计算机应用》下载全文 |
|
