面向路径的测试数据自动生成方法述评

单锦辉; 王 戟; 齐治昌

您当前的位置：

首页 >

文章列表页 >

面向路径的测试数据自动生成方法述评

论文 | 更新时间：2025-07-16

- 面向路径的测试数据自动生成方法述评
- Survey on Path-Wise Automatic Generation of Test Data
- 电子学报 2004年32卷第1期页码：109-113
- 作者机构：
  
  国防科学技术大学计算机学院,湖南,长沙,410073
- 作者简介：
- 基金信息：
  
  国家自然科学基金 (No.60233020,60373003,90104007);国家863项目 (No.2001AA113202);霍英东高等院校青年教师基金 (No.71064) *:不定方程求解是著名的Hilbert第十难题,由Hilbert1900年提出,1970年Matiyasevi 给出否定的答案,1973年Davis在文献[5]给出完整的证明过程.有兴趣的读者亦可参阅莫绍揆所著《递归论》 (北京:科学出版社,1987年)中相关内容
- DOI：
  中图分类号： TP311
- 纸质出版：2004
- 稿件说明：
移动端阅览
单锦辉, 王戟, 齐治昌. 面向路径的测试数据自动生成方法述评[J]. 电子学报, 2004,32(1):109-113.

SHAN Jin-Hui, WANG Ji, QI Zhi-Chang. Survey on Path-Wise Automatic Generation of Test Data[J]. Acta Electronica Sinica, 2004, 32(1): 109-113.
单锦辉, 王戟, 齐治昌. 面向路径的测试数据自动生成方法述评[J]. 电子学报, 2004,32(1):109-113. DOI：

SHAN Jin-Hui, WANG Ji, QI Zhi-Chang. Survey on Path-Wise Automatic Generation of Test Data[J]. Acta Electronica Sinica, 2004, 32(1): 109-113. DOI：

摘要

为指定的程序路径自动生成测试数据是软件单元测试中一个基本问题.求解该问题的实质在于约束系统的建立和求解

其主要困难之一在于非线性约束求解是一个理论上困难的问题.文中将面向路径的测试数据自动生成方法分为四类——随机法、静态法、动态法和试探法

分析和比较了每一类中有代表性的方法

并探讨了研究方向.

Abstract

Automatic generation of test data for a given path in a program is one of the elementary problems in software testing

the essence of which lies in the deriving and solving of system of constraints.The issue of how to solving nonlinear constraint is a hard problem in theory.In this paper

we classify the approaches of generation of test data for a given path into four categories:random

static

dynamic

and heuristic.The representative methods in each category are analyzed and compared.The direction of research is also explored.

关键词

Keywords

references

浏览量

1977

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

基于强化学习的离散事件系统最优定向监控

基于分布式人工免疫算法的数值优化