用于APLAJAVA系统可靠性评估模型构建和分析

摘 要 随着时代的发展，我国科技水平以及经济水平都得到了不断的发展和提高，软件在各个行业中都受到了极为广泛的应用，这也在一定程度上刺激了软件产业的发展和进步。在软件行业中，软件在研发和测试的过程中最重要一个难题就是软件的可靠性。因为程序语言具有一定的多样性以及复杂性，所以在对软件的可靠性进行测试的时候，一直找不到一个相对可靠的模型。因此，在这个基础上，结合APLAJAVA系统的特点以及软件可靠性的工程理论，对一种用于软件可靠性的模型进行构建。本文通过对APLAJAVA系统可靠性评估模型相关的置信区间以及参数评估，结合实际情况，对其在具体实施的可行性以及合理性进行简要分析。

【关键词】APLAJAVA系统 可靠性评估 模型构建 分析

随着时代不断进步，软件在各个领域中都得到了相对较为广泛的应用，从而使软件产业在不断发展的过程中成为了国际竞争中的重要部分。其中，在软件发展的时候，它的可靠性是极为重要的，可以作为软件质量的衡量标准，在发展的过程中得到了人们越来越多的关注。另外，软件可靠性评估模型在软件行业发展中也具有极为重要的作用，人们一直在对这些模型进行研究和开发，但是随着软件自身的特性在研发中日益复杂，软件可靠性评估模型依旧具有一定的不足之处。

1 APLAJAVA系统的特点

作为抽象程序设计语言中的一种，APLA语言在运用的过程中，可以对抽象程序进行描述，在PAR平台以及PAR方法中具有极为重要的作用。APLA在实际使用的过程中，它描述出的程序在目前情况下是不能进行执行的，这和JAVA程序的可执行性有着天壤之别，但是，APLAJAVA系统在实际运用的过程中，将ALPA程序自动转换成为JAVA程序，为PAR平台以及PAR方法在对具有高可信度的JAVA程序进行开发的时候提供了强有力的支持。在这个过程中，系统在自定义JAVA可重用构件库支持的基础上，对APLA语言描述抽象程序进行转换，将其自动转换成为等价的JAVA源程序，而且对程序的有效性以及正确性进行了保证。

APLAJAVA系统的组成注意包括两部分，自定义JAVA可重用构建库以及转化器。其中，转换器主要包括错误处理、词法分析以及语法语义的分析和转换等三大部分。错误处理在开展的时候，主要是将在语法语义分析以及词法分析的时候所发现错误向用户进行反馈；词法分析在实际开展的时候，主要任务就是将APLA程序中的所有字符按照从左到右的顺序进行读入，对其中的字符流进行扫描和分解，结合实际情况对其等价的符号序列进行识别；在语法语义分析和转换部分进行开展的时候，其主要是在词法分析的基础上，结合APLA语法对符号的序列进行语义的分析以及语法的检查，在确认无误之后，在运用APLAJAVA的转换规则对其进行转换，变成与其相应的等价JAVA程序。

1.1 APLAJAVA系统可靠性评估模型

APLAJAVA系统在对高可靠性软件进行开发的时候，可靠性其整体质量检验的重要指标。在一般情况下，软件在实际开展的时候，其中如果出现一个步骤的开发失误，就会导致整个APLAJAVA系统开发出的高可信软件全部失效。因此，在对APLAJAVA系统中，可靠性占有极为重要的地位。

一是模型的定义。定义一，测试的准则作为APLAJAVA系统待测试功能点的一种判定规则，如果测试通过了这个规则的判定，就证明其达到了相关标准。在测试中，如果将其输出数据看作为output，输入数据为i，那么想要达到相关的判定标准，i值就必须满足output=f（i）（iD）。定义二，可靠性因子。在判定的过程中对功能性可靠因子τ，τ（0，1）进行引入，可以对输入以及输出之间的关系是否满足映射进行更好的判断。其中，如果 τ=1，此时输入和输出的关系就符合相关映射关系，如果 τ=0，则与之相反。定义三，可靠性的指标均值。这在进行的时候，要对ALPA语言中的功能点S先进行样本抽样，将APLAJAVA系统状态中的事件概率看作为P（S），将状态函数看作为F（S），那么其相关的可靠性指标均值就可以用以下公式进行表示：，其中，Ω指的是状态空间。

软件在进行测试的时候，软件可靠性评估是极为重要，测试生成的评价报告可以作为其成功以及达标的标准，然后在等价类原理的基础上，对可靠性模型的进行计算。在这个过程中，可以将P（i）作为输入i（iD）可能产生的缺陷概率，在定义二的基础上，用τ（i）表示 为i的函数，其中τ（i）=0或是τ（i）=1。其中，在对不同级别的测试开展的额时候，要注意使用不同的描述，用ξ来表示其可能会出现的缺陷影响因子，那么，ξ为i的函数则表示为ξ（i）。

因此，APLAJAVA系统的可靠性评估模型就可以用一下公式来表示：

结合以上的四组数据，就能对APLAJAVA系统中所具有的可靠性以及安全性进行一定程度上的评估。

三是置信区间。就APLAJAVA系统来说，除了需要对其可靠想进行重点关注之外，还需要结合实际情况，根据可靠性对其做出一个大致的范围预测，这种预测通常是用区间的方式来表现的。设计APLA语言相关的功能点为S1、S2、…… Sn等，其中，S表示的为功能点的样本，其区间的范围估计就可以按一下方式进行计算。

将λ作为参数，其模型的指数分别就可以用S-Γ （1，λ ）表示，由此可以得出， ～ Γ（n，λ），在公式 的基础上可以得到：

2 结束语

综上所述我们可以得知，随着时代的发展，计算机系统在各个行业中都得到了相对较为广泛的应用，因此，提高软件的整体质量成为目前极为重要的任务。其中，在软件行业中，软件在研发和测试的过程中最重要一个难题就是软件的可靠性。由于程序语言具有一定的多样性以及复杂性，因此，在对软件的可靠性进行测试的时候，结合APLAJAVA系统的特点以及软件可靠性的工程理论，对一种用于软件可靠性的模型进行构建。本文通过对APLAJAVA系统在进行软件可靠性测试时收集到的数据进行评估，对其有效性以及可靠性进行探讨。

参考文献

[1]杨乐，刘珊慧，薛锦云.一种用于APLAJAVA系统可靠性评估模型[J].昆明理工大学学报（理工版），2009，23（15）：182-183.

[2]杨乐；薛锦云；万松松；盛立冉.软件测试在APLAJAVA系统中的应用研究[J].微计算机信息，2008，21（11）：199-201.

[3]梅雪芬，梅发凯，钟华.SAPJCO（JAVA）组件的分析与研[J].计算机与数字工程，2009，28（10）：191-192.

[4]揭安全，石海鹤，薛锦云.一种基于Java可重用部件库的多核程序开发方法[J].微电子学与计算机，2008，21（19）：167-168.

[5]杨乐，薛锦云，万韵.面向PAR平台的测试用例生成技术研究[J].微计算机信息，2009，12（28）：103-104.

[6]揭安全，薛锦云.Apla-Java可重用部件库并行、并发机制的研究[J].江西师范大学学报（自然科学版），2006，19（21）：122-123.

作者简介

孙小淋（1981-），女，山东省烟台市人。大学本科学历。现为山东省烟台市烟台职业学院助教。主要研究方向为计算机及动漫教育。

作者单位

山东省烟台市烟台职业学院 山东省烟台市 264670