【摘 要】
：
为了减少软件测试的工作量,提高软件测试的效率,非常有必要开发计算机辅助的软件测试工具.本文基于已经实现的分别面向C/C+和Visual Basic语言的计算机辅助软件测试工具为基
【机 构】
：
浙江财经学院信息管理系,浙江大学计算机科学系
论文部分内容阅读
为了减少软件测试的工作量,提高软件测试的效率,非常有必要开发计算机辅助的软件测试工具.本文基于已经实现的分别面向C/C+和Visual Basic语言的计算机辅助软件测试工具为基础,介绍了面向对象软件测试引擎的设计和实现.该引擎以中间数据库为核心,使用语言分析器对源程序进行基于块的划分,然后完成代码插装和编译连接,为自动测试模块提供可执行的经过代码插装的程序而不是源代码,从而提高了测试工具的通用性和重用性.
其他文献
UML序列图用于建模实例间动态交互过程,但UML规范并没有给出其形式化的动态语义,这不利于对模型进行形式化验证和证明.本文把序列图中的事件动作及其执行序列映射为进程代数
测试预言是一种用来检测被测系统的测试执行是否正确的方法.文中,作者设计并实现了一种根据程序的线性时序逻辑(LTL)的性质产生测试预言的方法.首先,作者将一线性时序逻辑公
本文在分析了嵌入式实时操作系统WebitOS及其协议栈的TCP层发送和接收的基础上,指出了在基于静态优先级调度的实时抢占式系统中,负责TCP发送和接收的两个任务,在对TCP连接的
本文以某生产制造型企业信息化工作为背景，探讨如何根据企业现状进行异构数据源的集成，并以Mysql和Oracle 9i关系数据库为实例，介绍了低成本的数据移植方法，指出了建立企业级数据
如何从大型数据库中挖掘关联规则是数据挖掘的一个重要的问题.FP-growth是一个著名的不产生候选集的高效频繁模式挖掘算法,它使用专门的数据结构FP-tree.为了进一步提高FP-gr
在现有安全模型的基础上提出了NDMAC模型.该模型对主客体进行了明确的定义和分类,并采用最细客体粒度为属性和元组级的方案.该模型提出了隶属完整性规则、实体完整性规则和推
移动Agent(Mobile agent)在电子商务中具有广泛的应用.H.Kim等人提出的为确保在移动Agent中进行秘密计算的安全性的一次代理签名体制,使得移动Agent协议具备了许多更好的特点
探讨了在网格环境中数据复制的相关策略,包括动态只读复制策略和动态读/写复制策略.动态复制策略可以用来减少带宽消耗和访问延迟,不同的复制策略在不同的访问方式下有不同的
本文在分析目前流行的基于链接分析的搜索引擎网页排序算法的基础上，指出基于链接分析网页排序算法未充分考虑网站性能因素。针对这一缺点，本文提出了一种改进的网页排序算法，它