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

缪力; 张大方; 季洁; 宣恒农

您当前的位置：

首页 >

文章列表页 >

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

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

- 非定态路径测试问题的分析与一种转换算法
- Formal Analysis of Nondeterminism Path Test Problem and a Transform Algorithm
- 电子学报 2005年33卷第2期页码：258-261
- 作者机构：
  
  1. 湖南大学计算机与通信学院,湖南,长沙,410082
  2. 南京财经大学信息工程学院,江苏,南京,210003
  3. 湖南大学计算机与通信学院湖南长沙,410082
  4. 南京财经大学信息工程学院江苏南京,210003
- 作者简介：
- 基金信息：
  
  国家自然科学基金 (No.60473031,No.60273070);江苏省自然科学基金 (No.BK2004119)
- DOI：
  中图分类号： TP311.5
- 纸质出版：2005
- 稿件说明：
移动端阅览
缪力, 张大方, 季洁, 等. 非定态路径测试问题的分析与一种转换算法[J]. 电子学报, 2005,33(2):258-261.

MIAO Li, ZHANG Da-fang, JI jie, et al. Formal Analysis of Nondeterminism Path Test Problem and a Transform Algorithm[J]. Acta Electronica Sinica, 2005, 33(2): 258-261.
缪力, 张大方, 季洁, 等. 非定态路径测试问题的分析与一种转换算法[J]. 电子学报, 2005,33(2):258-261. DOI：

MIAO Li, ZHANG Da-fang, JI jie, et al. Formal Analysis of Nondeterminism Path Test Problem and a Transform Algorithm[J]. Acta Electronica Sinica, 2005, 33(2): 258-261. DOI：

摘要

测试数据生成中使用静态分析法的主要问题之一是难以处理程序变量的不确定性.本文对软件测试数据生成中的变量"不确定"问题进行了分析

认为该问题的实质是程序中变量本身的符号不确定性和程序的动态性

根据这个思路提出非定态路径、变符号变量、程序状态变量等概念

并将问题进行了形式化的描述

证明了非定态路径约束解空间可进一步划分为多个子空间.在此结论的基础上

本文给出了一个将非定态路径测试转换为定态路径测试的算法

对非定态路径测试问题的理论分析和解决途径进行了有益的尝试.

Abstract

In the field of automatic test data generation

a difficult problem is the nondeterminism of program variable

e.g.

array problem and pointer problem.Array variants and pointer variants are defined as a special kind of variants

variants with variable symbol

and a path with variants with variable symbol is defined as a nondeterministic path.Generating testing data of a path is finding an input that satisfies the path constraint condition.By proving the input space satisfying the constraint of a nondeterministic path can be further partitioned into many sub-spaces

the nondeterminism is avoided when test data is searched only in a sub-space in theory.An algorithm is presented to find a sub-space by program slicing.

关键词

Keywords

references

浏览量

927

下载量

CSCD

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

提交

工具集

关联资源

面向机器学习模型安全的测试与修复

基于镜像选择序优化的MART算法

一种新的多路径覆盖测试数据进化生成方法

一种面向性质的实时系统测试方法

基于抽象解释的变量值范围分析及应用