非定态路径测试问题的分析与一种转换算法

• 作者: 季洁 宣恒农 张大方 缪力
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 软件测试 非定态路径 变符号变量 数组和指针
• 年，卷（期）: 2005,（2）
• 所属期刊栏目: 学术论文
• 页码范围: 258-261
• 页数: 4页
• 分类号: TP311.5
• 字数: 5801字
• 语种: 中文
• DOI: 10.3321/j.issn:0372-2112.2005.02.016

摘要

测试数据生成中使用静态分析法的主要问题之一是难以处理程序变量的不确定性.本文对软件测试数据生成中的变量"不确定"问题进行了分析,认为该问题的实质是程序中变量本身的符号不确定性和程序的动态性,根据这个思路提出非定态路径、变符号变量、程序状态变量等概念,并将问题进行了形式化的描述,证明了非定态路径约束解空间可进一步划分为多个子空间.在此结论的基础上,本文给出了一个将非定态路径测试转换为定态路径测试的算法,对非定态路径测试问题的理论分析和解决途径进行了有益的尝试.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张大方	湖南大学计算机与通信学院	295	2498	22.0	33.0
2	缪力	湖南大学计算机与通信学院	35	167	8.0	10.0
3	宣恒农	南京财经大学信息工程学院	24	135	7.0	10.0
4	季洁	湖南大学计算机与通信学院	7	51	4.0	7.0