基于XML的测试用例自动生成方法

提出一种基于XML描述的测试用例自动生成方法:采用XML语言来描述报文接口信息,根据域测试策略生成域测试表,通过组合覆盖生成算法生成最终的测试用例包.该方法产生的测试用例具有数量少、能实现报文接口的最大限度覆盖的特点,从而在保证软件质量的同时,降低成本,提高效率.     

Utilization of a systemic business process re-engineering method as a tool to improve software process quality

This paper suggests that a software process can be viewed as an instance of a business process. Therefore software process improvement might be achieved by applying the concepts of Business Process Re-engineering (BPR). BPR is introduced and the recent work of Jacobson, using object-oriented concepts to construct a BPR framework, is described. The paper critiques Jacobson's approach as being essentially reductionist, and presents an alternative approach, State-Behaviour Modelling (SBM), that utilizes systems principles in the analysis of problem situations, while generating object models. The application of SMB to model and improve a component of a software development process, is presented.     

浅谈药品检验所管理系统的安全维护

药品检验所管理系统现已经成为保障药品检验所正常运转不可缺少的一部分。本文现结合药品检验所管理系统的实际,从硬件系统的安全维护、软件系统的安全维护及网络用户的安全维护等方面简要介绍了药品检验所管理系统安全维护的相关措施。     

节水灌溉微机远程控制系统的设计

介绍一种采用组态软件实现计算机控制的节水灌溉自动控制系统的设计方案，利用PC机通过485总线远程控制灌区的电磁阀，实现各种灌溉方式。所用灌溉事件自动插入数据库，并自动形成各种报表，以便对灌溉数据进行统计分析。本系统应用于省级节水灌溉示范项目。     

基于ODBC技术实现iFIX组态软件与关系数据库Access的通信

介绍了用ODBC技术实现iFIX组态软件与关系数据库Access通信的原理和方法,增强了iFIX报表制作的功能,并给出了在某工程中的应用实例。     

降低软件项目风险的方法研究

在分析软件项目风险成因的基础上,对项目管理中的风险分析、风险管理进行了详细的研究,提出了软件项目风险的量化管理和降低软件项目风险性的方法。该方法有助于软件项目管理者更好地理解潜在的主要风险因素,从而进行更好的风险管理。     

递归Prolog程序的正确性证明

本文提出了一种称为Ｐｒｏ图的图形方法,并用该图形方法进行了递归Ｐｒｏｌｏｇ程序的正确性证明,文中包括Ｐｒｏ图的基本概念及生成规则,Ｐｒｏ图上各节点的的关系,Ｐｒｏ图的激活过程,并给出了着急递归程序正确性证明的公理和定理。     

软件可靠性预测中不同核函数的预测能力评估

基于核函数回归估计理论的软件可靠性预测建模引起诸多研究者的兴趣.此类研究中,核函数选择问题尤为重要.然而目前还很少有针对所给软件失效数据进行核函数选择或者构建核函数的工作.在14个常用软件失效数据集上应用配对t-检验对基于核函数理论的软件可靠性预测模型中核函数选择问题进行研究.使用的核函数回归估计方法包括核主成分回归算法、核偏最小二乘回归算法、支持向量回归算法、相关向量回归算法;核函数包括高斯核函数、线性核函数、多项式核函数、柯西核函数、拉普拉斯核函数、对称三角核函数、双曲正割核函数、平方正弦基核函数.实验结果表明:不同类型的核函数在不同数据集上表现差异较大,高斯核函数在所有数据集上表现较为稳定,预测结果最好.     

C反编译控制流恢复的形式描述及算法

反编译是软件逆向工程的重要组成部分。控制流恢复是Ｃ反编译的重要组成部分。本文首先描述了验证反编译结果与原程序功能等价的模型；其次从数学角度提出了Ｃ编译和反编译控制结构的数学模型并给出其性质；再次根据对Ｃ控制语句编译结果的分析，以扩展的ＢＮＦ形式描述了Ｃ控制语句反编译的约束属性方法；最后给出并说明了反编译控制流恢复的算法及其运行示例。     

基于组件的软件可靠性模型

首先对不同的软件体系结构描述语言（ADL）进行分析，找出体系结构的共性，用抽象代数和一代阶逻辑理论对组件，连接器和软件体系结构的属性和动态行为进行讨论和描述，探讨不同连接形式下的软件体系结构，给出基于组件的软件可靠性模型，在此模型基础上，对基于组件的软件系统的可靠性计算模型进行研究，提出一种半Markov模型，并在理论上证明该模型的可用性，最后通过CORBA应用系统说明该可靠性模型在系统设计和可靠性计算方面的应用。