计算机联锁软件安全性测试评估研究和实践
被引量：3
Research and Practice of Security Test & Evaluation for Computer Interlocking Softwar
摘要
阐述了铁路计算机联锁软件安全性质量评价的概念,介绍了服务于安全性质量保障的联锁软件测试的原理和所开发研制的通用自动化测试评估平台。文章对8年来利用平台所进行的计算机联锁制式测试、制式复查测试和现场联锁软件抽样测试的结果进行了介绍和分析,从中可以了解软件安全性测试在我国目前计算机联锁软件安全性质量管理中的重要作用。
出处
《铁道技术监督》
2005年第3期1-4,共4页
Railway Quality Control
参考文献2
-
1[2]A. Cimatti, F. Giunchiglia, G. Mongardi, D. Romano, F. Torielli, P.Traverso, Model checking safety critical software with SPIN: an application to a railway interlocking system, in Proceedings of the Third SPIN Workshop, Enschede, The Netherlands, April 1997.
-
2[4]F.Wu,Lei Huang,Efficiency Analysis & Safety Assessment of Automatic Testing for Safety - critical Software. ATS-2003.2003.p106-10.
同被引文献6
-
1吴芳美.计算机联锁软件基于测试的安全性评价基准研究[J].铁道学报,2005,27(3):97-101. 被引量：8
-
2Michael R LYU. Handbook of Software Reliability Engineering[ M]. New York: Mc Graw-Hill and IEEE Computer Society Press, 1996.
-
3TB/T 3027-2002.计算机联锁技术条件[S].中华人民共和国铁道部,2002.
-
4Ch. Ali Asad, Muhammad Irfan UUah, Muhammad Jaffar-Ur Rehman, An Approach for Software Reliability Model Selection[C].Proceedings of the 28th Annual International Computer Software and Applications Conference (COMPSAC'04), IEEE, 2004:534- 539.
-
5严黎,吴芳美.铁路车站计算机联锁软件的安全性评估策略[J].同济大学学报（自然科学版）,2002,30(9):1116-1120. 被引量：3
-
6郦萌,徐翥,王铁江.计算机联锁软件制式的安全性评价[J].铁道学报,2004,26(1):59-63. 被引量：2
-
1程纪文.用CAA技术设计计算机联锁软件[J].上海铁道学院学报,1992,13(2):143-150.
-
2吴立竹.计算机联锁软件制式的安全性评价[J].数字技术与应用,2012,30(12):150-150.
-
3顾秀军.计算机联锁软件制式的安全性评价[J].中国科技博览,2012(15):79-79.
-
4黄裕.产品稍显同质化 校车企业谋出路[J].商用汽车新闻,2012(6):13-13.
-
5黄克勇.地铁计算机联锁系统软件开发中的抗干扰技术[J].电子工程师,2006,32(4):46-49.
-
6肖莹莹,刘胜强,庞维欣.计算机启动优化方法分析与探究[J].电子测试,2013,24(9):114-116. 被引量：1
-
7张亚军,李舟军,廖湘科,蒋瑞成,李海峰.自动化白盒模糊测试技术研究[J].计算机科学,2014,41(2):7-10. 被引量：6
-
8黄长慧,王海珍.B/S架构软件安全性测试及量化评估方法研究[J].警察技术,2014(B06):47-50. 被引量：1
-
9陈玲萍.软件开发生命周期各阶段的应用软件安全性测试[J].企业科技与发展（下半月）,2010(4):14-16. 被引量：5
-
10黄振宇.国内外对加油机计量软件安全的监管手段比较[J].计量与测试技术,2010,37(2):1-2. 被引量：3
