雷志翔
- 作品数:6 被引量:26H指数:3
- 供职机构:华中师范大学计算机学院计算机科学系更多>>
- 发文基金:国防科技技术预先研究基金湖北省自然科学基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 构件中非法除故障的容错性检测方法研究
- 2008年
- 提出了通过向构件中关键位置注入故障的方式来判定构件的容错性能。实践表明,该方法将有效地检测构件的容错能力。
- 叶俊民叶焰锋雷志翔贺鹏程张红春
- 数组越界的故障模型及其检测方法研究被引量:11
- 2007年
- 数组越界是C程序中的常见故障,该类故障可能造成系统的崩溃。首先针对常见的数组越界故障进行了分析,提出了检测数组越界的判定准则,建立了故障模型。根据该故障模型,采用程序控制流图和路径条件,并结合静态分析思想,给出了可有效地检测出程序中存在的数组越界故障的方法。最后通过实例分析了该方法的应用过程。
- 叶焰锋叶俊民詹泽梅雷志翔
- 关键词:软件测试数组越界
- 基于构件组装的应用软件开发过程研究被引量:10
- 2008年
- 基于构件的软件开发方法是目前一种流行的软件生产技术,其核心围绕着构件的开发与组装技术。但如何结合实际应用要求实施基于构件组装的软件开发过程是一个值得进一步研究的课题。为此,根据基于构件的软件组装技术的概念和原理,提出一种应用系统组装框架,从软件体系结构的角度研究了构件的开发与组装方法,并将这一技术应用到软件工程网络课堂教学系统的开发上。相关实践活动表明,提出的方法可有效地获得一个适应性强的应用系统。
- 叶俊民陈卓雷志翔叶焰锋詹泽梅
- 关键词:软件体系结构
- 一种改进的相似路径算法及其在故障定位中的应用
- 随着计算机技术的发展,软件与人们的联系越来越密切,软件质量的重要性不言而喻。当软件发生失效后,如何自动定位软件故障是一个非常有意义的研究课题。
本文在程序静态分析、测试路径生成、测试输入数据生成和动态程序切片等...
- 雷志翔
- 关键词:软件故障故障定位程序切片
- 文献传递
- 一种数值溢出故障判定准则研究被引量:1
- 2007年
- 针对数值溢出故障出现概率小、传统测试方法极难检测的特点,提出采用面向故障的测试方法检测数值溢出问题。分析数值溢出故障的故障模型,重点研究数值溢出故障的判定准则,该准则能有效地用于数值溢出故障的检测。
- 詹泽梅叶俊民叶焰锋雷志翔
- 基于Web服务的大型电子商务系统设计研究被引量:5
- 2007年
- 电子商务应用系统的规模已经越来越大了,如何在原有服务的基础之上整合新的服务,将是未来电子商务系统发展的主要方向。分析Web服务的体系结构及其关键技术,提出一种构造通用电子商务系统的设计框架,探讨基于Web服务关键技术的实现,并结合一个电信电子商务系统实例说明实现方案是可行的。
- 雷志翔叶俊民叶焰峰詹泽梅
- 关键词:WEB服务SOA电子商务