论软件缺陷

软件的缺陷是软件质量的重要因素之一,低缺陷密度的软件是高质量软件的必要条件。软件的缺陷是不可避免的,统计表明,经过PSP训练的软件工程师平均引入的缺陷密度为50个缺陷/kLOC。通过对软件缺陷概念及分类、产生缺陷的原因及如何避免产生缺陷、缺陷排除的分析和软件缺陷与软件故障率之间的关系的研究,探讨了如何研制低缺陷密度的软件。     

基于扩展状态机的资源泄漏检测方法

基于扩展状态机对资源泄漏故障进行描述，给出了资源泄漏缺陷状态机，定义了缺陷的状态、状态迁移图和状态转换表。设计和实现了资源泄漏检测算法。该算法在对控制流进行遍历的过程中，按照资源泄漏缺陷状态机给出的转换条件进行状态计算，如果计算结果为故障，则报告1个资源泄漏故障。应用该算法对大型开源软件进行测试，发现多个资源泄漏故障。测试结果表明：该算法具有测试效率高和误报率低等特点。     

钨合金(碳化钨)柱形预制破片战斗部对均质钢甲的毁伤效能分析

针对现代战争的需要,特别是对战场轻型装甲的攻击需要,基于预制破片技术,以柱形杆(钨合金)预制破片为对象建立物理模型,对其破片尺寸、装药形式及尺寸的相互关系进行分析,进而通过引入TBM战斗部设计的关系式对所建模型的破片进行速度预报,依照该速度按照侵彻理论推算其对均质钢甲的毁伤效能。结合分析结果指出了柱形杆(钨合金)预制破片战斗部在攻击均制钢甲方面的优点。