Formal Analysis of Nondeterminism Path Test Problem and a Transform Algorithm

MIAO Li; ZHANG Da-fang; JI jie; XUAN Hen-nong

您当前的位置：

首页 >

文章列表页 >

Formal Analysis of Nondeterminism Path Test Problem and a Transform Algorithm

更新时间：2025-07-16

- Formal Analysis of Nondeterminism Path Test Problem and a Transform Algorithm
- Acta Electronica Sinica Vol. 33, Issue 2, Pages: 258-261(2005)
- 作者机构：
  
  1. 湖南大学计算机与通信学院,湖南,长沙,410082
  2. 南京财经大学信息工程学院,江苏,南京,210003
  3. 湖南大学计算机与通信学院湖南长沙,410082
  4. 南京财经大学信息工程学院江苏南京,210003
- 作者简介：
- 基金信息：
- DOI：
  CLC： TP311.5
- Published：2005
- 稿件说明：
移动端阅览
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：

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

Views

927

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

The Testing and Repairing Methods for Machine Learning Model Security

MART Algorithm Based on Mirror Selection Order Optimization

Novel Evolutionary Generation Approach to Test Data for Multiple Paths Coverage

An Approach to Property-Oriented Testing of Real-Time Systems

A Method of Variable Range Analysis Based on Abstract Interpretation and Its Applications

Related Author

GUAN Xiao-hong

LI Qi

WANG Qian

LI Qian

LIN Chen-hao

SHEN Chao

ZHANG Xiao-yu

LI Zhi-bo

Related Institution

Institute for Network Sciences and Cyberspace， Tsinghua University

School of Cyber Science and Engineering， Wuhan University

Key Laboratory for Intelligent Networks and Network Security（Xi’an Jiaotong University）

School of Cyber Science and Engineering， Faculty of Electronic and Information Engineering， Xi’an Jiaotong;University

Zhongguancun Laboratory

⁰