雷晏
- 作品数：10 被引量：3H指数：1
- 供职机构：中国人民解放军后勤工程学院更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于UML的可信概念模型
- 随着计算机在国民经济和国防领域中的广泛应用,可信性质已经成为评价计算机系统非功能性的重要指标.从形式化表示机制的角度,本文应用UML语言建立了计算机系统的可信概念模型.首先给出了可信概念的高层次抽象UML类图,然后分别描...
- 王承松毛晓光雷晏王燕妮
- 关键词：高可信UML
- 文献传递
- 面向自动修复并融合失效场景的缺陷定位方法
- 2015年
- 为了应对日益增长的软件修复开销,研究高效的软件自动修复技术成为学术界和工业界的共识。缺陷定位作为自动修复技术的前端,是实现快速准确自动修复的关键,其精度直接影响自动修复的性能。然而,初步研究表明,现有缺陷定位技术缺乏对自修复需求的考虑,对自修复算法支持有限。有必要研究面向自修复的高精度自动化缺陷定位技术,以提升自修复性能。因此,提出了失效场景的缺陷定位方法来应对该问题。提出的方法首先采用程序切片技术,构造出与失效相关的场景;然后对失效场景的各个元素实施可疑值度量;最后将可疑值度量化的场景交给自动修复技术实施修复。初步实验结果表明,本缺陷定位方法能有效提升自动修复性能。
- 李昂毛晓光雷晏
- 关键词：程序切片
- 方面单元测试框架的设计与实现被引量：1
- 2009年
- 缺乏成熟的方面测试和方面冲突检测技术是阻碍面向方面软件编程大规模应用的瓶颈性问题。针对方面单元测试,提出了无需与基模块编织的方面单元的独立测试框架AJUnit。该框架运用Java注释和源码与字节码映射等技术实现编译细节的透明化。基于控制流和数据流分析,AJUnit综合运用随机测试数据生成、相对测试充分性准则的优化和指定路径的测试数据生成等技术实现测试过程的自动化。文中也介绍了以AJUnit为基础的方面单元测试工具的设计和实现。
- 陈凌鹤毛晓光雷晏王承松
- 关键词：面向方面软件
- 基于迭代反馈的缺陷定位技术研究
- 由于软件规模和复杂性的不断增大,没有缺陷的软件是几乎不可能存在的。调试就是找到和排除故障,它对提高软件质量有着重要作用。缺陷定位是调试中十分重要的一个步骤,然而它也是最枯燥、最困难、最耗费资源的一步。为了降低调试的花销,...
- 雷晏
- 关键词：程序信息
- 文献传递
- 基于频谱的缺陷定位技术:逆向切片优于执行切片
- 2015年
- 一般情况下,缺陷定位技术的应用前提是必须存在测试预言,以判断测试用例的运行结果是失败或者成功,否则将无法使用。然而,在许多实际情况下,测试预言不存在或者很难定义,这就是著名的"预言家难题"。为了应对"预言家难题",利用蜕变测试,扩充了采用逆向切片基于频谱的缺陷定位技术的方法学,实现了其在无测试预言下的有效应用。基于上述研究,进一步对比了SFL技术中执行切片与逆向切片的缺陷定位能力。实验表明,在有测试预言和无测试预言两种情况下,逆向切片比执行切片具有更强的缺陷定位能力,并且公式GP19和ER1’相比于其他公式,更有可能达到最优结果。
- 雷晏毛晓光陈宗岳
- 基于关联性分析的缺陷定位技术研究
- 缺陷定位作为软件调试过程中的关键活动，对于提升软件调试效率以及软件质量有着重要意义。学术界和工业界多年来一直致力于研究出高效缺陷定位技术，取得了不少进展。由于软件缺陷作用机理的复杂性，目前缺陷定位仍然面临很大挑战，定位精...
- 雷晏
- 关键词：关联性分析测试用例生成
- 基于AOP技术的软件性质监控框架被引量：1
- 2010年
- 针对软件运行时可信保障存在的相关问题,提出了基于AOP技术的软件性质监控框架。本框架使用OCL(Object Constraint Language)和UML Profile的SPT(Schedulability,Performance and Time)规范实现了软件性质在模型上的描述,基于描述并独立于被监控软件自动生成监控方面,将监控方面编织入被监控软件,从而使被监控软件具有运行时软件性质监控能力。
- 雷晏毛晓光王承松
- 关键词：对象约束语言面向方面编程
- 一种基于性质规约模式的软件运行时性质监测方法
- 本发明公开了一种基于性质规约模式的软件运行时性质监测方法，目的是提供一种有利于故障发现和诊断的软件运行时性质监测方法。技术方案是将软件运行时性质监测需求划分为多种性质规约模式，为每种性质规约模式构造一个性质规约模版；提取...
- 毛晓光吴海亮万小敏代子营王瑞王承松雷晏王燕妮
- 文献传递
- 基于UML的可信概念模型
- 2010年
- 随着计算机在国民经济和国防领域中的广泛应用,可信性质已经成为评价计算机系统非功能性的重要指标.从形式化表示机制的角度,应用UML语言建立了计算机系统的可信概念模型.首先给出了可信概念的高层次抽象UML类图,然后分别描述了可信性质、可信威胁和可信保障技术的UML模型,其中重点介绍了系统失效机理和系统容错技术的概念模型.最后,指出以UML为基础的软件可信技术有可能成为开发高可信性计算机系统的发展趋势.
- 王承松毛晓光雷晏王燕妮
- 关键词：高可信UML
- 一种基于性质规约模式的软件运行时性质监测方法
- 本发明公开了一种基于性质规约模式的软件运行时性质监测方法，目的是提供一种有利于故障发现和诊断的软件运行时性质监测方法。技术方案是将软件运行时性质监测需求划分为多种性质规约模式，为每种性质规约模式构造一个性质规约模版；提取...
- 毛晓光吴海亮万小敏代子营王瑞王承松雷晏王燕妮
