软件的单故障模型及故障的测试方法

研究表明,软件中残留的故障一般都是难以测试,这些故障往往都是局部的、检测概率比较“小”的故障,也就是说,和正确的软件相比,这些故障的表现往往只是一个或几个符号发生错误,现提出的软件单故障模型正是基于这个原理。测试方法是以面向故障为基础,将故障的检测分为3个部分:故障语句的执行,故障的激活和故障的传播。为加速测试用例的生成,也同时提出了软件的故障模拟方法。最后,给出了部分实验结果。     

软件测试方法综述

论述了软件测试技术近几年来研究的最新成果。包括软件的故障模型、白盒测试技术、黑盒测试技术、人工测试技术、可靠性测试技术和测试性设计技术等。以作为对近十几年来软件测试技术发展的总结,还初步的探讨了软件测试技术今后的发展。     

我国专用汽车发展的制高点

一、国内外专用汽车发展现状与形势 专用汽车在世界范围内迅速发展起来是在20世纪70年代末。最早发展专用汽车产品的是美国和西欧一些国家。当时汽车工业出现世界性的萧条和滞销,发展专用汽车成了工业危机的一条出路。国外专用汽车生产企业在组织专用车生产时具有多品种、小批量,厂家多、规模小,零部件专业化生产等特点。     

大力弘扬与科学发展相适应的科学精神

科学精神是科学发展观的理论品质和基本属性,大力弘扬科学精神,是深入学习实践科学发展观的必然要求.在推动科学发展中要大力弘扬求真务实、改革创新、取信于民、依法办事、和谐发展的科学精神.     

共赢 协同 开放 成飞公司着力建设供应商管理体系

成飞公司经过多年的管理实践,在“共赢、协同、开放”思想指导下,逐步建立了一套具有自身特色的供应商管理体系。构建了“一个中心”、“两个结合”、“三个遵循”、“四维评价”为主要内容的供应商管理模式,形成了“三主动三深入”的供应商协作文化,为科研生产和用户使用提供了有力保障。     

一种双基地雷达空间同步模型设计方法

为了满足现代战争中双基地雷达的三大同步关键技术需求,提出了一种双基地雷达的空间同步方法,采用脉冲追赶式同步扫描模式,设计了接收天线指向角模型、扫描速度模型和波束宽度的模型,保证接收站无论是单基或双基工作都能够做到空间同步;并对模型进行了仿真,通过分析仿真结果得出了有用的结论,具有一定的学术和工程参考价值。     

混合递阶遗传算法的自适应小波神经网络优化设计

在研究自适应小波神经网络学习算法的基础上,提出了一种混合递阶遗传算法,与标准遗传算法相比,该算法不仅可以同时确定网络参数(连接权、尺度参数和平移参数),而且解决了网络拓扑结构的优化训练问题.仿真结果表明,该算法可以准确地搜索到自适应小波网络的网络参数和最优结构,并能大幅度提高学习效率,是切实可行的.     

“以德治国”方略与军队思想政治建设

军队贯彻“以德治国”的思想,就是要按照“三个代表”重要思想的要求,加强思想政治建设,在按照条令条例治军即以法治军的同时,做到以德治军,把以法治军与大力加强思想政治建设、以德治军紧密结合起来,将我军现代化建设提高到一个新水平。     

考虑气象因素的飞机空战能力评估模型

针对指数法评估飞机空战能力的不足,研究了气象环境对飞机作战效能的影响,分析了综合指数模型中飞机操纵性能、态势感知能力、火力性能受不良气象条件的影响,建立了不良气象环境下的飞机系统空战效能评估模型。最后以3种机型的空战能力评估为例进行计算,验证了所建模型是合理、可行的。     

重特大火灾灭火救援作战供水保障问题研究

为了更有效的搞好重特大火灾的扑救工作,供水保障成为火场指挥员必须研究的课题和火场必须解决的问题。结合自身基层工作的经验,通过对大量典型案例总结分析,归纳出重特大火灾扑救火场供水保障工作的特点和存在的问题,并从加强水源建设;科学运用供水方法;统一指挥,合理编成;搞好装备保障等四方面提出做好供水保障的具体措施。为消防部队在今后的灭火救援作战供水保障工作中,提供有益的借鉴和思考。