【摘 要】
：
该文使用信息流分析技术,对面向对象语言编写的程序自动生成测试用例.信息流分析技术又称程序流分析技术,是一种静态分析技术,即在一个程序没有被实际运动之际,通过静态分析
论文部分内容阅读
该文使用信息流分析技术,对面向对象语言编写的程序自动生成测试用例.信息流分析技术又称程序流分析技术,是一种静态分析技术,即在一个程序没有被实际运动之际,通过静态分析去发现它的一些运行行为方面的特性.信息流分析包括控制流分析和数据流分析两种,其中控制流分析侧重于对程序结构的分析,而数据流分析侧重于对变量控制结构下的定值、使用以及传播情况的分析.该文属于基于代码的白盒测试.首先定义了一个面向对象语言Small Object-Oriented Language(SOOL),然后通过自己建造的词法和语法分析器对SOOL构造出语法树,接下来在语法树上进行数据流分析和控制流分析,利用部分求值技术和程序分析技术找到满足条件组合覆盖策略和类覆盖策略的执行路径,分析可能产生分支的语句,构造包含所有执行路径的路径二叉树,对路径二叉树上的条件表达式进行分类和化简整理,由规范条件表达式生成梯度表达式,最后根据梯度表达式生成测试用例.
其他文献
程序理解是人们将程序及其环境对应到面向人的概念知识的过程，它对于软件的维护，测试，度量具有十分重要的意义。程序理解可以手工进行，也可以在工具的支持下半自动地进行。随着软
地理信息系统的迅速发展和广泛应用导致了大量多源异构空间数据的产生，给数据综合利用和数据共享带来不便。传统WebGIS空间数据具有多源异构特性，互操作性差，并且服务器生成图片
在铁路运输中,由车辆组成的列车的制动性能优劣直接关系到行车安全.为准确判断列车制动性能的优劣,找出某一车辆存在某项制动故障,列车制动性能试验显得十分重要.目前,车辆段
空间co-location模式代表一组空间对象，这些对象的实例在空间中频繁的关联。目前人们已经对空间co-location模式挖掘有了大量的研究，其中主要包括两个方向:关于确定数据与不确
该论文针对由于INTERNET节点、应用(数据、语音、视频等)的不断增加而造成网络的拥塞现象,在深入研究已有队列管理算法的基础上,提出了一种具有优先级自适应的队列管理新算法
该文是针对"北江大堤防汛指挥系统"子系统Web GIS系统实际应用有许多个体对象位置矢量是不固定的、动态的问题,而这种个体很难用传统的GIS图层来描述,为了解决这种问题,该文
该文围绕SSL协议而展开,分析了其算法基础与协议构成.在此基础上该文主要做了以下讨论与设计:1.提出了在SSL协议上对RSA算法的一种可能的密文选择攻击.该攻击建立在SSL协议的
该文讨论一种网络有害信息知识和控制技术,通过快速基本特征匹配、基于协议分析的攻击检测和基于粗糙集的内容分析等方法,可以快速发现各种常见的有害信息,并对有害信息进行
中间件技术因为解决了分布式异构环境中的不同应用之间的集成和交互问题而成为工业界应用广泛的技术。然而，各软件厂商基于不同的实现技术纷纷推出自己的中间件产品，这些产品各
水利领域的计算机软件存在着开发周期长、维护费用高、重复开发等问题，应用软件构件技术，提高领域软件的复用程度，是解决这些问题的有效途径之一。领域中各部门数据虽然存在很多