[发明专利]一种基于面向组件模型的软件构建及验证的方法

说明书

技术领域

本发明涉及软件工程技术兼容性领域，具体涉及一种基于面向组件模型的软件构建及验证的方法。 

背景技术

COM是一个可以用于构造软件组件的模型。它由微软提出并发布,在数十年的时间内不断成长,到目前为止,COM技术已经和JavaBeans、CORBA一起被并称为组件开发的三大标准。COM具有构件开发语言的无关性、跨平台性、构件运行位置和进程透明性、组件配置灵活性和运行安全性等特性,而且它有流行的开发环境支持(如VC、VB、Delphi等),对比其他组件技术,COM开发过程简单,容易人手,这些因素使得COM成为当前广受欢迎的组件开发技术之一。 

在COM组件模型中,接口是最为重要的概念,在整个应用系统中起决性作用,外界和组件方所有的交互都通过接口实现,因此接口设计的优劣直接影响组件的质量。良好的接口的设计有利于提高组件的可用性、可理解性,有利于软件的维护、扩展和重用。不合理的设计则会导致组件难于理解、难于选择,从而影响整个软件的可靠性。 

软件的验证在许多领域中都有着广泛的应用，比如维护系统安全、信息犯罪记录以及海量信息比对和查阅等，都需要进行大量的软件验证工作。在验证活动中必须回答以下问题:1）通过评审到底能发现多少缺陷;2）有多少缺陷是在评审过程中发现的,又有多少是在后面的确认测试中发现的;3）有多大比例的缺陷留到了测试结束,由客户发现的。 

需求验证最可能为软件开发节省成本。它可以检测出许多缺陷,否则这些缺陷会进入开发周期的后期,那时再纠正缺陷代价就要高多了,问题转移到了下游阶段。实际上50%以上的缺陷都是在需求阶段引入的。验证的效果总的来说要高于确认测试。它可以发现一些在确认测试过程中几乎不可能检测出来的缺陷。最重要的是,利用验证可以尽早发现和检测出缺陷。 

基于COM的软件验证技术是从组件构建方法中发展起来的新型软件验证技术，它是一种把动态链接库当作检测和传递信息的手段或载体而加以利用的验证方法，通过比对相同源代码在不同系统中的运行输出，最终从比对结果中获取被测对象的实际信息。基于COM的验证技术具有高精度、稳定性好、普遍性高等特点，若再结合脚本编程控制技术，可构成自动化、智能化程度较高的实用在线软件验证系统。目前，通过多平台的多次运行同一软件，提取软件运行结果的特征参数，如运行时间、占用内存空间大小、输出稳定性等，进行软件的验证已经受到了广泛关注。软件兼容性高度作为软件的重要特征之一，利用基于COM的验证技术对其进行多平台兼容性验证在某些应用场合具有十分重要的意义。 

基于COM的软件兼容性验证主要有两类，一类是应用传统验证方式，依据正常设计过程、设计并编写待测试软件，将成品提供给客户使用，进而多方位、多次数的提取用户反馈信息，然后根据反馈信息做有一定针对性的软件验证和修改。完成一轮使用、反馈、修改后，拿出成品再次进入下一轮的使用验证循环。另外一种方法是直接应用待验证的软甲成品在开发技术组中进行验证。与经典的基于循环验证的方法相比，这种不仅避免了验证周期长的问题，而且在产品提交客户前即可做充分验证，这样使得客户不用承担软件重大漏洞的责任，整个验证过程更方便。因此基于COM的软件验证方法是计算机软件验证领域的一个重要发展方向。由于单一软件验证环境不能提供足够的平台兼容性信息，所以必须提供与平台兼容性相关的动态链接库等的已知信息。通常，需要要在验证过程中使用已被广泛论证过的成熟动态链接库，如标准库模板。 

发明内容

本发明要解决的技术问题是提供一种基于面向组件模型的软件构建及验证的方法，使得能够方便地、准确地验证软件在不同系统中的兼容性。 

为了实现发明的目的，本发明采用的技术方案如下： 

本发明提供一种基于面向组件模型的软件构建及验证的方法，包括： 

在至少两种开发平台中准备各自适用的动态链接库源码； 

编写待验证软件源代码，作为验证原本； 

在Linux系统中编写适用于Linux平台的动态链接库程序，形成动态链接库，后缀为.so的文件； 

在Windows系统中编写适用于Windows平台的动态链接库程序，形成动态链接库，后缀为.dll的文件； 

使用待验证程序源代码分别动态链接上述得到的对应平台的动态链接库，保证源代码的唯一性，使用COM的动态特性，分别运行，并分别得到运行结果的文本文件； 

上述技术方案可以看出，本发明具有以下优点： 

1）设备简单，仅需要安装有基本的系统环境即可工作。