软件的测试性分析与设计

软件测试是提高软件可靠性的重要手段,但软件测试的代价是巨大的。软件的测试性分析与设计是分析软件测试的复杂性,提高软件测试性的基本方法。本文提出了软件测试性的基本概念、分析与计算方法、以及软件测试性设计的基本思路。这对于高可靠性软件,特别是武器装备软件的设计是有指导意义的。     

超视距多目标攻击排序及火力分配建模与解算

针对未来超视距空战条件下的多目标攻击排序和制导武器火力分配问题,提出了一种用以评估超视距空战作战效能的综合优势指数法;当目标数多于攻击机数时,通过构造综合优势矩阵,将非平衡指派问题转化为平衡指派问题,并建立了多目标攻击排序的0-1规划模型,该模型可解决对多个目标同时攻击的排序问题;以2对8攻击排序为例,利用求解线性规划软件Lindo6.0进行解算。最后,建立了1对4攻击火力分配的非线性规划模型,并利用求解非线性规划软件Lingo5.0进行解算。计算结果验证了建模的合理性和运用Lindo、Lingo软件求解较大规模目标攻击排序和火力分配问题的实时性。     

指控系统智能反汇编软件开发

针对没有提供软件清单的指控系统,在对其硬件环境十分熟悉的基础上,采用模拟跟踪程序执行路径的方法,开发了某型指控系统的智能反汇编软件。它可将固化在该系统EPROM中的机器码程序自动地反汇编成汇编源程序,形成打印文件存盘,以便列出程序清单供阅读和修改,进而改善指控系统功能。     

一种基于程序域边界分析的测试方法

边界附近的点对程序故障更加敏感.针对这一特征,提出了一种基于程序域边界分析的测试方法.从被测程序本身出发,进行定义域确定及子域划分,分析定义域边界和子域边界,并跟据其边界测试点产生测试用例,以检测域边界附近的处理.实验表明对定义域边界及其子域边界进行测试,可有效地提高故障覆盖率.     

Testing of software with an operational profile

One of the important features of any software system is its operational profile. This is simply the set of all operations that a software is designed to perform and the occurence probabilities of these operations. We present a new model on optimal software testing such that testing is done sequentially using a set of test cases. There may be failures due to the operations in each of these cases. The model parameters, consisting of testing costs and failure rates, all depend on the cases used and the operations performed. Our aim is to find the optimal testing durations in all of the cases in order to minimize the total expected cost. This problem leads to interesting decision models involving nonlinear programming formulations that possess explicit analytical solutions under reasonable assumptions. © 2000 John Wiley & Sons, Inc., Naval Research Logistics 47: 620–634, 2000     

槽头式野战管线水击波速计算方法研究

按照弹性水击理论,管线内发生水力瞬变时,其水击波速取决于管子的弹性、流体的可压缩性和管子受约束的情况。对于给定的输送介质,焊接式固定输油管线的水击波速是一个常数。而槽头式野战管线采用连接器连接,胶圈密封,这种特殊的连接方式改变了管子整体的弹性摸量,从而使水击波速的常规计算方法不再适用。本文研究了野战管线连接器连接方式时水击波速的影响,实验研究了在受到约束时,橡胶的弹性模量随所受压力的变化而变化的规律,推导出野战管线水击波速平均计算方法,推导的公式表明:与焊接式固定管线不同,野战管线的水击波速随管线内压力的增大而增大。     

长管水击最大水击压强的解析

从管道水击微分方程的特征分析入手,提出了水击特征方程的黎曼不变量和网格分析解,建立了管道水击问题的近似解析解,给出了长管水击最大水击压强的计算表达式。通过实际算例对解析解和数值解结果进行了比较。对水击微分方程的重力项也进行了讨论。     

含缺陷管道评价标准及方法研究

为提高含缺陷管道剩余寿命预测的精确程度,系统阐述了国内外含缺陷管道的评价标准及评价方法,介绍了AGA NG-18标准、ASME B31G标准以及缺陷的具体评价方法,分析了各自的特点,针对评价方法提出了以有限元分析为研究方向的结论。     

槽头式野战管线水击波速测量研究

液体管道的水击波速受流体压力、温度、分子结构、含气量及管线几何尺寸、管材等因素的影响,准确地确定管线的水击波速是一个相当困难的问题,通过实验测量水击波速是一个常用方法。管线水击波速的常用测量方法有波前法和周期法。综合运用波前法和周期法,设计了实验测量野战管线的水击波速,并将实验结果与笔者先前提出的水击波速计算公式的计算结果作了对比,验证了公式的有效性。     

太阳观测卫星的数传天线波束及其指向设计

针对三轴稳定对日指向姿态的太阳同步轨道卫星,提出为获得最大对地数据传输时间的天线波束设计及布局方案。根据某型太阳观测卫星的轨道姿态设计方案,建立数传天线对指定地面站的天线波束指向仿真模型;使用卫星工具包STK仿真软件,分析不同波束角方案及其可能的指向对数传时间的影响,发现了对日指向卫星与对地指向卫星在数传时间上的不同规律,找到最优的天线波束布局来获得最大的数传时间;根据星载数传能力与不同天线波束宽度之间的关系,获得传输数据的最佳天线波束宽度,为这类卫星数传天线的波束设计及其布局提供设计依据。