您的位置: 专家智库 > >

上海师范大学数理信息学院计算机科学与技术系

作品数:9 被引量:45H指数:4
相关作者:朱劼李春红更多>>
相关机构:福建工程学院机电及自动化工程系南昌大学建筑工程学院工程力学研究所南昌大学建筑工程学院更多>>
发文基金:国家自然科学基金上海市自然科学基金福建省自然科学基金更多>>
相关领域:自动化与计算机技术理学建筑科学更多>>

文献类型

  • 8篇期刊文章
  • 1篇会议论文

领域

  • 7篇自动化与计算...
  • 2篇理学
  • 1篇建筑科学

主题

  • 2篇软件可靠性模...
  • 2篇可靠性
  • 2篇可靠性数据
  • 2篇分析软件
  • 2篇标号
  • 1篇动力系统
  • 1篇动力学行为
  • 1篇动力学行为分...
  • 1篇动态模型
  • 1篇形式化
  • 1篇形式化方法
  • 1篇粘弹性
  • 1篇中厚板
  • 1篇软件测试
  • 1篇软件架构
  • 1篇软件体系结构
  • 1篇设计架构
  • 1篇设计模式
  • 1篇体系结构
  • 1篇子群

机构

  • 9篇上海师范大学
  • 1篇福建工程学院
  • 1篇南昌大学

作者

  • 7篇高建华
  • 2篇张丹
  • 2篇顾燕萍
  • 1篇胡岳峰
  • 1篇朱媛媛
  • 1篇朱劼
  • 1篇盛冬发
  • 1篇李春红

传媒

  • 4篇计算机工程与...
  • 1篇牡丹江师范学...
  • 1篇计算机应用研...
  • 1篇动力学与控制...
  • 1篇计算机技术与...
  • 1篇第十二届全国...

年份

  • 2篇2008
  • 4篇2007
  • 2篇2006
  • 1篇2005
9 条 记 录,以下是 1-9
排序方式:
一种面向对象测试用例自动生成的混合算法被引量:9
2008年
遗传算法(GA)在测试用例生成方面是一种实用的算法,但是其自身也存在的局限性,如过早收敛、优化效率低等问题。通过引入粒子群算法(PSO),使每一个测试用例在局部区域中再次寻找最优值,以此改进整体算法搜索最佳值的能力,避免过早收敛、优化效率低的问题。与此同时,针对面向对象测试的特点,如封装性等,将混合算法进行适当的改进,满足在不同环境中重复使用类的要求。
胡岳峰高建华
关键词:软件测试测试数据粒子群优化
几何非线性损伤粘弹性中厚板的动力学行为分析被引量:4
2005年
根据Timoshenko几何变形假设和Boltzmann叠加原理,推导出控制损伤粘弹性Timoshenko中厚板的非线性动力方程以及简化的Galerkin截断方程组;然后利用非线性动力系统中的数值方法求解了简化方程组.通过分析可知,板在谐载荷的作用下,具有非常丰富的动力学特性.同时研究了板的几何参数、材料参数及载荷参数对损伤粘弹性中厚板动力学行为的影响.
盛冬发朱媛媛
关键词:中厚板非线性动力系统混沌
优于单一模型分析软件可靠性数据的方法
在分析软件可靠性数据特点以及可靠性数据收集的基础上,发现单一模型分析软件可靠性数据存在的不足,提出了线性组合模型,它是对模型的结果分配权值并进行线性组合,最大的特点是能够提高软件可靠性模型评估和预测的精确度。实验表明,D...
张丹高建华
关键词:软件可靠性模型
文献传递
软件重构中Visitor设计模式和应用被引量:7
2006年
对当前软件重构领域中的研究作了概括性介绍。对作为重构的主导思想和系统体系结构的总体转换方向的设计模式进行介绍,针对原有的Visitor设计模式在运行中操作调用频繁时资源消耗过大和运行效率降低的不足,在原模式基础上进行改良和优化,生成一种新的设计模式Visitor,并对其具体分析,通过操作函数的上移和accept方法的重定义,实现了操作定义由Element层到Visitor层的等价转化,大大节省资源和提高运行效率。最后运用Visitor实现了一个面向对象设计过程中的重构,并结合一些重要概念对其进行具体分析。
殷定媛高建华
关键词:形式化方法设计模式
用线性组合模型分析软件可靠性数据被引量:2
2007年
针对单一模型分析软件可靠性数据存在的不足,对软件可靠性数据的收集进行规范,并提出线性组合模型,解决了软件可靠性数据和可靠性模型的适用性问题,提高了软件可靠性模型评估和预测的精确度,其中DLC模型是目前线性组合模型中的最佳线性组合模型.
张丹
关键词:软件可靠性模型
软件体系结构动态模型描述及其测试中的应用
2007年
软件体系结构的动态性描述在基于软件体系结构的一致性测试中是非常关键的一步。为了较为方便恰当地描述软件体系结构的动态性,通过对软件体系结构描述语言研究,利用带标号的转换系统来模拟软件体系结构的动态性,把带标号的转换系统作为软件体系结构动态性模型并从中选取测试序列进行测试,并通过具体实例给出了带标号转换系统这一动态模型的导出过程及利用此动态模型进行一致性测试的方法。
顾燕萍高建华
面向对象软件开发过程中演化阶段的分类法
2008年
从逻辑设计的角度,研究了一种分类方法,用于对面向对象软件系统的演化过程进行分类。该方法基于UML区分算法,将系统的一系列相邻版本的源代码所对应的逻辑设计UML类模型进行比较,产生一组描述两个版本之间结构层面上所发生修改的变化记录。从系统中每一个独立的类的角度进行分析,为每一个类生成一个演化雏形。使用该分类方法将每个类的演化雏形高层次地抽象为若干独立的演化阶段。
朱劼高建华
用于测试的SA动态模型生成方法
2006年
SA(软件体系结构)的动态性描述在基于软件体系结构的一致性测试中是非常关键的一步。许多软件体系结构描述语言是利用带标号的转换系统(LTS)来模拟软件体系结构动态性的,利用LTS作为软件体系结构动态性模型并从中选取测试序列。通过实例研究了两种体系结构描述语言及其分别向动态模型LTS转变的过程。
顾燕萍高建华
关键词:化学抽象机
使用分层模型改进MVC设计架构被引量:23
2007年
在研究经典的模型-视图-控制器(MVC)设计模式和分层模型的基础上,利用分层模型低耦合性的特点改进MVC各个层之间的模糊分割,视图和控制器之间的紧密连接,以及视图、控制器、模型3者之间的紧密耦合等缺点。新的MVC模式分为5层:UI、Service、BO、DO、DA,对UI进行了泛化,用Service层代替了原来的控制层,模型层也进行了具体的细分,并通过抽象类来进行数据传递。改进的MVC模式既能做到用户接口和功能模块的分离,又能使各个部分之间耦合度降低。
李春红高建华
关键词:软件架构WEBSTRUTS
共1页<1>
聚类工具0