【摘 要】
：
针对国内大飞机及新一代战机机栽软件综合化、模块化的特点，根据机载软件适航验证要求，在分析传统黑、白盒测试方法与DO-17813《机载系统和设备合格审定的软件考虑》中软件验证
【机 构】
：
北京航空航天大学可靠性与系统工程学院
论文部分内容阅读
针对国内大飞机及新一代战机机栽软件综合化、模块化的特点，根据机载软件适航验证要求，在分析传统黑、白盒测试方法与DO-17813《机载系统和设备合格审定的软件考虑》中软件验证要求适用性的基础上，应用灰盒理论，建立了满足软件适航验证要求的灰盒测试方法及其应用过程，并对该方法展开了分析，说明了其局限性，并对测试环境提出了新的需求。
其他文献
【正】2011年12月27日证监许可[2011]2114号浙商基金管理有限公司:你公司报送的《浙商基金管理有限公司关于开展特定客户资产管理业务的申请报告》(浙商基金[2011]67号)及相
【正】2010年9月14日证监许可[2010]1273号浙江永强集团股份有限公司:你公司报送的《关于首次公开发行股票的申请报告》及相关文件收悉。根据《公司法》、《证券法》和《首次
鹿的人工授精技术是改善和提高鹿群品质,培育鹿品种的关键技术.近两年在我团鹿场开展了马鹿的人工授精工作,怀胎率达80%,现将其技术报道如下.1 授精母鹿的组群饲养在8月底仔
1 精心饲养妊娠母犬母犬在妊娠62天左右分娩,在分娩前30天应给予新鲜、优质、适口性好、营养全面的多样化的动物性和植物饲料,满足其营养需要.
一款处理皮肤外伤的非处方药百多邦与世界杯有什么关系？2010年南非世界杯让百多邦完成了一次＂多元化网络营销＂之旅。
静电纺丝又称电纺丝,是一种简单高效制备高分子微纳米纤维的技术,具有设备简单、实验成本低、纤维产率高、制备出的纤维比表面积较大、适用广泛的独特优势。近年来,各种生物
板蓝根(Isatis indigotica Fort.)又叫菘蓝、菘青、草大青,其根为中药板蓝根,具有清热解毒、凉血利咽之功能;其叶为中药大青叶,具有清热解毒、凉血消斑之功效.其叶中含靛蓝,
研究了铁氰化钾-过氧化氢氧化鲁米诺化学发光行为,依据铜对该化学发光反应的抑制作用,建立了微量钢的化学发光测定法,该法要出限为2.5×10<sup>-10</sup>g/ml,线性范围为
<正> 吴国梁同学问:“如何分析《俭以养德》一文中措词的准确性?”一般文章的语言都应当是准确、鲜明、生动的。对于议论文来说,准确性的要求更为严格,表现在概念使用准确、