航天嵌入式软件代码逻辑分析

为提高航天嵌入式软件的测试质量、确保航天型号任务的圆满完成,对航天嵌入式软件代码审查重要内容之一的代码逻辑分析进行了研究.通过对软件缺陷的机理、缺陷查找过程、缺陷暴露过程、以及缺陷引发后果的分析,结合多年软件测试工程实践经验的总结,提出了场景分析法、时序分析法、假想故障追源法等10种主要的代码逻辑分析方法.开展了代码逻辑分析方法的应用分析、代码审查与其它测试手段之间的对比分析,通过分析,给出了代码审查的工程适用性说明.研究成果已在航天型号软件第三方评测中全面推广应用,实践数据表明,应用效果良好,使代码审查的缺陷发现率由业界公认的30%~70%提升至90%以上.相关分析方法和分析思路对动态测试设计以及软件缺陷自动化检测工具的研发均具有一定的参考作用.

逻辑控制图表在动车组调试方法中的应用

通过对动车组调试现状的分析,提出了基于可视化展示方式的逻辑控制图表的实现思路,将复杂的动车组逻辑控制系统转换为直观、易操作的逻辑控制图表,并采用逻辑控制代码和矩阵作为数据的分析基础,便于车间调试人员对信息的获取,也有利于自动化调试系统中测试数据的自动接收、分析与判读,可以有效提高动车组的调试效率和准确率。

利用XML扩展基于MVC模式的Web应用框架

针对在Web应用开发中由于Web应用特殊性导致代码可读性和可维护性差、软件可扩展性弱等问题,讨论了一个基于MVC模式的Web应用框架,并利用XML技术扩展这个框架,使该框架可以有效地解决Web开发中遇到的上述问题。

基于Flexsim的零件加工排序仿真实现方法研究

零件的加工排序问题是企业生产制造过程中一个常见的问题。通过采用Flexsim生产线仿真技术,对某一车间零件加工排序问题的仿真实现方法进行了研究,主要是通过在Flexsim软件自带的实体间进行A连接和编辑逻辑代码来实现的。该仿真方法的实现适用于车间多种零件同时在多台设备上混合加工时加工排序问题的解决,也可以使用该方法来优化零件的加工工序,找到最节约时间的加工工序,以提高生产线的生产效率。

功能覆盖率驱动的自适应遗传算法验证技术

根据不同功能测试点在芯片代码中的逻辑深度与相应测试向量覆盖到的测试点多少的关系,对不同测试点设置了相应的权重,提出一种基于自适应遗传算法的激励向量生成方法。实验结果表明,该方法能减少编写约束文件时间,较快自动搜索有针对性的测试激励,提高芯片功能验证的可靠性和仿真效率。