组件规格说明论文_张勇

导读:本文包含了组件规格说明论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:组件,测试,安全性,规格,语言,论文,软件。

组件规格说明论文文献综述

张勇^[1]（2005）在《基于规格说明的组件安全性测试技术研究与实现》一文中研究指出随着计算机技术的迅猛发展，计算机硬件性能越来越高，而相应的软件则越来越庞大、越来越复杂，传统的面向过程的软件开发技术已不能满足软件开发过程对效率和充分利用资源的要求。为了提高软件开发的效率及软件的可靠性，面向对象及组件技术得到广泛应用，已成为当今软件开发技术的主流。组件技术的应用引入了封装和可重用等概念，大大提高了软件开发的效率、降低了软件开发的成本，但同时也增加了软件可靠性和安全性的风险。不可靠或不安全的组件往往成为软件系统中最薄弱的链条，该链条的断裂将导致整个系统的崩溃。因此，组件的可靠性和安全性是系统可靠和安全性的基础。如何提高组件的可靠性和安全性呢?当然这首先是组件设计开发阶段的任务；但由于软件开发的特殊性，软件缺陷不可避免，因此在软件开发过程中积极有效地实施软件测试就尤为重要。软件测试技术繁杂，有基于程序源代码分析的、基于程序规格说明的，也有基于程序运行状态的，同时也形成了一些比较先进的理论及模式。组件测试则是随着基于组件的软件开发技术的出现而产生的软件测试技术，其与一般的软件测试技术有很多相同之处，当然也有一些不同，而组件的安全性测试更是一个比较新的研究方向，其理论和技术发展相对薄弱。本文通过对组件的安全性测试技术的研究和论述，提出一种基于组件规格说明和组件安全测试管道模型的组件安全性测试方法。组件的规格说明是组件接口、功能、甚至总体结构的描述，是组件测试的主要依据；组件安全测试管道主管道主要包含白盒测试和黑盒测试两个子管道；白盒测试子管道又主要由代码分析和错误注入组成；黑盒测试子管道则是通过产生一些恶意的(违反规格说明中规定的)输入数据，并将其作用于被测组件，根据安全断言通过输出分析组件的安全特性。最后，本文利用开放源码测试程序设计框架—JUNIT，对目前比较流行的JAVA组件的安全性测试给出一种实现方法。(本文来源于《解放军信息工程大学》期刊2005-11-01）

李莉,缪淮扣^[2]（2002）在《用UML描述组件规格说明》一文中研究指出在基于组件的软件开发方式(CBD)下,软件系统是一些相互联系的可重用组件的集合,因此需要对系统的每一个组件以及组件之间的相互关系有很好的理解。 UML作为一种标准建模语言,不仅可以支持面向对象的分析与设计,而且能够有力地支持从需求分析开始的软件开发全过程。但是UML对组件建模的支持并不理想,这就需要开发一种能很好支持组件建模的方法。本文提出一种用UML描述组件规格说明的方法。将组件规格说明分解成组件接口规格说明。通过对组件的每个接口和组件接口之间的相互关系加以形式描述,从而达到组件规格说明的清晰性和精确性。(本文来源于《计算机应用与软件》期刊2002年06期）

组件规格说明论文开题报告

（1）论文研究背景及目的

此处内容要求：

首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。

写法范例：

在基于组件的软件开发方式(CBD)下,软件系统是一些相互联系的可重用组件的集合,因此需要对系统的每一个组件以及组件之间的相互关系有很好的理解。 UML作为一种标准建模语言,不仅可以支持面向对象的分析与设计,而且能够有力地支持从需求分析开始的软件开发全过程。但是UML对组件建模的支持并不理想,这就需要开发一种能很好支持组件建模的方法。本文提出一种用UML描述组件规格说明的方法。将组件规格说明分解成组件接口规格说明。通过对组件的每个接口和组件接口之间的相互关系加以形式描述,从而达到组件规格说明的清晰性和精确性。

（2）本文研究方法

调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。

观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。

实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。

文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。

实证研究法：依据现有的科学理论和实践的需要提出设计。

定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。

定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。

跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。

功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。

模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。