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

作品数:10被引量:43H指数:4
导出分析报告
相关作者:伦立军李英梅丁雪梅宋益波孔庆彦更多>>
相关机构:哈尔滨师范大学哈尔滨商业大学哈尔滨工业大学华中科技大学更多>>
相关期刊:《计算机技术与发展》《东北农业大学学报》《计算机工程与应用》《微电子学与计算机》更多>>
相关主题:软件测试测试数据软件体系结构遗传算法面向对象更多>>
相关领域:自动化与计算机技术更多>>
-

检索结果分析

结果分析中...
条 记 录,以下是1-10
视图:
排序:
一种软件体系结构级路径覆盖方法被引量:1
《小型微型计算机系统》2010年第11期2166-2169,共4页伦立军 孔庆彦 孙鹏飞 宋益波 
黑龙江省教育厅科技项目(10541098)资助;黑龙江省教育厅重点学科项目(081203)资助
软件体系结构测试是对构件功能描述和接口描述的测试,是保证基于构件的软件系统质量的重要手段.提出一种新的软件体系结构级路径覆盖方法,用Wright描述软件体系结构并将体系结构配置行为转换成改进的配置行为图表示构件内部计算及外部...
关键词:软件体系结构 软件测试 路径覆盖准则 WRIGHT 改进的配置行为图 
基于π演算的软件体系结构测试技术
《计算机工程》2009年第13期55-57,共3页许慧 伦立军 
黑龙江省教育厅科技基金资助项目(10541098)
针对目前体系结构描述语言对描述软件系统行为方面的不足而难以生成实时测试路径的问题,提出一种基于π演算的软件体系结构测试方法,该方法包括π演算与Petri网结合、构造体系结构模型及测试路径生成算法。实验证明,该算法能够根据测试...
关键词:软件体系结构测试 Π演算 测试准则 测试路径 
一种软件体系结构测试序列生成方法
《小型微型计算机系统》2009年第4期628-631,共4页孔庆彦 伦立军 刘永纯 宋益波 
黑龙江省教育厅科技项目(10541098)资助
软件体系结构在软件开发过程中至关重要,其中任何微小错误都会给软件开发及后期维护带来很大麻烦.本文提出一种软件体系结构测试序列生成方法,首先用化学抽象机描述体系结构,然后生成相应的反应规则依赖图RDG,再根据定义的测试覆盖准则...
关键词:软件体系结构测试 化学抽象机 反应规则依赖图 测试序列 
基于软件体系结构的测试路径生成方法被引量:7
《微电子学与计算机》2008年第1期177-180,共4页赵磊 伦立军 徐士华 
黑龙江省教育厅科技项目(10541098,11511127)
在软件体系结构描述语言Wright的基础上,提出了基于软件体系结构的测试覆盖准则及BG动态行为图,根据BG图构造基于覆盖准则的测试路径,生成测试数据。由此平衡开发成本、进度与质量需求之间的关系,最后以Server/Client结构为例说明该方...
关键词:软件体系结构 测试数据 测试路径 动态行为图 测试覆盖准则 
基于继承图的面向对象软件复杂性度量研究被引量:8
《计算机工程与应用》2006年第27期93-95,共3页伦立军 丁雪梅 李英梅 张翼 
黑龙江省教育厅科技项目(编号:10541098)
面向对象软件开发是一种新的可以减少成本、提高可用性和灵活性的高效的软件系统开发方法。复杂性度量在软件开发中起着非常重要的作用,它可减少整个开发周期的费用,但目前还没有成熟的用于面向对象软件复杂性的度量方法。文章首先通过...
关键词:软件复杂性 复杂性度量 面向对象 继承图 
测试数据自动生成方法被引量:9
《计算机技术与发展》2006年第9期53-55,共3页邢恺 伦立军 
黑龙江省教育厅科技资助项目(10541098)
软件测试是提高软件可靠性、保证软件质量的重要手段,可分为静态分析、路径选择、测试数据生成和动态分析四个阶段,而软件测试过程中的一个重要任务是生成测试数据。文中首先给出了遗传算法的形式化描述,然后提出了遗传算法和函数极小...
关键词:软件测试 测试数据 遗传算法 函数极小化 
测试数据自动生成技术研究被引量:3
《计算机工程与应用》2006年第16期118-120,共3页伦立军 丁雪梅 李英梅 
黑龙江省教育厅科技项目(编号:10541098)
软件测试分为静态分析、路径选择、测试数据生成和动态分析四个阶段,而测试数据的自动生成是软件测试的关键技术之一。文章通过对被测试程序的分析,提出了生成测试数据的平衡力法,对任意的输入变量,判断变量移动范围及进行谓词中变量的...
关键词:软件测试 测试数据 平衡力法 函数极小化 
基于遗传算法的测试数据生成研究被引量:14
《计算机工程》2005年第23期82-84,共3页伦立军 丁雪梅 李英梅 
黑龙江省教育厅科技基金资助项目(10541098);哈尔滨师范大学杰出青年基金资助项目
分析了软件测试的相关概念,提出了利用控制依赖图路径生成测试数据的方法,给出了一个完整的解决方案,通过具体实例表明其有效性。
关键词:软件测试 测试数据 遗传算法 控制依赖图路径 
面向对象软件测试方法研究被引量:1
《计算机工程与应用》2005年第19期80-82,共3页伦立军 丁雪梅 李英梅 
黑龙江省教育厅科技项目(编号:10541098);哈尔滨师范大学杰出青年基金项目资助
面向对象软件开发是一种新的减少成本、提高可用性、灵活性和高效的软件系统开发方法。软件测试是改善软件质量和正确性的重要技术,但目前还没有成熟的用于面向对象软件开发的测试方法。本文首先通过继承图描述面向对象软件测试方法,然...
关键词:软件测试 面向对象 继承图 单元重复继承 
动态程序切片研究及其应用被引量:1
《东北农业大学学报》2005年第3期397-400,共4页李英梅 伦立军 丁雪梅 
黑龙江省教育厅科技项目(10541098)
动态程序切片根据程序的输入,从源程序删除零条或多条语句,得到对最终结果有潜在影响的源程序子集,可用于程序调试、程序理解、软件测试和软件维护等方面。文章讨论了动态切片基本概念,提出了一种基于动态流的动态切片方法,并讨论了其...
关键词:程序切片 动态切片 切片准则 
检索报告 对象比较 聚类工具 使用帮助 返回顶部