计算机联锁软件制式的安全性评价

摘要：计算机联锁软件是比较复杂的软件，对其安全性要求也是最高的软件。以测试为根据来评估联锁软件的安全性，可以获得联锁软件开发者对于联锁安全问题的了解与处理能力的整个信息。弥补“合格”或者是“不合格”过于粗略的结果。科学地测试，是保障铁路运输安全运行的主要对策之一。文章对计算机联锁软件制式的安全性进行研究讨论。

关键词：计算机联锁 安全性评价 计算机

中图分类号：TP302 文献标识码：A 文章编号：1007-9416（2012）12-0150-01

计算机连锁软件是对安全性需求很高的软件。因此对联锁软件的安全性评价也一定要做到谨慎与细致。我国为了使联锁软件得到很好的发展，铁道部已经实施了有关的举措，然而制式就为当前效果较好的方式。

1、计算机联锁软件安全性评价的度量因素

定量化的安全性评估为计算机联锁软件安全属性的度量，根据度量学的有关要求，度量模型一定要拥有四个要素：第一度量的客体或者是度量的事件，第二所要进行度量的属性，第三拟给予度量客体或者是事件的数值或者是符号，第四，把度量客体和符号结合到一块的映射。然而度量模型的构成有经验关系体系和数值关系体系以及经验关系和数值关系的映射。

对联锁软件进行安全性评估时，它度量的对象为联锁软件，想要度量的为联锁软件的安全性，具体来说，就是联锁软件能否保护好人、财务和环境的安全。联锁软件中的经验关系就将两个技术文件里关于安全的问题与有关的说明实施了分类，而且还建立有关的模型；联锁软件中的数值关系为建立和经验关系互相照应的关于安全的范围和它高低的规律；然而联锁软件中经验关系对数值关系的映射为探究评价模型，文章主要对安全性指数赋值模型与安全性问题处理完善性度量模型进行研究与探讨。

2、安全性指数赋值模型

2.1 安全性经验关系矩阵

经过测试发现又如下的问题：“有不安全隐患现象”：“存在重要的安全性问题”；“有安全性降低的问题”：“提高由人来保障安全比例的现象”。假如对连锁软件制式时出现这些问题，就说明这次的测试是不能通过的。“重要的安全性问题”力关系到行车与关系到调车各自所带来的损失是不同的，因此，还可以把它分为两种问题。

安全性问题的出现都有与之相对的可能导致问题出现的环境。要从两个层面才可以清楚表述一个与安全有关的事件。于是，就要通过二维矩阵来表达经验关系模型的安全性问题。Y列表示的是问题的严重性，自重到轻进行表示：第一影响火车安全行驶；第二影响调车安全工作；第三，有不安全隐患；第四，安全性降低；第五，人保障安全的比例加大。X列表示测出的问题在生活里发生的概率，自多到少：第一，连锁软件系统没有问题，在情况正常下出现的问题；第二，联锁系统没有问题，由于失误导致出现的问题；第三，联锁系统有问题，而且是在正常工作下出现的问题；第四联锁系统有问题，并且由于操作失误所导致的；第五，连续系统有问题，由于比较严重的违规操作造成的；第六，联锁系统有2个问题，是在正常的状况下发生；第七，联锁软件没有问题，后来的操作不对导致的；第八、设备出现的问题是受后来操作不全而导致的。

2.2 经验关系与数值关系的映射

安全性指数是对评估安全性的要素，是对被检测的系统的安全性进行的量化表述。但是安全性指数一定为整整数，安全性测试的数值越大，就说明它的安全性就越强，反面的影响就会很小，对于软件开发商讲，它的安全性问题的评价就相对会好一点，如果测试的安全性数值比较低，结果恰好与之相反。需要注意的是，软件的去、安全性评价测试不是对软件的全面检测，因为软件有些作用不是安全范围，因此对连锁软件制式安全评价的前提为连锁软件的各种性能都是符合标准的。

3、连锁软件制式安全性问题处理完善性

3.1 指标与模型

连锁软件安全性问题处理完善性指的是对于软件开发商制作出的软件对有些安全问题的处理是不是正确、恰当等评价，但是影响到最后的评价结果的因素是很多的。1）对软件进行测试的轮次。测试轮次指的是软件自测试伊始到最后符合标准的整个过程，在这过程包括，对第一次测试不合格的要进行修改，直至修改到测试符合标准为止，软件的检测次数就为测试轮次。测试轮次和软件的安全性有直接的关系，然而符合标准的轮数会对软件的整体质量有一定的反映，为安全性符合标准软件的重要参考因素。2）软件开发水平波动幅度。每一个软件在满足标准以前都会存在这样或者是那样的问题，软件开发者也要依据出现的问题持续地对其进行修改，因此，通常情况下，后一次的检测结果要比前一次的检测结果要好，这说明软件开发者处理问题的能力比较强。如果情况恰好相反，就意味着软件开发着具有水平的浮动，然而水平浮动数据会影响安全性评价。

3.2 对于符合标准的连锁软件安全性评价的完善程度

这是指被检测的连锁软件通过很多检测之后所给予信息的综合，通过这种方式提供的数据能够体现出软件开发者对于连锁软件产生的问题的处理方式是否合理与科学，还可以根据连锁软件的整体给出一个准确的评估。因此，在具体的软件测试里，这个不可以从0开始，应该从符合标准的正常数据开始评估。

3.3 经验关系与数值关系映射证明

每一个良好的度量体现都要能够达到人主观意识基础之上，而且还要在设定范围里的一致性与合理性。因此，为了避免模型测试结果获得的结论与常理不一样，就要对度量模型的经验关系与数值关系映射的同一性实施有效的证明。

4、结语

就铁路部门而言，计算机连锁软件会影响所有铁路安全，从某种角度来讲，铁路的安全也就是人们的安全。因此，计算机联锁软件一定要通过制式检测，以及制式检测对联锁软件的评价，只有经过有效的制式评价之后，才会发现联锁软件里存有的问题，通过检测尽可能早地发现存在软件中的问题，才有可能防止联锁软件在实际的操作中产生问题，如果铁路安全产生问题，损失的就不仅仅是金钱的问题了，更重要的是人最宝贵的生命会受到威胁。因此，一定要对计算计联锁软件进行认真地、仔细的检测，保障铁路安全问题。

参考文献

[1]徐中伟，吴芳美.高速铁路信号安全软件自动测试案例建模研究[J].中国铁道出版社，2010（5）.

[2]郭秀清.容错计算机联锁系统[J].计算机工程与应用，2010（5）.

[3]赵志喜.计算机连锁软件的可靠性与安全性[J]铁路计算机应用，2009（3）.