-
题名软件体系结构动态模型描述及其测试中的应用
- 1
-
-
作者
顾燕萍
高建华
-
机构
上海师范大学数理信息学院计算机科学与工程系
-
出处
《计算机工程与设计》
CSCD
北大核心
2007年第4期982-984,共3页
-
文摘
软件体系结构的动态性描述在基于软件体系结构的一致性测试中是非常关键的一步。为了较为方便恰当地描述软件体系结构的动态性,通过对软件体系结构描述语言研究,利用带标号的转换系统来模拟软件体系结构的动态性,把带标号的转换系统作为软件体系结构动态性模型并从中选取测试序列进行测试,并通过具体实例给出了带标号转换系统这一动态模型的导出过程及利用此动态模型进行一致性测试的方法。
-
关键词
一致性测试
带标号转换系统
有限状态过程
软件体系结构动态性描述
测试序列
-
Keywords
conformance testing
LTS
FSP
SA dynamics description
test sequences
-
分类号
TP31
[自动化与计算机技术—计算机软件与理论]
-
-
题名使用分层模型改进MVC设计架构
被引量:19
- 2
-
-
作者
李春红
高建华
-
机构
上海师范大学数理信息学院计算机科学与工程系
-
出处
《计算机工程与设计》
CSCD
北大核心
2007年第4期766-769,共4页
-
文摘
在研究经典的模型-视图-控制器(MVC)设计模式和分层模型的基础上,利用分层模型低耦合性的特点改进MVC各个层之间的模糊分割,视图和控制器之间的紧密连接,以及视图、控制器、模型3者之间的紧密耦合等缺点。新的MVC模式分为5层:UI、Service、BO、DO、DA,对UI进行了泛化,用Service层代替了原来的控制层,模型层也进行了具体的细分,并通过抽象类来进行数据传递。改进的MVC模式既能做到用户接口和功能模块的分离,又能使各个部分之间耦合度降低。
-
关键词
软件架构
WEB
模型
视图-控制器
分层模型
STRUTS
-
Keywords
software architecture
web
MVC
layers model
struts
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
-
题名用线性组合模型分析软件可靠性数据
被引量:2
- 3
-
-
作者
张丹
-
机构
上海师范大学数理信息学院计算机科学与工程系
-
出处
《牡丹江师范学院学报(自然科学版)》
2007年第4期9-11,共3页
-
文摘
针对单一模型分析软件可靠性数据存在的不足,对软件可靠性数据的收集进行规范,并提出线性组合模型,解决了软件可靠性数据和可靠性模型的适用性问题,提高了软件可靠性模型评估和预测的精确度,其中DLC模型是目前线性组合模型中的最佳线性组合模型.
-
关键词
软件可靠性数据
软件可靠性模型
线性组合模型
DLC模型
-
分类号
O235
[理学—运筹学与控制论]
-
-
题名一种面向对象测试用例自动生成的混合算法
被引量:7
- 4
-
-
作者
胡岳峰
高建华
-
机构
上海师范大学数理信息学院计算机科学与工程系
-
出处
《计算机应用研究》
CSCD
北大核心
2008年第3期786-788,802,共4页
-
基金
国家自然科学基金资助项目(60673067)
上海市科委自然科学基金资助项目(04ZR14105)
-
文摘
遗传算法(GA)在测试用例生成方面是一种实用的算法,但是其自身也存在的局限性,如过早收敛、优化效率低等问题。通过引入粒子群算法(PSO),使每一个测试用例在局部区域中再次寻找最优值,以此改进整体算法搜索最佳值的能力,避免过早收敛、优化效率低的问题。与此同时,针对面向对象测试的特点,如封装性等,将混合算法进行适当的改进,满足在不同环境中重复使用类的要求。
-
关键词
软件测试
测试数据
遗传算法
粒子群优化
-
Keywords
software testing
test data
genetic algorithm(GA)
particle swarm optimization(PSO)
-
分类号
TP311.56
[自动化与计算机技术—计算机软件与理论]
-
-
题名软件重构中Visitor设计模式和应用
被引量:5
- 5
-
-
作者
殷定媛
高建华
-
机构
上海师范大学数理信息学院计算机科学与工程系
-
出处
《计算机工程与设计》
CSCD
北大核心
2006年第24期4817-4820,共4页
-
文摘
对当前软件重构领域中的研究作了概括性介绍。对作为重构的主导思想和系统体系结构的总体转换方向的设计模式进行介绍,针对原有的Visitor设计模式在运行中操作调用频繁时资源消耗过大和运行效率降低的不足,在原模式基础上进行改良和优化,生成一种新的设计模式Visitor,并对其具体分析,通过操作函数的上移和accept方法的重定义,实现了操作定义由Element层到Visitor层的等价转化,大大节省资源和提高运行效率。最后运用Visitor实现了一个面向对象设计过程中的重构,并结合一些重要概念对其进行具体分析。
-
关键词
重构技术
形式化方法
重构工具
设计模式
类层次体系架构
-
Keywords
refactoring techniques
formalisms for refactoring
refactoring tools
design pattern
class hierarchy architecture
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名面向对象软件开发过程中演化阶段的分类法
- 6
-
-
作者
朱劼
高建华
-
机构
上海师范大学数理信息学院计算机科学与工程系
-
出处
《计算机工程与设计》
CSCD
北大核心
2008年第4期789-793,811,共6页
-
基金
国家自然科学基金项目(60673067)
上海市科委自然科学基金项目(04ZR14105)
-
文摘
从逻辑设计的角度,研究了一种分类方法,用于对面向对象软件系统的演化过程进行分类。该方法基于UML区分算法,将系统的一系列相邻版本的源代码所对应的逻辑设计UML类模型进行比较,产生一组描述两个版本之间结构层面上所发生修改的变化记录。从系统中每一个独立的类的角度进行分析,为每一个类生成一个演化雏形。使用该分类方法将每个类的演化雏形高层次地抽象为若干独立的演化阶段。
-
关键词
区分
演化
演化阶段
逆向软件工程
重构
-
Keywords
differencing
evolution
evolution phases
reverse engineering
restructuring
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名用于测试的SA动态模型生成方法
- 7
-
-
作者
顾燕萍
高建华
-
机构
上海师范大学数理信息学院计算机科学与工程系
-
出处
《计算机技术与发展》
2006年第8期100-102,共3页
-
文摘
SA(软件体系结构)的动态性描述在基于软件体系结构的一致性测试中是非常关键的一步。许多软件体系结构描述语言是利用带标号的转换系统(LTS)来模拟软件体系结构动态性的,利用LTS作为软件体系结构动态性模型并从中选取测试序列。通过实例研究了两种体系结构描述语言及其分别向动态模型LTS转变的过程。
-
关键词
带标号的转换系统
有限状态过程
化学抽象机
软件体系结构动态性描述
测试序列
-
Keywords
LTS
FSP
CHAM
SA dynamics description
test sequences
-
分类号
TP31
[自动化与计算机技术—计算机软件与理论]
-