-
题名从UML类图到关系数据库表的代码生成方法
被引量:4
- 1
-
-
作者
顾莹莹
高建华
-
机构
上海师范大学数理信息学院计算机科学与技术系
-
出处
《计算机工程》
CAS
CSCD
北大核心
2005年第10期91-93,共3页
-
基金
上海市曙光计划资助项目(2002SG53)
上海市高校科技发展基金重点资助项目(CL200222)
-
文摘
在介绍代码自动生成技术产生的背景及其应用的基础上,研究从UML类图到关系型数据库表的代码生成方法,其中包括UML类图到关系数据库表之间的映射规范和映射实现方式。最后分析了研究过程中存在的一些问题。
-
关键词
代码生成
映射规范
类图
-
Keywords
Code generation
Mapping specifications
Class diagram
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
-
题名软件体系结构动态模型描述及其测试中的应用
- 2
-
-
作者
顾燕萍
高建华
-
机构
上海师范大学数理信息学院计算机科学与工程系
-
出处
《计算机工程与设计》
CSCD
北大核心
2007年第4期982-984,共3页
-
文摘
软件体系结构的动态性描述在基于软件体系结构的一致性测试中是非常关键的一步。为了较为方便恰当地描述软件体系结构的动态性,通过对软件体系结构描述语言研究,利用带标号的转换系统来模拟软件体系结构的动态性,把带标号的转换系统作为软件体系结构动态性模型并从中选取测试序列进行测试,并通过具体实例给出了带标号转换系统这一动态模型的导出过程及利用此动态模型进行一致性测试的方法。
-
关键词
一致性测试
带标号转换系统
有限状态过程
软件体系结构动态性描述
测试序列
-
Keywords
conformance testing
LTS
FSP
SA dynamics description
test sequences
-
分类号
TP31
[自动化与计算机技术—计算机软件与理论]
-
-
题名使用分层模型改进MVC设计架构
被引量:19
- 3
-
-
作者
李春红
高建华
-
机构
上海师范大学数理信息学院计算机科学与工程系
-
出处
《计算机工程与设计》
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
- 4
-
-
作者
盛冬发
朱媛媛
-
机构
福建工程学院机电及自动化工程系
上海师范大学数理信息学院计算机科学与技术系
南昌大学建筑工程学院工程力学研究所
-
出处
《动力学与控制学报》
2005年第4期50-59,共10页
-
基金
国家自然科学基金(10272069)
+1 种基金
福建省自然科学基金(Z0511045)
江西省高等学校科技研究([2005]17号)资助项目~~
-
文摘
根据Timoshenko几何变形假设和Boltzmann叠加原理,推导出控制损伤粘弹性Timoshenko中厚板的非线性动力方程以及简化的Galerkin截断方程组;然后利用非线性动力系统中的数值方法求解了简化方程组.通过分析可知,板在谐载荷的作用下,具有非常丰富的动力学特性.同时研究了板的几何参数、材料参数及载荷参数对损伤粘弹性中厚板动力学行为的影响.
-
关键词
损伤粘弹性固体
中厚板
几何非线性
非线性动力系统
分义
混沌
-
Keywords
viscoelastic solid with damage, thick plate, geometrical non-linearity, nonlinear dynamic system, bifurcation, chaos
-
分类号
O345
[理学—固体力学]
TU32
[建筑科学—结构工程]
-
-
题名用线性组合模型分析软件可靠性数据
被引量:2
- 5
-
-
作者
张丹
-
机构
上海师范大学数理信息学院计算机科学与工程系
-
出处
《牡丹江师范学院学报(自然科学版)》
2007年第4期9-11,共3页
-
文摘
针对单一模型分析软件可靠性数据存在的不足,对软件可靠性数据的收集进行规范,并提出线性组合模型,解决了软件可靠性数据和可靠性模型的适用性问题,提高了软件可靠性模型评估和预测的精确度,其中DLC模型是目前线性组合模型中的最佳线性组合模型.
-
关键词
软件可靠性数据
软件可靠性模型
线性组合模型
DLC模型
-
分类号
O235
[理学—运筹学与控制论]
-
-
题名一种面向对象测试用例自动生成的混合算法
被引量:7
- 6
-
-
作者
胡岳峰
高建华
-
机构
上海师范大学数理信息学院计算机科学与工程系
-
出处
《计算机应用研究》
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
- 7
-
-
作者
殷定媛
高建华
-
机构
上海师范大学数理信息学院计算机科学与工程系
-
出处
《计算机工程与设计》
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
[自动化与计算机技术—计算机软件与理论]
-
-
题名面向对象软件开发过程中演化阶段的分类法
- 8
-
-
作者
朱劼
高建华
-
机构
上海师范大学数理信息学院计算机科学与工程系
-
出处
《计算机工程与设计》
CSCD
北大核心
2008年第4期789-793,811,共6页
-
基金
国家自然科学基金项目(60673067)
上海市科委自然科学基金项目(04ZR14105)
-
文摘
从逻辑设计的角度,研究了一种分类方法,用于对面向对象软件系统的演化过程进行分类。该方法基于UML区分算法,将系统的一系列相邻版本的源代码所对应的逻辑设计UML类模型进行比较,产生一组描述两个版本之间结构层面上所发生修改的变化记录。从系统中每一个独立的类的角度进行分析,为每一个类生成一个演化雏形。使用该分类方法将每个类的演化雏形高层次地抽象为若干独立的演化阶段。
-
关键词
区分
演化
演化阶段
逆向软件工程
重构
-
Keywords
differencing
evolution
evolution phases
reverse engineering
restructuring
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名用于测试的SA动态模型生成方法
- 9
-
-
作者
顾燕萍
高建华
-
机构
上海师范大学数理信息学院计算机科学与工程系
-
出处
《计算机技术与发展》
2006年第8期100-102,共3页
-
文摘
SA(软件体系结构)的动态性描述在基于软件体系结构的一致性测试中是非常关键的一步。许多软件体系结构描述语言是利用带标号的转换系统(LTS)来模拟软件体系结构动态性的,利用LTS作为软件体系结构动态性模型并从中选取测试序列。通过实例研究了两种体系结构描述语言及其分别向动态模型LTS转变的过程。
-
关键词
带标号的转换系统
有限状态过程
化学抽象机
软件体系结构动态性描述
测试序列
-
Keywords
LTS
FSP
CHAM
SA dynamics description
test sequences
-
分类号
TP31
[自动化与计算机技术—计算机软件与理论]
-