基于k(0,1)-TPN的三防控制系统软件安全性分析模型研究

针对现有方法难以对含多个子系统的并发武器装备软件进行安全性分析的难题,提出了基于多维的时间Petri网软件安全性建模分析方法(k(0,1)-TPN).该方法在时间Petri网的基础上,基于动态运行规则,采用同步合成和共享合成技术建立起软件安全分析模型,通过对运行时序、状态转移等的分析,可得出软件系统潜在的危险状态.利用该方法建立的模型对三防系统软件进行了安全性分析,结果表明:相比其它分析方法,应用该模型可发现多处潜在的软件致命错误,是一种简单实用的有效方法.     

包钢3号高炉上料计算机控制系统

本文介绍包钢3号高炉上料计算机控制系统的功能、硬件结构和软件设计。     

以太网/无线局域网测试系统及其应用

以太网／无线局域网测试系统,可以按照不同的测试条件组合建立测试任务集,然后批处理的执行测试任务,根据大规模的测试结果来验证和分析组网方案。通过对TCP协议和UDP协议发送数据时的网络传输速率、发送不同大小数据时网络传输速率、使用TCP和UDP传输数据的丢包率、使用Berkeley套接字和零拷贝套接字对数据传输的影响等多种不同条件进行测试,并对测试结果进行了深入的分析。该测试系统可对各种不同的以太网／无线局域网组网方案进行验证,为武器组网提供参考。     

动态故障树分析方法在测试用例设计中的应用探讨

本文主要针对动态故障树分析方法在测试用例设计中的应用问题进行了分析,初步探讨了基于软件故障信息的测试用例设计流程,对动态故障树分析方法进行了讨论,最后提出了基于动态故障树的测试用例设计步骤,希望对于今后的软件测试工作具有一定帮助。     

S5U系列PLC与个人计算机之间数据传送的分析与应用

本文分析了S5U系列PLC与个人计算机之间的数据通信原理,提出了一些保证数据通信可靠性的方法,并给出了一个应用实例。