【摘 要】
：
该文研究目的是面向对象的动态辅助测试工具(OODT,Object-Oriented Dynamic Testing Tool).OODT是我们小组针对C源程序研制的动态辅助测试工具系统,该文的重点是根据源程序生
论文部分内容阅读
该文研究目的是面向对象的动态辅助测试工具(OODT,Object-Oriented Dynamic Testing Tool).OODT是我们小组针对C<++>源程序研制的动态辅助测试工具系统,该文的重点是根据源程序生成类图、对象图、关联图和LOG文件的构造方法和实现算法,为动态测试和跟踪做准备.针对OOS测试的问题和复杂性,特别是动态测试的不确定性和难度,我们所研制的动态辅助测试工具系统OODT,从使用事件(use case)出发,构造出程序的事件关联图,并由关联图分析器生成LOG结构文件.在执行测试用例的时候,OODT在程序中增加的代码根据LOG逻辑结构文件获得相应的测试结果,即LOG数据文件.同时OODT工具的归纳分析器会根据软件的设计文档得到相应被测对象之间应存在的逻辑规则,根据规则对LOG数据文件进行归纳分析,找出其中不符合逻辑规则的地方,从而达到动态测试的目的.该文重点讨论了源代码分析与源代码描述、OOS的形式化表示方法、OODT模型、类图、对象图、事件关联图、LOG逻辑文件的生成算法,为后续的测试结果分析奠定了基础.该工具系统不仅可用于动态测试的归纳分析,还可跟踪测试路径,达到评估测试覆盖率之目的.
其他文献
随着信息技术的不断进步和社会对教育的迫切需求,远程教育具有鲜明的发展前景,尤其是基于卫星与地面网平台相结合的同步实时教学系统,对中国远程教育的发展和应用意义深远.该
网络可靠性通过故障恢复机制和故障修复机制实现,该文讨论故障恢复机制,提出了一种分级的IP over WDM网络故障恢复机制.在这种机制中,IP层故障恢复机制在资源利用率方面的优
近年来,网络攻击变得越来越普遍,也越来越难于防范,传统的技术如防火墙难于满足目前网络安全的需要,一项新的网络安全技术——入侵检测技术很好地解决其他技术的不足.它不仅
定理机器证明是许多基于逻辑的推理系统的核心,因此提高自动定理证明系统的效率具有重要的意义.表方法由于其适用于非经典逻辑的推理而受到重视,结合了其它推理方法中的剪枝
该文首先介绍了移动IP出现的背景,分析了传统路由协议在解决节点移动性问题方面的不足,指出了移动IP技术出现的必要性和设计移动IP应达到的要求.接着,简要介绍了移动IP协议的
近年来，云计算技术快速发展，其安全问题也日益突出并得到了越来越多的关注。云计算将存储能力、计算能力等资源以类似水电的方式、按用户的需求提供给用户。在这一过程中虚拟化
逻辑程序设计作为一种描述性的程序设计范例，目前已经成为人工智能领域中进行知识表达和推理的一个有力工具。回答集语义在非单调的逻辑程序语言中占有重要地位。作为一种处理
在加权关联规则挖掘的研究中,主要的工作是从事务数据库中产生加权频繁项目集.由于加权频繁项目集不具有向下封闭性,也就是,加权频繁项目集的子集不一定加权频繁.因此,不能用
论文结合智能代理的特点和典型的商务交易模型,设计了以智能代理为基础的分布式电子交易市场及其系统的结构.提出了基于多智能代理的撮合交易思想,设计了市场撮合代理动态匹
我们在开发吉林省自然科学基金项目《移动IP关键技术的研究与软件实现》的过程中,利用Linux内核代码的开放性,在网络层嵌入操作系统内核编码,给出了移动IP中移动节点的注册应