论文部分内容阅读
阐述了软件测试 ,特别是软件可靠性测试的概念 ,论述了软件运行剖面和测试用例的生成方法。文中给出了一个已经开发成功的嵌入式软件仿真测试环境 ,包括该测试环境的体系结构与基本功能
软件可靠性测试及其测试环境
【摘 要】
：
阐述了软件测试 ,特别是软件可靠性测试的概念 ,论述了软件运行剖面和测试用例的生成方法。文中给出了一个已经开发成功的嵌入式软件仿真测试环境 ,包括该测试环境的体系结构
【机 构】
：
北京航空航天大学工程系统工程系!100083;
【出 处】
：
测控技术
【发表日期】
：
2004年期
其他文献
对粘土矿物在当前环境污染治理中的基本应用做了介绍，并系统阐述了主要粘土矿物的结构特征、基本性能和主要应用。对粘土矿物材料在环境污染治理中的应用领域提出了一些思考，这
针对冷链危害信息模糊、控制点难以操作的特点,本文试结合HACCP的思想,构建了冷链危害风险测评因素指标体系框架;并结合层次分析法和模糊综合评价法,对冷链危害风险体系进行
构建了包含技术创新要素及二氧化硫排放要素的理论模型,并运用此模型对2000~2011年间我国中部六省技术创新要素对其二氧化硫排放的影响程度进行实证分析。得到如下结论:干中
养老保险制度的冲突已经成为长三角区域一体化的制度瓶颈之一，这既反映在长三角两省一市养老保险制度体系方面，也反映在多种具体制度方面。造成这种局面既有养老保障层次太低，各
目的 本研究旨在探讨神经母细胞瘤（NB）相关临床及分子生物学特征对中高危NB患儿治疗过程中发生肿瘤进展的预测价值;并分析NB相关肿瘤标记物的监测作用。方法 回顾性分析2015年1
"天潍1号"是以L-19为母本,L-39为父本杂交而成的丝瓜一代杂种。该品种早熟、生势强,连续坐果能力强。商品瓜棍棒型、瓜条直、粗细匀称、皮色浅绿、棱沟浅,瓜长42～52 cm,横径3.
GnRH免疫去势技术是近十多年来兴起的一项简单易行、效果良好的动物繁殖调控技术,现已在多种动物去势及避孕方面取得了较大发展。论文较为全面的介绍了GnRH的结构及生物学功
文章沿用长三角地区16个城市作为长三角经济圈的参照，指出宁波经济具有总量位次靠前但发展速度居后、财政实力总体处于中上水平等特征，通过分析宁波在长三角一体化进程中的优、
北方盐场盐用运输车辆的研制＠秦四成＠阚君武＠李振亮￥吉林工业大学工程机械系￥吉林工业大学轻工机械研究所￥天津汉沽盐场科技处北方盐场盐用运输车辆的研制秦四成阚君武李振亮长期以
目的探讨学生干部和普通学生的人格特质,为学生干部的选拔、培养和管理提供科学的依据和方法。方法采用卡特尔16种人格因素问卷对44名学生干部和42名普通学生进行调查。结果