【摘 要】
:
面向对象技术在软件工程中的推广使用,使得传统的测试技术和方法受到了极大的冲击.传统的测试技术已经无法有效的测试面向对象程序,因此测试策略和测试方法都需要进行相应的
论文部分内容阅读
面向对象技术在软件工程中的推广使用,使得传统的测试技术和方法受到了极大的冲击.传统的测试技术已经无法有效的测试面向对象程序,因此测试策略和测试方法都需要进行相应的改进.基于Object-Z形式化规约,可以对面向对象软件进行完整性测试和一致性测试.模型(OOTM)描述如下:可以从类的Object-Z形式化规约说明导出了类的状态转换图,从而可以从面向对象软件的形式化规约说明中推导出面向对象软件的状态转换图.状态转换图可以描述一个由面向对象程序的正确的方法调用序列组成的测试数据.把状态转换图看作为有限自动机,就可以得到生成测试数据的方法和检测方法调用序列异常的算法.依据方法调用序列覆盖标准,就可以验证测试的完整性和一致性.
其他文献
关联规则发现是数据挖掘中的重要课题.挖掘关联规则问题就是产生支持度和可信度分别大于用户给定的最小支持度和最小可信度的关联规则.从用户与系统交互的角度来看,关联规则
该论文的主要目的是从软件过程的角度对目前数据仓库建设领域的理论与实践进行研究与探讨.论文的具体内容如下:该文首先研究了软件过程、软件过程模型相关的概念以及软件过程
深入分析iSCSI协议特性,探讨协议错误恢复的原理与CRC检错关键问题对研究网络存储系统具有重要的参考价值.将iSCSI协议与成熟的网络存储管理协议FibreChannel协议进行深入比
在时空数据库中引入数据区域的划分,将时空属性视为特殊属性,数据分别存放在非时空属性区、有效时空属性区和历史时空属性区,利用三字节的属性标识位标识数据位置.从而将时空
在分析了以光磁技术为核心的现代存储系统缺点的基础上,深入研究了能大幅提高其小写性能的技术———缓存磁盘技术.设计并实现了其在LINUX操作系统上的具体方案.对当前以光磁
该文依托数字图书馆的建设背景,针对数字资源建设中的内容相关性特点,重点研究了当前数字图书馆界的热点问题之一——开放链接技术.该文首先从OpenURL标准出发,研究分析了开
尽管实体关系模型(ERD)是进行数据库建模的标准方法,但其建模结构的描述能力有限.UML是当前非常流行的一种建模语言,它具有丰富的建模符号,为许多CASE工具所支持.但是,UML只
实时性主要考虑的是数据与事务的定时限制,而连接是数据操作中非常耗时的操作,并且并行查询优化有着庞大的执行计划搜索空间,因此,PRTS-I尽可能地避免数据偏斜,发挥各个处理
本文对基于X.509标准公钥基础设施(PKIX)下的数字证书管理系统(Digital Certificate Management System,下文简称DCMS)的设计与实现进行了分析和讨论。DCMS系统的设计涉及数