数组越界的故障模型及其检测方法研究

数组越界是C程序中的常见故障，该类故障可能造成系统的崩溃。首先针对常见的数组越界故障进行了分析，提出了检测数组越界的判定准则，建立了故障模型。根据该故障模型，采用程序控制流图和路径条件，并结合静态分析思想，给出了可有效地检测出程序中存在的数组越界故障的方法。最后通过实例分析了该方法的应用过程。     

一种覆盖测试中路径集的自动生成方法

覆盖测试是软件测试中的重要方法,路径覆盖测试中路径集的自动生成能提高测试效率。该文提出了一种描述程序分支情况的分支关系图,给出了基于分支关系图的路径集自动生成算法,实验证明了该方法的正确性,能有效地求出程序路径集。     

基于构件组装的应用软件开发过程研究*

基于构件的软件开发方法是目前一种流行的软件生产技术,其核心围绕着构件的开发与组装技术。但如何结合实际应用要求实施基于构件组装的软件开发过程是一个值得进一步研究的课题。为此,根据基于构件的软件组装技术的概念和原理,提出一种应用系统组装框架,从软件体系结构的角度研究了构件的开发与组装方法,并将这一技术应用到软件工程网络课堂教学系统的开发上。相关实践活动表明,提出的方法可有效地获得一个适应性强的应用系统。     

基于SOA高校人力资源管理系统的设计与实现

高校人力资源管理系统是一个综合信息系统,系统信息来源于不同平台的部门系统.面向服务的体系结构是一种粗粒度、松耦合的服务架构,不涉及底层编程接口和通讯模型.现分析了SOA架构系统的实现技术,提出了一种基于Web服务的集成框架,给出了基于SOA的高校人力资源管理系统的实现方法.     

一种数值溢出故障判定准则研究

针对数值溢出故障出现概率小、传统测试方法极难检测的特点,提出采用面向故障的测试方法检测数值溢出问题。分析数值溢出故障的故障模型,重点研究数值溢出故障的判定准则,该准则能有效地用于数值溢出故障的检测。     

一种覆盖测试中路径集的自动生成方法

覆盖测试是软件测试中的重要方法,路径覆盖测试中路径集的自动生成能提高测试效率。该文提出了一种描述程序分支情况的分支关系图,给出了基于分支关系图的路径集自动生成算法,实验证明了该方法的正确性,能有效地求出程序路径集。     

基于Web服务的大型电子商务系统设计研究

电子商务应用系统的规模已经越来越大了,如何在原有服务的基础之上整合新的服务,将是未来电子商务系统发展的主要方向.分析Web服务的体系结构及其关键技术,提出一种构造通用电子商务系统的设计框架,探讨基于Web服务关键技术的实现,并结合一个电信电子商务系统实例说明实现方案是可行的.