一种基于类数据流的软件测试技术

提出了一种类数据流测试技术 ,通过类的数据流分析计算出实例变量的定义 使用对信息及成员函数的前置条件和后置条件 ,匹配函数的前置条件和后置条件为每一定义 使用对产生函数激活序列 (即测试用例 ) .这样产生的测试用例能够发现成员函数与实例变量之间交互作用时发生的错误 ,并且弥补了传统数据流测试技术的不足 ,减少了重复测试 ,提高了测试效率 .

基于数据流的类测试技术研究

面向对象软件测试已成为软件工程领域的一个重要研究课题,其中,类测试是面向对象软件测试的关键。论文在介绍传统数据流测试技术的基础上,以面向对象软件的类作为基本测试单元,研究了一种基于数据流的类测试技术。

一种包含异常传播的类间数据依赖分析方法

类间数据依赖分析是类间数据流测试的基础。本文通过分析类簇级测试中的异常传播对程序数据依赖的影响,提出一种包括异常结构在内的类间C++程序数据依赖分析方法,根据类间关系增量式地构造类间数据依赖图,并给出类间数据依赖图的构造算法。最后,在程序切片中应用了该数据依赖分析方法。结果证明,该方法通过分析异常传播对数据依赖的影响能够带来切片精度的提高。

通信终端与Web服务程序数据同步设计

通过对智能终端与Web Service的研究,阐述了Web服务数据同步系统的数据接口设计和功能设计,分析了同步系统的控制流程。以手机与电话机通信终端设备数据Web同步服务为实例,给出了串行口类、短信类与号码本类设计与Web Service实现。所采用的基于SOA的Web Service封装,使Web服务数据同步系统具备自治性、多样性、可互操作性和可复用性。

面向对象类测试方法分析

面向对象软件测试是面向对象软件开发的重要阶段 ,面向对象测试的关键是类测试。当前 ,类测试常用的方法是基于状态的测试和数据流测试。文章对这两种方法进行了分析和比较 ,提出了将来基于这两种方法的研究重点。

网络超市平台建设中数据接口与控制算法设计

根据地方政府对特色产业网络超市平台的建设需求,采用J2EE企业级解决方案,选取Struts2、Hibernate、Spring框架进行平台建设,阐述了数据库接口设计、数据控制类设计与控制流算法设计,建成的平台系统已经能够稳定运行。

面向对象软件类测试研究新进展

软件测试是软件开发过程中不可缺少的一环,是保证软件质量和提高软件可靠性的关键。近年来,随着面向对象软件开发方法应用的更加广泛和研究的不断深入,面向对象软件测试已成为软件工程领域的一个重要研究课题。类是面向对象软件的基本构成单元,类测试是面向对象软件测试的关键。从基于状态、基于规范、基于UML、基于方法序列、基于数据流等6方面论述了类测试的目前研究成果,分析了研究现状,探讨了进一步工作的方向。

医院代销材料库存管理子系统的软件设计

为加强对医院卫生材料的管理,降低医疗服务成本,开发了代销材料管理子系统应用于医院代销材料的管理。介绍了系统在软件需求和设计阶段的设计思想,应用的成效及达成的预期目标。

杂交水稻品种资源库系统中数据库的分析和设计

介绍了数据库设计过程中的基础知识,详细说明了杂交水稻品种资源库系统中数据库的分析和设计过程,并给出了部分实例。并提供数据库系统开发人员在系统设计过程中使用数据库资源分析方法作为参考,保证开发出来的数据库系统简洁和高效。

一种基于扩展类控制流图的类测试技术

面向对象程序中的类是测试的基本单元,采用数据流测试技术,改进了原有生成类的调用控制流图算法,生成扩展的类控制流图(ECCFG),实现了对于类中方法内、方法间、类内部以及类间定义--使用对的分析,有效地解决了由于面向对象程序的继承性,导致的此前研究中对于单一类测试的覆盖率不足的问题.

基于面向对象程序代码的类测试技术

面向对象软件的基本测试单元是类，文中提出了用一种基于代码的测试技术——数据流测试来全面地测试类。对类测试分为３级：单个成员函数的测试；公有成员函数的测试；公有成员函数间接口的测试。大多数现有的数据流测试可以对前两级进行测试，作者利用改进的数据流测试来测试第３级，通过构造类控制流图来计算数据流信息。这种技术即使在无规格说明的情况下也可以决定类中成员函数间消息传递的次序，根据这种次序来测试类。

基于改进OCSVM的智能变电站数据流异常检测方法研究

目前智能变电站的数据流异常检测对准确性和实时性要求较高,采用简单阈值的检测方法已无法满足要求。针对这一问题,基于智能变电站体系架构,提出了一种将改进的密度聚类算法和改进的单类支持向量机算法相结合用于智能变电站异常数据流检测的方法。使用k-dist图优化密度聚类算法对正常数据流样本进行聚类,形成样本簇。使用改进的粒子群算法优化单类支持向量机算法建立相应的检测模型,对异常数据流进行检测。通过仿真与传统检测方法进行对比分析,验证了所提方法的有效性。结果表明,与传统OCSVM方法相比,所提异常检测方法将常规数据流样本拆分为多个OCSVM模型,可以更紧密地包裹正常样本,检测效果较为理想,检测准确率高于99%,可以满足异常数据检测对准确性和实时性的要求。

类状态测试模型

针对类状态测试可能遗漏数据错误问题,利用数据流分析技术对生成的测试序列进行分析,找出数据流异常进而对其改进,能较好地解决数据错误问题。为解决在状态测试执行时需要插装代码来跟踪状态转换以便进行可行性检测分析,以及需要通过改写被测类代码来解决类封装性限制进行类状态验证,导致测试脚本臃肿、强聚合和被测类代码版本不一致问题,提出了一种基于AOP类状态测试执行方法,它通过分离关注点、突破类封装性限制,能有效地解决这些问题。基于上述技术和方法,提出一种类状态测试模型,实例分析和实验结果表明,该模型能较好地实现类状态测试。

面向对象的电梯控制分析与设计

现代建筑业的迅速发展 ,使建筑电气控制领域的问题日益复杂化 ,为了有效的解决这些问题 ,介绍了面向对象的分析与设计方法 ,并对电梯控制系统进行了具体的分析与设计 ,系统阐述了这种方法的指导思想及分析设计的步骤 ,指出这种方法的优点 ,对复杂控制问题的解决有一定的积极意义 .