故障检查间隔期的简化计算方法

建立了定期故障检查策略下系统的可用度模型,在满足系统可用度要求的条件下,可以使用该模型确定故障检查工作的间隔期。为了简化故障检查间隔期的计算,给出了故障时间服从指数分布时,故障检查间隔期的上、下限计算公式及应用示例。     

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

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

电子对抗装备软件的静态分析方法

软件的静态分析在很大程度上是对编写软件的语法和文本进行检查,使其符合工程项目的需要.使用C Test可以帮助编程人员和测试人员完成对程序的自动静态测试.测试人员还可以自定义检查规则来完成对代码的特定需求检查.     

数据驱动自动化测试方法研究

介绍了一种数据驱动方法,用以实现自动化测试.通过对测试数据的产生及选取、控制数据调度的研究发现,不仅应用更灵活的数据驱动方法,对程序进行更深、更广的测试,而且无需编写脚本,只需填写测试表,即可完成全面的自动化测试.这样,即使非技术人员也能够开发测试数据,完成数据驱动自动化测试.     

道是无声却有“意”——海军对外交往中的非言语行为

为了促进我国海军与外国海军的友谊,我们必须注意军事交往中的文化交流。如果说扎实的外语基础、正确运用目的语的语法和词汇知识的能力有助于我们理解和构造句子,那么熟恶与语言有关的国情,民俗等文化知识则有助于得当地使用语言。这就需要我们在掌握语言的基本组成部分——语音、语法、词汇的同时,了解对方的民族文化习惯。     

析陶渊明的生命哲学

陶渊明诗文所体现的理想和追求,其生命观、价值观、审美观、道德观等,体现了他的生命哲学。这种生命哲学是中国古代文化史上追求道德完善的一种全新的道德范式,为中国古代知识分子寻找独立的人格进行了一次可贵的尝试。     

警用捕捉网的设计及其技术难点

警用捕捉网是非致命性武器捕捉网及发射器系统的核心组成部件 ,设计新颖 ,成本低 ,便于快速形成战斗力     

烟幕，未来战场施展“十八般武艺”

人工造成的起屏蔽作用的烟雾称烟幕。它作为一种特殊武器,在漫长的战争岁月里曾经备受历代军事家的青睐。随着高新技术在军事领域的应用,用新技术生成的烟幕,不仅能干扰、遮蔽可见光,对肉眼看不到的红外光、激光也有吸收和散射作用,使光电侦察和目视一样受到障碍。因     

进一步强化人武干部动员业务与指挥训练

人武部是国防动员和后备力量建设的一线指挥部。新形势下,必须适应信息化战争的要求,着眼我军使命任务的拓展,全面加强和改进人武干部动员业务和指挥训练,切实把人武部建设成为坚强有力的国防动员和后备力量建设一线指挥部。     

“咱团有位擎旗人”——记河北某预备役炮兵团第一政委邓沛然

走进河北某预备役炮兵团荣誉室,那一个个奖杯、一块块奖牌、一面面锦旗,让人目不暇接,令人由衷赞叹,它们记录着该团近年来的创业历程和取得的骄人成绩。提及这些荣誉,该团官兵无不感叹说:"咱团有位擎旗人。"他就是沧州市委副书记、团第一政委——邓沛然。近年来,随着社会经济的发展变化,预备役工作面临一些新情况、新问题、新挑战。部分国有企业在调整改革中精简人员,定岗定位,符合编组预备役条件的人越来越少,"有编无兵"的问题日益突出;非公有制企业却异军突起,聚集了大量适龄青年和优秀人才,"有兵无编"的难题摆在眼前。