一种面向故障的软件测试新方法

面向故障的软件测试方法是今后软件测试技术研究的主要内容.和传统的面向整个软件的测试方法相比,面向故障的测试方法对故障的检测针对性更强,特别是对传统测试方法难以检测的故障如存储器泄露故障、数组越界故障、空指针引用故障等的检测是非常有效的.从方法学上讲,面向故障的测试方法标志着一个测试理论的成熟,在测试方法学中具有里程碑的意义.面向故障测试方法有2个问题需要解决:①软件的故障模型,②面向该模型的自动测试方法,此文重点论述软件的故障模型问题.     

军队干部交流分配模型研究

针对军队干部交流分配常常采用定性方法的现状,结合每年都要交流大量干部的实际情况,在可行、合理交流的基础上,综合利用Delphi法、系统分解与协调法建立了干部交流分配模型,从而实现了干部在各种类别之间的交流,为军队干部的交流分配提供了定量依据.     

用动态模拟方法实现C程序输入变量的取值分析

程序输入变量取值范围的确定对于测试数据的选取,尤其对边界值分析,有着直接的指导作用.一般情形下,通过对源程序进行数据流和相关性分析,可实现输入变量的取值分析.但对某些有特殊取值限制要求的表达式,用静态分析方法,难以实现其输入变量的取值分析.为此,采用动态模拟的方法,对有特殊取值限制要求的表达式,进行输入变量的取值分析.实验表明,该方法是行之有效的.     

关于加强“4＋1”模式学员军事素质基础培养的研究

现代战争对军人的军事素质提出了更高的要求,而优良的军事素质,是靠平时严格、艰苦的训练来实现的.我院高度重视培养提高学员的军事素质,主要通过3个途径实现培养目标.这里重点阐述了我院对学员军事素质培养的实践经验及效果,对军事工程院校学员军事素质基础的提高,具有一定的指导作用和参考价值.     

地形通视性算法改进

为提高地形上两点间的通视性查询效率,满足仿真系统实时性要求,对通视性算法进行改进,并将改进算法与现有算法进行试验比较,结果表明改进算法的精度和计算效率是满足仿真需要的。     

在C#中通过数据库实现树视图无级动态维护

就树视图与数据库的结合实现树视图的无级动态维护提出了一种解决方法 ,进而拓展了树视图的功能 ,使其能够得到更多的使用。     

玻璃钢导流罩新型密封结构设计及其模型试验研究

提出了船舶球鼻首导流罩玻璃钢壳体与船体结构之间的新型连接结构———纤维桩结构和柔性预紧密封螺钉连接结构,即:在钢构架与玻璃钢壳体之间采用纤维桩连接结构,玻璃钢壳体边界与船体搭接板之间采用加橡胶柔性密封的螺钉连接结构。经过导流罩局部模型试验证明,该连接结构能保证导流罩具有足够的强度和水密性,其性能优于现有螺钉连接结构,适合于实船使用。     

柴油机自然寿命分析

将柴油机重要运动部件的磨损率和磨损量以及容许磨损量当作随机变量,建立计算这些部件寿命的数学模型,通过计算可得到它们的寿命,从而确定柴油机的自然寿命.与传统的计算方法相比,该方法计算精度高.该方法已用于论证舰船服役年限.     

新课程模式下英语教师信念体系的构建

通过分析英语教学改革中新课程模式的特点和CALL（计算机辅助语言学习）的发展阶段,并结合国内外有关教师信念研究的现状,提出从社会建构主义视角构建新课程模式下的教师信念体系的理念。新构建的教师信念体系包含四个方面的内容：新技术、语言教学观、学习者和教师。该信念体系处于开放、变化的状态,它在与外界进行交互的过程中,将不断地进行自我丰富和完善。     

基于PXI总线的MLS模拟器扫描角度精确测量

利用PXI总线检测技术实现MLS模拟器扫描角度的精确测量.重点对模拟器中频数字化之后的信号进行内插、滤波等处理,以提高扫描波束信号的时间分辨率和减小线性化引起的定时误差.提出了采用多基准电平的扫描角度测量方法,利用加权取平均的方法来平滑干扰噪声对定时精度的影响,并给出了加权系数的具体选取步骤.实验结果表明,内插和滤波可以减小线性化引起的扫描角度计算误差,采用多基准电平的方法可以有效克服干扰噪声对扫描角度测量的影响.