【摘 要】
：
随着科学技术的不断进步和电子与计算机技术的迅速发展,铁路信号联锁软件也由继电器联锁向计算机联锁过渡,并逐步走向成熟。在计算机联锁系统中,联锁关系用联锁软件实现。但
论文部分内容阅读
随着科学技术的不断进步和电子与计算机技术的迅速发展,铁路信号联锁软件也由继电器联锁向计算机联锁过渡,并逐步走向成熟。在计算机联锁系统中,联锁关系用联锁软件实现。但软件的不确定性给整个系统带来危害。因此,对联锁软件进行安全性测试对提高系统的安全性起到了重要的作用。 本文在分析了安全系统软件的安全性和风险度量概念的基础上,详细讨论了黑箱条件下的软件风险度量等问题。接着,针对联锁软件的安全性提出一种基于对比环境的黑箱测试方法,并构建了一个对联锁软件实施安全性测试的测试平台。随后,讨论了测试平台内部的静态数据交换策略及铁路信号仿真技术。最后,本文介绍了测试软件的应用情况。
其他文献
该文首先设计实现了一个网络流量采集系统,系统利用SNMP从网络设备的MIB库采集流量信息,并存储到历史数据库.根据采集的网络流量数据,该文建立了一个基于实测的网络流量模型.
随着Internet的普及，利用网络进行的攻击越来越多，且手段越来越高明，原有的被动防御安全策略已显得力不从心，有必要使被动防御与主动检测相结合，来加强网络与系统的安全性，保护重要
随着计算机网络在社会生活各个领域的不断渗入，计算机网络已经成为了我们生活的一个基本保障。一个完善的网络管理系统是计算机网络能够可靠和稳定运行的保证，而网络监视功能则
随着计算机网络技术的进一步发展，建立在网络基础上的商业运行模式--电子商务逐渐成熟与完善，并随全球经济一体化进程的加快，在世界范围内日渐得到普及。与传统的商务模式相比，电
BPR(业务过程重组)是90年代发展起来的,旨在通过建立高效优化的业务流程而全面改善产品生命周期的T、Q、C理论和技术.该文通过发展传统BPR理论并结合并行工程的思想,提出动态
随着多媒体技术、网络技术的迅速发展，图像信息的应用日益广泛，对规模越来越大的图像数据库、可视信息进行有效的管理成为迫切需要解决的问题，基于内容的图像检索是解决这一问题
移动智能网是叠加在原有移动网络上的业务网,用于提供各类智能数据业务.SCE是移动智能网中的一个实体,用于定义、开发、测试在智能网中所提供的新业务.该文总结了作者研究生
一个功能完善的企业电子商务(e-Business)信息系统系统，不仅要有内部的电子数据交换，也要有与贸易伙伴之间准确无误的电子数据交换，才能充分发挥MIS系统高效、准确、及时的优势