论文部分内容阅读
研究嵌入式软件可靠性仿真测试方法和环境。文中给出了仿真测试系统的体系结构，并结合该体系结构对嵌入式软件可靠性仿真测试的软硬件特性，软件可靠性仿真测试的方法、测试环境配置、关键技术及其可行的解决方案作了探讨。特别地，给出了一个生成测试用例的新方法。
嵌入式软件可靠性仿真测试系统研究
【摘 要】
：
研究嵌入式软件可靠性仿真测试方法和环境。文中给出了仿真测试系统的体系结构，并结合该体系结构对嵌入式软件可靠性仿真测试的软硬件特性，软件可靠性仿真测试的方法、测试环境
【机 构】
：
北京航空航天大学工程系统工程系,北京航空航天大学计算机科学与工程系
【出 处】
：
北京航空航天大学学报
【发表日期】
：
2000年4期
其他文献
时下,国内各地春耕行情正陆续启动,尿素需求也在随之增加。虽然华中、华东以及华北大部分市场尿素成交暂未明显好转。但后期尿素走势却仍被业内普遍看好。这其中最大的心理支
2012年，北美钾肥产量波动较大，其中。2-5月产量快速上涨，6—7月又急剧下降，7月产量达到全年最低点，95．6万吨。2013年1月产量为112．6万吨，较上月119．1万吨下降了5％，较去年同期．136．5万吨减
节后国内复合肥市场保持平稳运行，国内主流45％氯基复合肥出厂价为2350—2450元／吨，45％硫基复合肥出厂价为2600—2800元／吨。河北地区节前下游采购已经销售一波，由于冬储时该地区基层
近日，罗克韦尔自动化宣布收购业内领先的智能传输系统制造商MagneMotion，以进一步扩展其运动控制业务。MagneMotion拥有获得专利的高性能产品和伺服控制独立载运技术，将集成到罗
阐述了调度自动化的相关理论知识,并从硬件、软件两个方面对调控自动化系统结构进行分析,对调控自动化系统的相关核心功能进行了概述,最后以某地区的电网调控自动化系统在电
金秋赏菊时节,各种菊花斗香斗艳,装点着金秋的美丽和韵味。＂暗暗淡淡紫,融融冶冶黄。陶令篱边色,罗含宅里香。＂在李商隐的笔下,菊花是如此之美。陶渊明＂采菊东篱下,悠然见南山＂的
介绍多电平高压变频器的原理及其在某热电厂辅机变频节能改造中的应用情况．提出高压变频器应用于热电厂辅机变频改造的跨炉一拖二驱动设计方案。热电厂辅机系统采用跨炉一拖二
我是河南省封丘县贾庄金银花种植专业食作社理事长刘保彬。感谢中农控股农化专家的贴心服务，既保障了我社今年金银花种植的丰产，也保障了合作社的增收。感谢中农控股之“妙手”
简述了非流形造型的基本原理及其采用的基本操作，以及非流形几何造型布尔运算，侧重在基基本理论，包括：推广的Euler公式，集合属籍分类函数，正则集与正则集合运算；最后介绍了非流形造