论文部分内容阅读
描述了计算机联锁软件的基本结构、主要完成功能和联锁软件测试的重要性,采用白盒法和黑盒法来完成对计算机联锁软件的结构测试和功能测试,并给出结构测试实例和黑盒测试框图;采用故障树分析法来完成对计算机联锁软件的安全性测试,并给出了具体实例.
计算机联锁软件测试方法研究
【摘 要】
：
描述了计算机联锁软件的基本结构、主要完成功能和联锁软件测试的重要性,采用白盒法和黑盒法来完成对计算机联锁软件的结构测试和功能测试,并给出结构测试实例和黑盒测试框图;采用故障树分析法来完成对计算机联锁软件的安全性测试,并给出了具体实例.
【机 构】
：
兰州交通大学信息与电气工程学院,兰州交通大学信息与电气工程学院,兰州交通大学信息与电气工程学院 甘肃兰州730070,甘肃兰州730070,甘肃兰州730070
【出 处】
：
兰州交通大学学报
【发表日期】
：
2005年01期
其他文献
在MINExpo2012的展会上,发动机行业霸主地位的康明斯公司展示了记者见过的迄今为止最宽泛的动力产品线。公司参展机型覆盖49～4000hp(37～2983kW),这也是康明斯两款专为工业设备
新中国成立后确立的计划经济体制，是战时政治、经济、军事和权力惯性作用在和平时期的必然选择和继续，这种体制曾经发挥和产生了一定的作用和成效。近三十年的实践经验与教训，让
简述了监控对象,研究和分析了监控专家系统的思想和结构,重点阐述了分馏塔监控系统的核心之一知识库的构建,给出了专家系统开发工具CLIPS的推理机,简介了解释程序的作用过程.
在计算和CAD软件的开发中,对话框界面在参数的输入、列表显示和交互等方面起着重要的作用.在研究AutoCAD下MFC类库开发对话框的环境设置和类层次结构的基础上,运用 Visual C++编译环境结合 Object ARX的AdUi和AcUi库,实现了AutoCAD状态下的MFC对话框中的编辑、列表、数据获取等功能,为软件的数据输入和显示提供友好的界面.
金融系统的稳定与繁荣是国家经济兴旺发达的前提和基础，对银行等金融机构的监管是保障金融系统稳定的重要手段．本文运用博弈理论建立了银行监管问题的非合作模型．通过对该模型混