《火力与指挥控制》期刊荣获“国防科技情报期刊类”三等奖

《《火力与指挥控制》期刊荣获“国防科技情报期刊类”三等奖》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、(总第40—1490)火力与指挥控制2015年第8期类型的错误既有统一的一面，又有区别的一面：相同证和分析，尽可能早地发现软件的设计缺陷和错误。的是指针的值是无效的(即：所指向的内存结点已经被释放)，因此，这3种类型错误检测能够统一于同参考文献：一个抽象模型；不同的是这3种类型发生的形式不同，这就需要针对不同语句设计违背合法指针解引[1]GJB4072A一2006．军用软件质量监督要求Is]．北京：总装备部，2006．用规则进行分类检测。以内存抽象模型为程序迁移12JLevesonNG．SoftwareSafety：Why，

2、What，andHow[J]．状态，以3种非法指针解引用发生的条件为检测依ComputerSurveys，1986，18(2)：125—163．据，对控制软件程序进行非法指针解引用的算法。[3]GJB5000A一2008．军用软件研制能力成熟度模型[s]．北4)数值性质检测Numcheek：装备控制软件涉京：总装备部，2008．及到大量的基于Lanchester方程诸元解算程序，运14JPanlkMC，Weber，CV，CurtisBeta1．CapabilityMaturity算过程中这些数据在计算机中由浮点数表示的，浮M

3、odelforSoftware，Version1．1[HI．TechnicalReport．点数具有非均匀分布特征，并且浮点操作会引入浮CMU／SEl一93一TR一024ESC—TR一93—177．1993．点误差。尽管单个浮点操作所带来的舍入误差通常15jPnueliA．TheTemporalLogicofProgramslCJ／／Proc．of18thIEEESymposiumonFound~ionofComputerScience．IEEE都很小，但如果舍人误差在长序列的浮点计算中不ComputerSociety，19

4、77，46-57．断累加时，也可能产生严重后果，甚至导致灾难I生后16JEmersonEA，ClarkeEM．CharacterizingCorrectnessProp—果。数值性质检测将研究如下安全性相关问题：①ertiesofParallelProgramsUsingFixpoints[Cj／／Proc．ofthe分析浮点程序是否会出现上溢、除零错、无效运算等7thInt．ColloquiumofAutomata，LanguagesandPm~am-运行时错误；②分析浮点程序中舍入误差的传播情ming，1980．况，并分

5、析程序中舍人误差的源头及累计上界。[7]袁崇义．Petri网原理与应用[M]．北京：电子工业出版社，2005．3结束语[8]刘俊先，罗雪山．基于影像图方法的C4ISR作战模型[J]．随着武器装备信息化程度的提高，军用软件的系统工程与电子技术，2003，25(5)：537—539．规模逐渐增大，复杂度也逐渐增加，在软件开发各个[9]张维明，邱涤洲．C3I系统理论基础：C3I系统建模方法与阶段使用软件质量保证技术可以增强软件的可信技术【M]．长沙：国防科技大学出版社，2000．[10]贾子英，杨金照，闫飞龙．防控体系分布式指挥系

6、统研究性，提高武器系统的稳定性和可靠性。一方面，应该[J]．现代防御技术，2013，41(2)：118—122．鼓励军用软件研制单位积极参加第三方软件开发标[11]朱涛，常国岑，施笑安．基于复杂网络的指挥信息系统拓准组织的评定，提高软件开发能力的提升；另外一方扑模型研究[J]_系统仿真学报，2008，20(6)：面，使用各种软件测试工具尽可能多地对软件的功1574—1576．能进行正确性测试，尤其是对关键和重要模块设计1l2jKingJC．SymbolicExecutionandProgramTestinglJJ．全覆盖的测

7、试用例对其测试；同时，鼓励软件开发人JournaloftheACM，1976，19(7)：385—394．员规范化设计文档，提高软件理论水平，使用各种软[13]董龙明．基于域敏感内存抽象模型的堆操作程序静态分件分析与验证工具对软件的各种模型和代码进行验析[D]．长沙：国防科技大学，2012．·l80·人有了知识，就会具备各种分析能力，明辨是非的能力。所以我们要勤恳读书，广泛阅读，古人说“书中自有黄金屋。”通过阅读科技书籍，我们能丰富知识，培养逻辑思维能力；通过阅读文学作品，我们能提高文学鉴赏水平，培养文学情趣；通过阅读报刊，

8、我们能增长见识，扩大自己的知识面。有许多书籍还能培养我们的道德情操，给我们巨大的精神力量，鼓舞我们前进。