安全性关键软件的可靠性测试

【摘要】载人运载火箭故障检测处理软件为载人航天系统中的安全性关键软件。在概述常规软件可靠性测试的方法、特点、测试条件和测试步骤的基础上,结合测试实践提出了安全性关键软件的可靠性测试方法。
【作者】周新蕾；缪峥红；
【机构】国防科技工业质量与可靠性研究中心；航天软件评测中心；
【关键词】安全性关键软件；软件可靠性；软件可靠性测试；

【参考文献】
[1]王凤姣.行政事业单位内部控制制度建设水平评价研究[D].北京交通大学,2014.
[2]王东红.随机产出和需求下的定价与库存控制研究综述[J].物流技术,2014,01:20-24.
[3]荀霄.对黑客现象的哲学思考[D].太原科技大学,科学技术哲学,2013,硕士.
[4]赵睿华.马克思分配理论与我国个人收入分配差距研究[D].西北师范大学,马克思主义基本原理,2013,硕士.
[5]蒋进明.C_f/ZrC-SiC耐超高温陶瓷基复合材料的制备及性能研究[D].国防科学技术大学,材料科学与工程,2012,硕士.
[6]苏爱宁.电网连锁过载模式下节点注入功率的作用研究[D].河北科技大学,电机与电器,2013,硕士.
[7]刘玉娥,卢增斌,叶恭银.转cry1Ab基因粳稻对稻纵卷叶螟成虫产卵行为的影响[J].植物保护学报,2015,01:17-24.
[8]李旭芳.节约型政府机关管理信息服务机制构建及评价研究[D].山西财经大学,情报学,2014,硕士.
[9]刘艳.上市公司社会责任信息披露市场反应研究[D].安徽大学,会计学,2014,硕士.
[10]聂凯.数据仓库在保险经纪公司业务管理系统中的应用[D].中南大学,2004.
[11]蒋继文.热丝CVD法低温快速沉积碳化硅基硅纳米晶薄膜的研究[D].大连理工大学,微电子学与固体电子学,2013,硕士.
[12]李锦,许伟,邵荣,颜秀花,韦萍.响应面法优化灰兜巴多肽脱色工艺[J].食品工业科技.
[13]张颖.多水平模型在农村已婚育龄妇女生殖道感染研究中的应用[D].北京协和医学院,流行病与卫生统计学,2013,博士.
[14]张丽华.关联理论对广告及其翻译的诠释力[D].福建师范大学,英语语言文学,2004,硕士.
[15]刘大中.典型城市污水处理厂提标改造分析[D].西安建筑科技大学,建筑与土木工程,2013,硕士.
[16]王珊珊.基于LTE-Advanced的动态资源分配技术研究[D].哈尔滨工业大学,信息与通信工程,2013,硕士.
[17]王立权.雪被—农田土壤复合系统复杂性分析及水热互作效应研究[D].东北农业大学,农业水土工程,2014,博士.
[18]祝斌野.七节骨推拿方向的临床效应研究[D].成都中医药大学,针灸推拿学,2012,硕士.
[19]李新平.聚氨酯基有机硅改性高分子湿摩擦牢度提升剂的制备与应用[D].武汉纺织大学,物理化学,2014,硕士.
[20]杨松淞.中药周期加灌肠综合干预卵巢子宫内膜异位囊肿术后复发疗效观察[D].广州中医药大学,中医妇科学（专业学位）,2013,硕士.
[21]徐绕山.COM组件技术在数据挖掘中的应用研究[D].南京航空航天大学,2004.
[22]李富宽.内蒙古新牧区建设中的政府职能研究[D].内蒙古大学,公共管理,2013,硕士.
[23]左一锟.基于关系型融资的企业持股银行价值分析[D].复旦大学,财务管理,2012,硕士.
[24]田彦杰.基于集成模型的间歇式染色过程控制方法研究[D].浙江理工大学,测试计量技术及仪器,2013,硕士.
[25]赵京.明代中后期的商人旅游[D].华东师范大学,中国古代史,2013,硕士.
[26]王园.可变信息标志条件下动态交通分配模型研究[D].哈尔滨工业大学,交通运输工程,2013,硕士.
[27]高翔,游红武,翁晓红,翁泽宇.机床系统静刚度试验用千分表测力环力学特性[J].轻工机械,2013,03:28-31.
[28]李幼瑶.主题公园消费体验、体验价值和行为意向关系的研究[D].浙江大学,2007.
[29]王小力,庞凯歌,刘卫华,李昕,田康,尹艳南,张娟.石墨烯折角场发射特性[J].光子学报,2014,11:7-11.
[30]米爱中.基于多分类器组合的网络入侵检测方法研究[D].广西大学,2005.
[31]黄贺.工业设计类通用平台软件界面的视觉延伸设计[D].吉林大学,设计艺术学,2014,硕士.
[32]吴子尧.离心式通风机整机三维数值模拟及其结构改型设计分析[D].东北大学,工程热物理,2010,硕士.
[33]罗派峰.钡填充Skutterudite化合物的合成及其热电性能研究[D].武汉理工大学,材料学,2004,硕士.
[34]夏雷.英语广告的语言特色[D].上海师范大学,英语语言文学,2003,硕士.
[35]闫伟鹏.仿真转台用摆动式电液伺服马达关键密封及零件研究[D].哈尔滨工业大学,机械电子工程,2013,硕士.
[36]韩冰.翻译伦理在唐诗两英译本中的美学再现作用对比研究[D].沈阳师范大学,外国语言学及应用语言学,2014,硕士.
[37]董颖.知识服务机制研究[D].中国科学院研究生院（软件研究所）,2003.
[38]丁学敏.张大复小品文研究[D].内蒙古大学,中国古代文学,2013,硕士.
[39]李莹.法定犯客观构造模式研究[J].河南社会科学,2014,12:48-53+123.
[40]陶双双.废旧电子电器产品再利用物流网络及其成本控制模型研究[D].华东交通大学,企业管理,2013,硕士.
[41]成明.PE二级市场法律制度研究[D].四川省社会科学院,法律（专业学位）,2014,硕士.
[42]王海东.基于PCI总线的电能计量装置监测系统的研究[D].华北电力大学（河北）,电力系统及其自动化,2004,硕士.
[43]陈久军,盛颂恩,陈燕飞.Rough集理论在故障诊断专家系统中的应用研究[J].机电工程,2002,03:49-51.
[44]唐立郦.GsZFP1和GsWRKY20基因转化苜蓿及耐盐耐旱性分析[D].东北农业大学,植物学,2013,硕士.
[45]李峰.经皮肾镜治疗鹿角形结石的临床研究[D].南方医科大学,外科学,2012,硕士.
[46]朱君.坦帕湾海洋环境动力诊断和海水滞留时间的研究[D].中国海洋大学,物理海洋学,2014,博士.
[47]唐兴聪.中国传统绘画空间中的留白[D].曲阜师范大学,美术学国画人物,2013,硕士.
[48]李春海,王志辉.卡拉胶生产中助滤剂的选择[J].食品与发酵工业.2003(06)
[49]石丹,李涛.浙江省高校教师工资收入影响因素分析[J].经济论坛,2012,07:24-29.
[50]杜一平.成都莫仕新产品开发中的界面管理[D].电子科技大学,工商管理（专业学位）,2012,硕士.