非法计算故障的静态测试

• 作者: 宫云战 曹文静
• 来源期刊: 计算机辅助设计与图形学学报
• 学科: 工学
• 关键词: 软件测试 静态测试方法 非法计算 故障模型 自动测试算法
• 年，卷（期）: 2007,（1）
• 所属期刊栏目: VLSI设计与测试及电子设计自动化
• 页码范围: 119-124
• 页数: 6页
• 分类号: TP2
• 字数: 5389字
• 语种: 中文
• DOI: 10.3321/j.issn:1003-9775.2007.01.022

摘要

针对C/C+ +程序中的非法计算,形式化定义了非法计算故障;建立了表达式区间运算模型、变量取值区间集产生模型和非法计算故障模型,并将其作为静态识别非法计算的基础;提出了非法计算自动测试算法.实验结果表明,文中方法具有较高的故障检测准确率和测试效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	曹文静	装甲兵工程学院信息工程系	34	93	5.0	7.0
3	宫云战	装甲兵工程学院信息工程系	37	383	11.0	17.0