用于APLA→JAVA系统可靠性评估模型构建与分析.docVIP

用于APLA→JAVA系统可靠性评估模型构建与分析 　　摘 要 随着时代的发展，我国科技水平以及经济水平都得到了不断的发展和提高，软件在各个行业中都受到了极为广泛的应用，这也在一定程度上刺激了软件产业的发展和进步。在软件行业中，软件在研发和测试的过程中最重要一个难题就是软件的可靠性。因为程序语言具有一定的多样性以及复杂性，所以在对软件的可靠性进行测试的时候，一直找不到一个相对可靠的模型。因此，在这个基础上，结合APLA→JAVA系统的特点以及软件可靠性的工程理论，对一种用于软件可靠性的模型进行构建。本文通过对APLA→JAVA系统可靠性评估模型相关的置信区间以及参数评估，结合实际情况，对其在具体实施的可行性以及合理性进行简要分析。 　　【关键词】APLA→JAVA系统 可靠性评估 模型构建 分析 　　随着时代不断进步，软件在各个领域中都得到了相对较为广泛的应用，从而使软件产业在不断发展的过程中成为了国际竞争中的重要部分。其中，在软件发展的时候，它的可靠性是极为重要的，可以作为软件质量的衡量标准，在发展的过程中得到了人们越来越多的关注。另外，软件可靠性评估模型在软件行业发展中也具有极为重要的作用，人们一直在对这些模型进行研究和开发，但是随着软件自身的特性在研发中日益复杂，软件可靠性评估模型依旧具有一定的不足之处。 　　1 APLA→JAVA系统的特点 　　作为抽象程序设计语言中的一种，APLA语言在运用的过程中，可以对抽象程序进行描述，在PAR平台以及PAR方法中具有极为重要的作用。APLA在实际使用的过程中，它描述出的程序在目前情况下是不能进行执行的，这和JAVA程序的可执行性有着天壤之别，但是，APLA→JAVA系统在实际运用的过程中，将ALPA程序自动转换成为JAVA程序，为PAR平台以及PAR方法在对具有高可信度的JAVA程序进行开发的时候提供了强有力的支持。在这个过程中，系统在自定义JAVA可重用构件库支持的基础上，对APLA语言描述抽象程序进行转换，将其自动转换成为等价的JAVA源程序，而且对程序的有效性以及正确性进行了保证。 　　APLA→JAVA系统的组成注意包括两部分，自定义JAVA可重用构建库以及转化器。其中，转换器主要包括错误处理、词法分析以及语法语义的分析和转换等三大部分。错误处理在开展的时候，主要是将在语法语义分析以及词法分析的时候所发现错误向用户进行反馈；词法分析在实际开展的时候，主要任务就是将APLA程序中的所有字符按照从左到右的顺序进行读入，对其中的字符流进行扫描和分解，结合实际情况对其等价的符号序列进行识别；在语法语义分析和转换部分进行开展的时候，其主要是在词法分析的基础上，结合APLA语法对符号的序列进行语义的分析以及语法的检查，在确认无误之后，在运用APLA→JAVA的转换规则对其进行转换，变成与其相应的等价JAVA程序。 　　1.1 APLA→JAVA系统可靠性评估模型 　　APLA→JAVA系统在对高可靠性软件进行开发的时候，可靠性其整体质量检验的重要指标。在一般情况下，软件在实际开展的时候，其中如果出现一个步骤的开发失误，就会导致整个APLA→JAVA系统开发出的高可信软件全部失效。因此，在对APLA→JAVA系统中，可靠性占有极为重要的地位。 　　一是模型的定义。定义一，测试的准则作为APLA→JAVA系统待测试功能点的一种判定规则，如果测试通过了这个规则的判定，就证明其达到了相关标准。在测试中，如果将其输出数据看作为output，输入数据为i，那么想要达到相关的判定标准，i值就必须满足output=f（i）（iD）。定义二，可靠性因子。在判定的过程中对功能性可靠因子τ，τ（0，1）进行引入，可以对输入以及输出之间的关系是否满足映射进行更好的判断。其中，如果 τ=1，此时输入和输出的关系就符合相关映射关系，如果 τ=0，则与之相反。定义三，可靠性的指标均值。这在进行的时候，要对ALPA语言中的功能点S先进行样本抽样，将APLA→JAVA系统状态中的事件概率看作为P（S），将状态函数看作为F（S），那么其相关的可靠性指标均值就可以用以下公式进行表示：，其中，Ω指的是状态空间。 　　软件在进行测试的时候，软件可靠性评估是极为重要，测试生成的评价报告可以作为其成功以及达标的标准，然后在等价类原理的基础上，对可靠性模型的进行计算。在这个过程中，可以将P（i）作为输入i（iD）可能产生的缺陷概率，在定义二的基础上，用τ（i）表示 为i的函数，其中τ（i）=0或是τ（i）=1。其中，在对不同级别的测试开展的额时候，要注意使用不同的描述，用ξ来表示其可能会出现的缺陷影响因子，那么，ξ为i的函数则表示为ξ（i）。 　　因此，APLA→JAVA系统的可靠性评估模型就可以用一下公