毕业设计(论文中文题目:软件三取二逻辑测试平台研究
英文题目:s o f t w a r e t e s t p l a t f o r m o f t h e
l o g i c i n t h r e e c h o o s i n g t w o s y s t e m
学院:电子信息工程学院
专业:自动化(铁道信号
学生姓名:
学号:
指导教师:
2011 年 6 月 6 日
题目:软件三取二逻辑测试平台研究
适合专业:自动化
指导教师(签名:提交日期: 2011 年 2 月28 日学院:电信专业:自动化(铁道信号学生姓名:学号:
题目:软件三取二逻辑测试平台研究
学院:电信专业:自动化(铁道信号学生姓名:学号:
指导教师签名:审核日期:年月日
北京交通大学毕业设计(论文
中文摘要
三取二车载安全计算机属于三模冗余安全计算机,是列车车载安全计算机最常用的冗余架构,而三取二逻辑是该计算机的关键组成部分。由于三取二逻辑运行与冗余三模硬件环境里,难于对三取二逻辑部分进行充分的测试。故障注入测试通过对三取二逻辑注入故障加速系统失效,从而有效实现系统安全性测试。故障注入测试分为硬件故障和软件故障注入,由于软件故障注入成本低,更安全,所以在本文中应用了软件故障注入测试。
本文重点研究的是三取二的逻辑测试平台,通过软件故障注入来测试三取二的逻辑安全性。以简单三取二累加器为测试对象,提出了一种结合LabVIEW图形化编程与CIN节点的测试方案,设计并实现了三取二逻辑的软件故障注入仿真测试平台,实现对系统的静态故障注入。然后,通过实验验证测试平台的主要功能。本文研究设计的三取二逻辑软件测试平台为三取二逻辑的安全性测试工具开发提供了宝贵经验和方法理论。
关键词:三取二;LabVIEW;CIN;软件故障注入;
北京交通大学毕业设计(论文
Abstract
security computer with the three choosing two system belonging to TMR security computer,that is the most commonly used computer in safe redundant architecture, and the logic of the three choosing two system is a key component of the computer. As the logic operation of the three choosing two system and redundant hardware environment, it is difficult to test the logical parts of the three choosing two system. Fault injection test by three choosing two system failure logic into the failure to effectively achieve system security testing. Fault injection test consists of hardware failures and software fault injection, due to a software fault injection, low cost, more secure, so the application of this software fault injection testing.
This paper focuses on logical test platform of three choosing two system, by software fault injection to test the security of logic in three choosing two system. Based on the logic in three choosing two system ,it proposes a test program which combines LabVIEW graphical programming and the CIN node, designs and implements the software test platform wtth fault injection simulation of the logic in three choosing two system,that can support three security host computer