您的位置: 专家智库 > >

黑龙江省教育厅科学技术研究项目(10541098)

作品数:10 被引量:60H指数:4
相关作者:伦立军李英梅丁雪梅宋益波孔庆彦更多>>
相关机构:哈尔滨师范大学哈尔滨商业大学哈尔滨工业大学更多>>
发文基金:黑龙江省教育厅科学技术研究项目更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 10篇中文期刊文章

领域

  • 10篇自动化与计算...

主题

  • 5篇软件测试
  • 4篇软件体系结构
  • 4篇体系结构
  • 4篇测试数据
  • 2篇遗传算法
  • 2篇自动生成
  • 2篇面向对象
  • 1篇动态程序切片
  • 1篇动态切片
  • 1篇数据自动生成
  • 1篇自动生成方法
  • 1篇面向对象软件
  • 1篇化学抽象机
  • 1篇基于遗传算法
  • 1篇Π演算
  • 1篇WRIGHT
  • 1篇测试覆盖准则
  • 1篇测试技术
  • 1篇测试数据自动...
  • 1篇程序切片

机构

  • 10篇哈尔滨师范大...
  • 2篇哈尔滨工业大...
  • 2篇哈尔滨商业大...
  • 1篇哈尔滨工程大...
  • 1篇华中科技大学
  • 1篇黑龙江司法警...

作者

  • 10篇伦立军
  • 5篇丁雪梅
  • 5篇李英梅
  • 2篇孔庆彦
  • 2篇宋益波
  • 1篇刘永纯
  • 1篇邢恺
  • 1篇孙鹏飞
  • 1篇徐士华
  • 1篇赵磊
  • 1篇张翼
  • 1篇许慧

传媒

  • 3篇计算机工程与...
  • 2篇计算机工程
  • 2篇小型微型计算...
  • 1篇微电子学与计...
  • 1篇东北农业大学...
  • 1篇计算机技术与...

年份

  • 1篇2010
  • 2篇2009
  • 1篇2008
  • 3篇2006
  • 3篇2005
10 条 记 录,以下是 1-10
排序方式:
一种软件体系结构级路径覆盖方法被引量:1
2010年
软件体系结构测试是对构件功能描述和接口描述的测试,是保证基于构件的软件系统质量的重要手段.提出一种新的软件体系结构级路径覆盖方法,用Wright描述软件体系结构并将体系结构配置行为转换成改进的配置行为图表示构件内部计算及外部迁移信息,根据构件连接路径覆盖准则C_CPC和构件连接路径覆盖生成算法F indC_CPaths,生成相应的测试路径.基于此设想实现了工具WTPT,通过实验及其分析表明了算法的正确性和有效性.最后对构件连接路径覆盖准则进行评估,评估结果为应用该覆盖准则提供了理论依据.
伦立军孔庆彦孙鹏飞宋益波
关键词:软件体系结构软件测试WRIGHT
测试数据自动生成方法被引量:12
2006年
软件测试是提高软件可靠性、保证软件质量的重要手段,可分为静态分析、路径选择、测试数据生成和动态分析四个阶段,而软件测试过程中的一个重要任务是生成测试数据。文中首先给出了遗传算法的形式化描述,然后提出了遗传算法和函数极小化相结合的方法自动生成测试数据,并通过具体实例表明其有效性。
邢恺伦立军
关键词:软件测试测试数据遗传算法
一种软件体系结构测试序列生成方法
2009年
软件体系结构在软件开发过程中至关重要,其中任何微小错误都会给软件开发及后期维护带来很大麻烦.本文提出一种软件体系结构测试序列生成方法,首先用化学抽象机描述体系结构,然后生成相应的反应规则依赖图RDG,再根据定义的测试覆盖准则及测试序列生成算法,产生软件体系结构测试序列,最后以客户机/服务器体系结构实例说明了导出RDG及生成测试序列的过程.
孔庆彦伦立军刘永纯宋益波
关键词:化学抽象机
基于软件体系结构的测试路径生成方法被引量:7
2008年
在软件体系结构描述语言Wright的基础上,提出了基于软件体系结构的测试覆盖准则及BG动态行为图,根据BG图构造基于覆盖准则的测试路径,生成测试数据。由此平衡开发成本、进度与质量需求之间的关系,最后以Server/Client结构为例说明该方法是适用的。
赵磊伦立军徐士华
关键词:软件体系结构测试数据测试覆盖准则
基于继承图的面向对象软件复杂性度量研究被引量:9
2006年
面向对象软件开发是一种新的可以减少成本、提高可用性和灵活性的高效的软件系统开发方法。复杂性度量在软件开发中起着非常重要的作用,它可减少整个开发周期的费用,但目前还没有成熟的用于面向对象软件复杂性的度量方法。文章首先通过继承图描述面向对象软件复杂性度量方法,然后讨论了单元重复继承算法,最后给出了具体实例。
伦立军丁雪梅李英梅张翼
关键词:面向对象
面向对象软件测试方法研究被引量:3
2005年
面向对象软件开发是一种新的减少成本、提高可用性、灵活性和高效的软件系统开发方法。软件测试是改善软件质量和正确性的重要技术,但目前还没有成熟的用于面向对象软件开发的测试方法。本文首先通过继承图描述面向对象软件测试方法,然后讨论了单元重复继承算法,该算法的时间复杂性为O(n3),并给出了具体实例,最后提出了继承层次测试方法。
伦立军丁雪梅李英梅
关键词:软件测试面向对象
基于π演算的软件体系结构测试技术被引量:1
2009年
针对目前体系结构描述语言对描述软件系统行为方面的不足而难以生成实时测试路径的问题,提出一种基于π演算的软件体系结构测试方法,该方法包括π演算与Petri网结合、构造体系结构模型及测试路径生成算法。实验证明,该算法能够根据测试覆盖准则生成相应的测试路径,实现体系结构模型的动态性和测试技术的有效性。
许慧伦立军
关键词:Π演算
测试数据自动生成技术研究被引量:4
2006年
软件测试分为静态分析、路径选择、测试数据生成和动态分析四个阶段,而测试数据的自动生成是软件测试的关键技术之一。文章通过对被测试程序的分析,提出了生成测试数据的平衡力法,对任意的输入变量,判断变量移动范围及进行谓词中变量的函数极小化,得到测试数据,并给出了具体实现方法。
伦立军丁雪梅李英梅
关键词:软件测试测试数据
基于遗传算法的测试数据生成研究被引量:20
2005年
分析了软件测试的相关概念,提出了利用控制依赖图路径生成测试数据的方法,给出了一个完整的解决方案,通过具体实例表明其有效性。
伦立军丁雪梅李英梅
关键词:软件测试测试数据遗传算法
动态程序切片研究及其应用被引量:4
2005年
动态程序切片根据程序的输入,从源程序删除零条或多条语句,得到对最终结果有潜在影响的源程序子集,可用于程序调试、程序理解、软件测试和软件维护等方面。文章讨论了动态切片基本概念,提出了一种基于动态流的动态切片方法,并讨论了其在软件测试和程序调试中的应用。
李英梅伦立军丁雪梅
关键词:程序切片动态切片
共1页<1>
聚类工具0