| 基于控制流的形式化程序测试 |
| |
| 引用本文： | 章靠,丁佐华.基于控制流的形式化程序测试[J].浙江理工大学学报,2008,25(3):287-291. |
| |
| 作者姓名： | 章靠 丁佐华 |
| |
| 作者单位： | 浙江理工大学信息电子学院,杭州,310018 |
| |
| 基金项目： | 国家高技术研究发展计划(863计划) |
| |
| 摘 要： | 为避免现有产生测试用例过程中隐含的不可行路径和状态爆炸问题，提出一种对基于流的序列程序产生测试用例的形式化方法。该方法定义了条件和循环覆盖准则后，通过条件演算对序列程序生成测试用例。程序执行是基于程序语义进行，避免了隐含的不可行路径，复杂度分析表明该方法可以避免状态爆炸问题。
|
| 关 键 词： | 软件测试 序列程序 形式化方法. 控制流 形式化方法 程序测试 Control Flow Based Program Testing 分析表 复杂度 程序语义 程序执行 生成测试用例 演算 覆盖准则 循环 条件 序列 问题 状态爆炸 不可行路径 |
| 文章编号： | 1673-3851(2008)03-0287-05 |
| 修稿时间： | 2007年9月26日 |
A Formal Testing of Program Based on Control Flow |
| |
| ZHANG Kao,DING Zuo-hua.A Formal Testing of Program Based on Control Flow[J].Journal of Zhejiang Sci-tech University,2008,25(3):287-291. |
| |
| Authors: | ZHANG Kao DING Zuo-hua |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
