【摘 要】
：
测试数据生成中使用静态分析法的主要问题之一是难以处理程序变量的不确定性.本文对软件测试数据生成中的变量'不确定'问题进行了分析,认为该问题的实质是程序中变量
【机 构】
：
湖南大学计算机与通信学院,南京财经大学信息工程学院
【基金项目】
：
国家自然科学基金，江苏省自然科学基金
论文部分内容阅读
测试数据生成中使用静态分析法的主要问题之一是难以处理程序变量的不确定性.本文对软件测试数据生成中的变量'不确定'问题进行了分析,认为该问题的实质是程序中变量本身的符号不确定性和程序的动态性,根据这个思路提出非定态路径、变符号变量、程序状态变量等概念,并将问题进行了形式化的描述,证明了非定态路径约束解空间可进一步划分为多个子空间.在此结论的基础上,本文给出了一个将非定态路径测试转换为定态路径测试的算法,对非定态路径测试问题的理论分析和解决途径进行了有益的尝试.
其他文献
首先分析了无源雷达成像系统的目标回波形式，得到了目标散射分布函数和雷达接收信号之间的傅里叶变换对关系；对单个外辐射源的情况，提出了利用部署多个接收站等效合成大的孔径对
VBR(Varible Bit Rate)视频信号具有时变性、非线性和突发性等特点,实现该信号通信量的高精度预测难度较大.针对以上问题,本文提出了一种用于VBR视频通信量预测的自适应神经
本文从提高系统工作效率的角度出发,提出了一种基于无争用集中控制的忙队列周期查询(BjQPO)控制协议.该协议为时延QoS要求较高的无线终端提供了稳定可靠的保障,通过系统建模
DLMP算法是一种在高斯和分数低阶α稳定分布噪声环境下均具有良好韧性的EP信号潜伏期变化检测算法.本文基于分数低阶统计量的原理,根据确定性平均方法,结合文中给出并证明的