软件体系结构动态模型描述及其测试中的应用

软件体系结构的动态性描述在基于软件体系结构的一致性测试中是非常关键的一步。为了较为方便恰当地描述软件体系结构的动态性,通过对软件体系结构描述语言研究,利用带标号的转换系统来模拟软件体系结构的动态性,把带标号的转换系统作为软件体系结构动态性模型并从中选取测试序列进行测试,并通过具体实例给出了带标号转换系统这一动态模型的导出过程及利用此动态模型进行一致性测试的方法。

使用分层模型改进MVC设计架构

在研究经典的模型-视图-控制器(MVC)设计模式和分层模型的基础上,利用分层模型低耦合性的特点改进MVC各个层之间的模糊分割,视图和控制器之间的紧密连接,以及视图、控制器、模型3者之间的紧密耦合等缺点。新的MVC模式分为5层:UI、Service、BO、DO、DA,对UI进行了泛化,用Service层代替了原来的控制层,模型层也进行了具体的细分,并通过抽象类来进行数据传递。改进的MVC模式既能做到用户接口和功能模块的分离,又能使各个部分之间耦合度降低。

用线性组合模型分析软件可靠性数据

针对单一模型分析软件可靠性数据存在的不足,对软件可靠性数据的收集进行规范,并提出线性组合模型,解决了软件可靠性数据和可靠性模型的适用性问题,提高了软件可靠性模型评估和预测的精确度,其中DLC模型是目前线性组合模型中的最佳线性组合模型.

一种面向对象测试用例自动生成的混合算法

遗传算法(GA)在测试用例生成方面是一种实用的算法,但是其自身也存在的局限性,如过早收敛、优化效率低等问题。通过引入粒子群算法(PSO),使每一个测试用例在局部区域中再次寻找最优值,以此改进整体算法搜索最佳值的能力,避免过早收敛、优化效率低的问题。与此同时,针对面向对象测试的特点,如封装性等,将混合算法进行适当的改进,满足在不同环境中重复使用类的要求。

软件重构中Visitor设计模式和应用

对当前软件重构领域中的研究作了概括性介绍。对作为重构的主导思想和系统体系结构的总体转换方向的设计模式进行介绍,针对原有的Visitor设计模式在运行中操作调用频繁时资源消耗过大和运行效率降低的不足,在原模式基础上进行改良和优化,生成一种新的设计模式Visitor,并对其具体分析,通过操作函数的上移和accept方法的重定义,实现了操作定义由Element层到Visitor层的等价转化,大大节省资源和提高运行效率。最后运用Visitor实现了一个面向对象设计过程中的重构,并结合一些重要概念对其进行具体分析。

面向对象软件开发过程中演化阶段的分类法

从逻辑设计的角度,研究了一种分类方法,用于对面向对象软件系统的演化过程进行分类。该方法基于UML区分算法,将系统的一系列相邻版本的源代码所对应的逻辑设计UML类模型进行比较,产生一组描述两个版本之间结构层面上所发生修改的变化记录。从系统中每一个独立的类的角度进行分析,为每一个类生成一个演化雏形。使用该分类方法将每个类的演化雏形高层次地抽象为若干独立的演化阶段。

用于测试的SA动态模型生成方法

SA(软件体系结构)的动态性描述在基于软件体系结构的一致性测试中是非常关键的一步。许多软件体系结构描述语言是利用带标号的转换系统(LTS)来模拟软件体系结构动态性的,利用LTS作为软件体系结构动态性模型并从中选取测试序列。通过实例研究了两种体系结构描述语言及其分别向动态模型LTS转变的过程。