软件静态测试中C/C++抽象语法树的生成

本文中C/C++抽象语法树是利用GNU提供的标准编译器生成工具Lex和Yacc,由parser程序通过调用lexical(词法分析程序)进行语法分析生成的. 为了进行基于系统崩溃的故障模型的软件静态测试,需要从抽象语法树上获取相关的数据依赖关系和定义使用链.这就要求在原有抽象语法树的基础上进行语义分析,产生最终的抽象语法树.论文描述了C/C++抽象语法树及其语法和语义分析过程的具体方法.     

分形理论在分队作战系统建模中的应用

如何体现现代作战环境中开放性、对称与自相似性、非平衡态有序性等复杂特性是当前作战系统建模的一个难点问题.源于几何学的分形理论拓宽了人们的思路,使人们认识到可以将分形理论引入到作战系统建模中以解决这种复杂情况.因此,本文基于分形理论,创新性的提出分形分队的概念,并对其理论依据,分形空间和分形维数等相关概念进行了论述.在此基础上,以某多兵种合成分队的建模为例,给出了基于分形理论的分队作战系统模型构建的一般过程.     

基于语法测试的软件缺陷分析

本文提出了一种基于语法测试的软件缺陷分析方法,能够有效查找软件实现过程中产生的缺陷.和完全测试相比,该方法可以不必进行软件的正确性测试即可发现某些缺陷,因而代价较低.