软件的测试性分析与设计

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

探索城市民兵组织建设的新途径

近年来,随着国有企业的改革和多种所有制经济的迅速发展,原有的城市民兵编组模式不再适应生产组织形式的变化,难以满足高技术局部战争兵员动员的需要.为彻底改变这种状况,天津市针对未来高技术局部战争中滨海大城市海防作战和防空作战任务重,对专业技术兵员动员依赖性强的特点,紧紧围绕市场需要和战场要求,通过合理调整布局,突出编组重点,扩大编组范围,加大科技含量,逐步形成了以人口和产业集中的市区为重心,以国有大中型企业和科技密集型企业为支撑,以港口、船舶、化工、石油等工业集中的滨海沿线为主要方向的城市民兵编组新格局,从而为城市民兵工作注入了新的生机和活力.     

2000年全国测试学术会议在我院召开

２０００年全国测试学术会议（ＣＴＣ２０００）于１０月１６日～１８日在我院召开。全国人大常委陈俊亮院士和沈绪榜院士、魏道政研究员等我国测试领域著名学者出席了开幕式;香港中文大学教授吕容聪博士等４位测试领域国际知名学者应邀为大会作了４场精彩的学术报告,受到与会代表的普遍欢迎。 参加了本次学术会议的正式代表有１５０多位,分别来自中科院计算所、清华大学、上海大学、湖南大学、北京大学、同济大学、华为公司等单位。代表们分为测试理论及方法、ＩＣ及ＰＣＢ测试、自动测试系统技术、软件测试等４个兴趣组,听取了７０余…     

基于粒子群算法的多基地雷达优化布站方法

为提高多基地雷达探测及"四抗"能力,提出了一种基于混沌变异粒子群算法的多基地雷达优化布站方法.定性分析了多基地雷达的布站原则,并对其量化,建立了优化布站的数学模型.为加快求解速度,结合混沌理论对标准粒子群算法进行了改进,给出了混沌变异粒子群算法在该优化问题中的设计方法,并与标准粒子群算法和遗传算法进行了仿真对比.结果表明,该方法能够快速有效得出多基地雷达优化布站方案.     

面向嵌入式火控软件的划分测试设计

根据嵌入式火控软件的数据特点 ,设计了相应的划分测试原则。并以某型坦克火控软件的实验数据对比了划分测试与随机测试的覆盖率 ,总结出对于该类软件划分测试具有一定的优势     

消防部队实物资产管理的几点思考

消防部队实物资产管理存在的问题及对策.加强管理,健全机制;资产与财务管理相结合;审计监督;依法管理.     

金戈铁马有“奇兵”

在新疆巴音郭楞地区,博斯腾湖犹如一条晶莹剔透的飘带,为塔克拉玛干大沙漠增添了几分姿色。湖上有一支远近闻名的“水上轻骑兵”,这就是多次荣获自治州和巴音郭楞军分区先进单位的博湖县湖上民兵应急分队。他们常年战斗在高原湖泊,配合当地渔政、公安、工商等部门破获了一起起非法捕鱼和走私案件,受到领导和群众称赞。 随着西部大开发的兴起,博斯腾湖宝贵的水产和旅游资     

黎曼积分定义的一种等价形式

给出了定积分的另一种定义形式。这一定义去掉了黎曼积分定义中求和表达式Σ↑ｎ↓ｉ＝１ｆ（ξｉ）Δｘｉ中ξｉ取点任意性的要求,并且在被积函数有界的条件下,证明这种定义与黎曼积分定义等价。     

软件测试中的路径划分技术

路径覆盖测试准则要优于其它已知的覆盖准则,但由于对一般的软件,路径数目太大,以至实际难以实现。路径划分是路径覆盖技术的一个折中方法。给定的程序Ｐ和给定模块的最大路径数目ｋ,按就近原则,现给出了一种划分Ｐ的算法,使得每个划分后的模块所包含的路径数目都少于等于ｋ。同时也给出了最佳划分的度量标准和最佳划分方法。