基于过程与场景分析的航天应用软件测试方法

航天应用软件系统具有软件种类多、规模大、信息交换关系复杂等特点，如何开展软件测试是工程实践中的一个难题。结合某测控信息应用软件系统实例，提出了一种基于形式化模型的软件系统测试方法。基于软件系统形式化定义和线索分析技术，绘制软件系统运行流程图、阶段分析图，建立可表述软件系统级行为的场景树模型和场景树图；根据测试充分性要求，提出基于场景树图的路径覆盖准则，给出满足路径覆盖准则的测试用例集自动化生成算法；结合工程实例，给出了方法应用数据，开展测试结果分析。验证结果表明该测试方法是可行的和有效的，能够保障软件测试的充分性。     

基于面向对象的单元自动化测试工具研究

阐述了面向对象系统中单元测试的概念，针对面向对象的单元自动化测试给出了理想的自动化测试工具体系结构，并对在理想状况下如何实现自动化的相关问题进行了探讨，以实现完全自动化。     

基于MEMS VOA阵列的红外场景生成器

针对动态半实物仿真系统的需求,提出了一种新颖的基于微机电系统(MEMS)技术的红外场景生成器。研究了可变光衰减器(VOA)阵列组成红外场景生成器的工作原理和器件结构,提出了新型串联双向折叠梁结构和阵列布局方案,为实现大规模阵列的红外场景生成器奠定基础。     

一个新的伪随机生成器构造方案

伪随机生成器(pseudorandom generator,PRG)是当代密码学研究的一个基本结构。新方案基于格理论中的经典问题的困难性来构造PRG。首先根据多维子集和问题(multidimensional subset sum简称MSS)构造MSS单向函数,再使用单向迭代函数的方法构造新的PRG。使用一般单向函数的PRG构造方案,若单向函数输入长度是m,则要求种子长度达到O(m7)。相比之下,由于MSS单向函数有"大致正规"特性,新方案仅要求种子长度达到O(mlog m)。     

使用设计模式改进代码生成器中的配置管理模块

文章首先简单介绍了代码生成器的主要框架结构,对其中的主要功能模块做了简单的介绍,其次重点对其中的配置管理模块做了详细的分析与设计,最后利用6种软件设计模式对配置管理模块进行了改进。