军用方舱空调系统的选择

本文就军用方舱在布局设计时，选用何种空调设备；方舱需要多少制冷量；空调设备附件的使用等进行了分析、论述。文中的一些观点、计算方法仅供参考。     

内存泄漏故障静态分析研究

目前研究人员主要采用静态测试技术实施对内存泄漏故障的检测,其基本思想就是依据待测程序的控制流图来设计特定的算法以检测内存泄漏问题,但这些方法的不足之处主要是控制流图的表示方式上未含有进一步可用信息,因此所设计的算法不能很好地执行该故障的检测任务.为此,定义了一种用于内存泄漏故障检测的控制流图,提出控制流图可达路径生成算法,然后根据生成的路径进行内存泄漏故障的检测与分析.实验证实,该方法取得了理想的效果.     

一种自动机学习和符号化执行的软件自动测试方法

针对高可信软件提出一种软件脆弱性自动测试方法。与传统测试方法不同,该方法对待测试程序进行预处理,使用自动机学习算法构造软件与环境交互的抽象机模型,在符号化执行迭代过程中利用抽象机模型指导符号化执行,并动态生成测试数据,同时精化交互抽象机用于后继的符号化迭代测试。解决了传统符号化执行测试技术中缺乏指引、具有较高盲目性的问题,同时也提高了符号化执行测试的效率和代码覆盖率。     

一种基于二分图故障检测模型的软件故障定位方法研究

软件故障诊断过程中代价最昂贵和最耗时的活动之一就是软件故障定位.为了辅助测试人员进行软件故障的定位,在设计分层思想的指导下,在分析软件及其各个模块以及模块中代码之间复杂关系的基础上,通过分析历史数据中软件故障与现象之间的对应关系,建立了基于拓扑图的软件故障传播模型,使得软件故障诊断人员能够利用该拓扑图模型描述具体的软件故障现象.通过该拓扑图模型,软件故障传播模型可转换成更容易进行问题求解的基于二分图的故障检测模型.然后针对该模型设计了基于贪心策略的算法,该算法解决了基于二分图故障检测模型的最小覆盖求解问题,这一问题的求解结果描述了软件故障原因假设集合,通过故障原因与软件模块关系分析可找出与该故障原因对应的相应模块,从而实现故障定位.实验表明,本研究方案能够有效处理软件故障定位问题.     

一种调和序列生成及其在故障定位中的应用

为了提高软件的可靠性,在软件运行发生故障时,快速、准确地定位故障点成为非常有意义的研究课题。与以往方法不同,在将故障运行序列和最部近运行序列进行差异对比前,为了避免选取第一条最近成功路径时引起的“盲区”使得后期搜索空间加大,引入了生物学基因序列比对原理,对最部近运行序列不是通过编辑距离比较进行选取,而是通过一条调和序列进行处理。实验表明,方法的故障定位效果较好。     

基于CHAM模型的LTS状态树生成算法

标号迁移系统(1abelled transition system，LTS)是形式化一致性测试的重要研究方向，在软件体系结构(software architectures，SA)测试计划生成的研究中，需要从化学抽象机(chemical abstract machine，CHAM)模型中生成LTS，以表达出软件体系结构的动态特征，因此，LTS状态树生成算法是导出软件测试计划和测试用例研究工作中的关键问题，基于CHAM模型，提出了通用LTS状态树生成算法，并使用实例验证了该算法。     

软件体系结构风格的实例研究

软件体系结构研究领域中，风格的研究与应用是一个重要的领域。本文讨论了软件体系结构的概念和风格，在此基础上特别对CORBA，基于Web的分布式系统结构，领域专家系统，基于商业背景的可重用软件体系结构等内容进行了讨论，并给出了它们相关风格。     

一种基于PSpice9.2的电子电路最优化设计的方法

文章介绍了用电路仿真软件OrCAD/PSpice9.2优化电子电路的设计方案，提出了一种电路最优化设计的方法，并结合具体电路实例，阐述了用该方法对电路进行最优化设计的具体步骤和仿真过程，给出了最优化设计的结果，实践证明该方法在电子电路的最优化设计中具有很高的实用价值。     

数组越界的故障模型及其检测方法研究

数组越界是C程序中的常见故障，该类故障可能造成系统的崩溃。首先针对常见的数组越界故障进行了分析，提出了检测数组越界的判定准则，建立了故障模型。根据该故障模型，采用程序控制流图和路径条件，并结合静态分析思想，给出了可有效地检测出程序中存在的数组越界故障的方法。最后通过实例分析了该方法的应用过程。     

基于求精的软件体系结构设计方法

分析了当前软件体系结构研究对软件开发支持存在的不足，将软件体系结构求精技术引入大型复杂系统软件体系结构设计与开发过程中，结合抽象层次和层次视图，提出了一个基于求精的软件体系结构设计方法——ARSADM，给出了其关键步骤和过程，用于指导软件体系结构的正确设计。