认证的软件组件的重用

Neha马利克助理教授,CSE称,Dronacharya工程学院,古尔加翁- 123506,印度

文摘

认证的过程与一些相关验证属性值,并提供一个证书作为证明的有效性。商业软件可以标记证书定义最小保证软件“单元”如何在未来的行为和在什么假设它会表现在那些礼仪。软件质量证书只是一个简报,法术已知软件输出的行为和在whatconditions这些发生。本文的目标是指定认证的软件开发生命周期

关键字

组件、认证框架,保证。

介绍

没有方法结合当前知识componentselection和组件认证anintegrated基于组件的软件开发(CBD)过程的一部分。几个作品discussthe生命周期过程[2]分为componentdevelopment(我),(2)选择和(iii)系统组件的开发过程中,组件认证implicitlyor不治疗。有一些作品relatecomponent-based acertification过程的开发过程。本文进行认证过程是否anecessary component-baseddevelopment的一部分。然而,我们的目标是必要性ofrecognizing组件认证作为一个独立的过程,而是将它集成到整个CBD过程这四个流程为了提供一个合作的过程,共同为了提供质量方面就在组件和系统的developmentactivities。

组件认证

组件认证是一个方法来保证软件组件符合well-definedstandards;基于此认证,trustedassemblies组件可以构造。然而,这个任务似乎非常difficultbecause软件工程社区hasexpressed很多,经常发散性质评估软件组件。此外,existingliterature不够丰富和解释软件componentcertification的实践方面,但一些相关的理论researchexplores组件认证inacademic场景。一些组件认证相关术语:

一个¯·组件技术

组件技术由一个组件标准和语言来指定组件总成。

一个¯·组件框架

一个组件框架是一个一致性实现组件的技术。

一个¯·认证

认证的过程与一些相关验证属性值,并提供一个证书使用asproof的有效性。

信任和认证

信任是我们希望坚持质量属性交互组件市场中发生(就像保密是我们希望坚持一个属性交互在我们先前的类比)例如:当一个人购买一个灯泡预计的灯泡将螺丝到套接字以这样一种方式,它将产生预期的光量。大小和线程已经标准化,消费者信任,任何给定的灯泡制造商haschecked确保每个灯泡在一些可接受的公差符合这个标准的属性值。消费者之间的交互和灯泡制造商包括隐式信任。的灯泡没有担心重大损害结果如果灯泡没有实际上表现出预期的属性值。这不是在购买天然气连接器。在这种情况下,会导致爆炸如果连接器不符合标准。气体连接器满足认证标准,和没有人关心安全使用连接器,没有这样一个证书。认证是一个信任的机制。相关认证要求和信任水平高于可以认为当使用隐式信任机制。当我们将这些概念应用到基于组件的软件开发中,我们认识到,这也可能是有效的使用不同的机制来实现所需的信任取决于水平的信任并与提供相关的成本。

挑战

的组件选择在今天已经发生了大规模的(显然,由于有一个组件市场,许多系统都是使用组件)。然而,组件认证既不是完全理解,也不是建立在工业实践。考试的基本组件选择和组件之间的差异认证公布一些重要的挑战需要解决softwarecomponent认证。

1。标准化

标准是必要的,以便测试和分析结果以及发行证书被公认和有一个公认的意义。为此,也用于组件的选择、分析和测试方法需要设计使一个有意义的分割和包装组件之间的测试andanalyses供应商、认证机构、认证机构、系统开发人员和软件组织。

2。成本

还必须考虑谁将支付组件认证的成本。组件选择软件项目的成本是内在的,必须包括在项目计划。

3所示。责任和保证

什么样的保证客户有从一个组件注册的组件在操作失败?据推测,如果指定评估上下文在足够的细节就可以限制证明者的风险。

认证过程

认证过程是描绘在图1和解释在以下段落[1]

1。生成测试用例

在这一步中,测试用例自动生成用于评估规范。选择自动生成,确保验证结果的再现性,减少必要的人类的努力。如果使用随机数生成测试用例,一个伪随机数生成器可用于初始化随机数。初始化数字存储验证信息。两个方向,规范实现,反之亦然,执行检查的测试用例。

2。仪器实现

实现本身必须检测以日志组件内的资源需求和相关规范的资源需求。根据测量方法直接测量设备插入到代码中,适应应用程序的平台功能或虚拟机容器应用,或操作系统函数访问计划的要求。

3所示。部署实施

的实现和实物模型必须被部署在目标硬件和软件环境。中指定的环境必须与环境认证的有效性声明允许有意义的结果。如果一个环境的一些性质不重要的规范中未列明的,因此硬件环境,评估者可以选择一个合适的环境。一个例子是如果一个组件没有问题要求硬盘是不相关的硬盘存在的执行环境。

4所示。运行测试用例

测试用例中在第一步上运行部署实施和度量收集必要的资源需求。运行一个测试用例,直到达到要求的样本量,可以直接指定或者被一个置信水平计算。存储测量本身的开销应该尽可能小,以防止不必要的副作用的性能实现。测试用例的所有运行的测量和性能结果表示。

软件开发周期与认证

在考虑认证的过程中可以得出结论,讨论了过程可以很容易地嵌入到传统的软件开发周期[7]

如图软件开发生命周期(SDLC),包括认证过程也开始正常的过程,初步调查,在基于组件的开发过程中,进入步骤4。组件标识和搜索。之后,检查组件的认证,然后将选择的组件。后将组件集成到软件的周期将再次向正常流动。

结论

与认证过程包括,软件developmentstarts初步调查。然后软件走向分析和设计。之后,在基于组件的开发过程将输入阶段。这里的识别组件的需求。然后搜索的可重用组件。为适应之后,开发人员调查和认证。的基础上,选择组件将完成。最终组件集成到软件中。最后摘要过程将朝着正常的软件开发周期。

数据乍一看


图1	图2

引用

亨宁,Groenda。,“Certification of Software Component Performance Specifications”,FZIForschungszentrumInformatik,Software Engineering,Karlsruhe, Germany, pp.10-14, 2000.
Stojanovic,佐兰。,“An Integrated Component-Oriented Framework forEffective and Flexible Enterprise Distributed Systems DevelopmentSystems”,Engineering Group Faculty of Technology, Policy and ManagementDelft University of Technology Jaffalaan,TheNetherlands, pp. 7-12,1999.
波波夫,P。,Strigini, L., Riddle, S., and Romanovsky, A.,“Protective Wrapping of COTS Components”, NJIT University, USA.,pp. 168-177, 1997.
樵夫,M。,Benediktsson, O.,Lefever, B., and Stallinger, F., “Issues of CBD Product Quality andProcessQuality”,Annals of Software Engineering, pp.349-414, 1998.
Garlan D。,andSchmerl, B., “Component-BasedSoftware Engineering in Pervasive ComputingEnvironments”, IEEE workshop,pp.403-444, 1996.
钟,Sbeng。,“Software Library for Reuse-Oriented Program Development”, University of Windsor, Windsor, Ontario, Canada, pp. 2-20,2000.
Crnkovic,我。,Chaudron, M., and Larsson, S., “Component-Based Development Process an d Component Lifecycle”, In International Conference onSoftware Engineering Advances (ICSEA), pp. 10, 2006.
美国之音,j . M。,“Certifying Off-the-Shelf Software Components”,IEEE Computer, pp. 9-15,2000.