排序方式: 共有3条查询结果,搜索用时 0 毫秒
1
1.
AFDX航空总线仿真测试技术研究 总被引:1,自引:0,他引:1
为了对AFDX总线的网络系统进行测试,采用德国AIM公司所研制的仿真测试软件fdXplorer及API-FDX-2仿真测试板卡,搭建虚拟的机载数据总线的通信仿真测试系统,仿真AFDX数据包的发送、接收和监控。 相似文献
2.
分析和总结了国内外在机载分区操作系统建模及验证方面的研究成果,指出了存在着验证工作不充分性、建模与验证方法单一性等问题;提出了从"设计后验证"到"Correct-by-Construct"、从规约模型到契约模型、组合运用多种形式化建模三种分区操作系统建模及验证的新思路,以期对未来研究者有所借鉴。 相似文献
3.
文中设计和实现了一个Web应用安全漏洞测试工具Punks。其中Punks的爬行模块的设计与实现来源于对开源的网络爬虫软件Harvestman的改写,进而达到了高性能的多线程爬行。为了提高整体性能,还设计和实现了一个具有队列缓冲机制和多线程机制支持的注入/分析组件,并把改写后的网络爬行组件和它很好的集成,最终实现了一个高性能的Web应用安全漏洞测试工具。 相似文献
1