【摘 要】
：
测试数据生成中使用静态分析法的主要问题之一是难以处理程序变量的不确定性.本文对软件测试数据生成中的变量'不确定'问题进行了分析,认为该问题的实质是程序中变量
【机 构】
：
湖南大学计算机与通信学院,南京财经大学信息工程学院
【基金项目】
：
国家自然科学基金，江苏省自然科学基金
论文部分内容阅读
测试数据生成中使用静态分析法的主要问题之一是难以处理程序变量的不确定性.本文对软件测试数据生成中的变量'不确定'问题进行了分析,认为该问题的实质是程序中变量本身的符号不确定性和程序的动态性,根据这个思路提出非定态路径、变符号变量、程序状态变量等概念,并将问题进行了形式化的描述,证明了非定态路径约束解空间可进一步划分为多个子空间.在此结论的基础上,本文给出了一个将非定态路径测试转换为定态路径测试的算法,对非定态路径测试问题的理论分析和解决途径进行了有益的尝试.
其他文献
本文设计了使用CMOS工艺,单片集成的L波段数字声广播(DAB)接收机模拟前端.接收机前端应用了三种方法来提高镜像抑制度:低中频双正交weaver结构比一般的同相/正交(I/Q)两路下
首先分析了无源雷达成像系统的目标回波形式，得到了目标散射分布函数和雷达接收信号之间的傅里叶变换对关系；对单个外辐射源的情况，提出了利用部署多个接收站等效合成大的孔径对
VBR(Varible Bit Rate)视频信号具有时变性、非线性和突发性等特点,实现该信号通信量的高精度预测难度较大.针对以上问题,本文提出了一种用于VBR视频通信量预测的自适应神经
外语教学的目标是培养学生的跨文化交际能力,而目前大学英语教学非但没有淡化应试教育的色彩,反而朝着“考研是目标,四、六级是关键”的方向发展,这显然与上述目标背道而驰。
本文从提高系统工作效率的角度出发,提出了一种基于无争用集中控制的忙队列周期查询(BjQPO)控制协议.该协议为时延QoS要求较高的无线终端提供了稳定可靠的保障,通过系统建模
瞄准：分析起作用并且因素与良性的肝的损害的肝切除术联系了的起作用的仙子。方法：在中国 PLA 医院将军从 1986 年 1 月经历肝切除术到 2005 年 12 月的良性的肝的损害的 827
瞄准：与泻药冒号在老鼠的冒号表明 nociceptin/orphanin FQ 的变化和效果。方法：泻药冒号模型被为 3 瞬间喂老鼠大黄建立，结肠的肌电描记法的变化被两暂停肌肉脱衣测试和结肠的
DLMP算法是一种在高斯和分数低阶α稳定分布噪声环境下均具有良好韧性的EP信号潜伏期变化检测算法.本文基于分数低阶统计量的原理,根据确定性平均方法,结合文中给出并证明的
据有关部门调查,我国企业应收账款占流动资金的比重为50%以上,远远高于发达国家20％的水平。企业之间尤其是国有企业之间相互拖欠货款,造成逾期应收账款居中高不下,已成为经济
鉴于各方面对家具污染物释放的关注程度越来越高,通过对现行家具有害物质限量标准的研究,结合标准在实践执行过程中出现的争议,对现存标准中有害物质检测中存在的问题进行了