切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
实时嵌入式软件可靠性测试数据自动生成方法
实时嵌入式软件可靠性测试数据自动生成方法
来源 :测控技术 | 被引量 : 0次 | 上传用户:slayerwei
【摘 要】
:
可靠性测试是软件可靠性工程中的一项重要工作内容。为了更好地支持可靠性测试数据的自动生成,提出了一套形式化建模方法,通过系统视图、使用类视图、剖面视图和操作描述视图,实
【作 者】
:
艾骏
陆民燕
阮镰
【机 构】
:
北京航空航天大学工程系统工程系011教研室
【出 处】
:
测控技术
【发表日期】
:
2007年3期
【关键词】
:
软件
可靠性
软件测试
操作剖面
使用剖面
software reliability software test operational profile usa
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
可靠性测试是软件可靠性工程中的一项重要工作内容。为了更好地支持可靠性测试数据的自动生成,提出了一套形式化建模方法,通过系统视图、使用类视图、剖面视图和操作描述视图,实现对被测系统的分析、可靠性测试输入建模。根据这些形式化描述信息,计算机可以自动抽取出适用于软件可靠性测试的测试数据。
其他文献
刘华为教授应用气化升降理论治疗肿瘤疾病的经验
<正>刘华为教授在治疗肿瘤疾病时特别注重中医气机和气化学说的研究,认为本病的发病与人体气机升降失调、脏腑气化失司、痰(饮、水、湿)瘀互结等病理因素密切相关,治疗的着眼
期刊
刘华为
肿瘤疾病
气化理论
升降理论
丹栀逍遥散
预制箱梁钢筋骨架整体吊装入模施工技术
通过工程实例介绍了箱梁钢筋骨架整体吊装就位技术进行箱梁预制的施工方法,该方法使箱梁钢筋的绑扎与模板支立变成了平行施工,减少了箱梁模板及钢筋占用梁底的时间,加快了箱
期刊
箱梁
钢筋骨架
整体吊装
基于情感分析的新闻浏览平台设计与实现
随着信息技术的迅速发展,传统的以关键字为检索手段的信息获取技术已不能满足人们对信息的需求,如何高效准确地从海量的新闻和新闻评论中找到读者感兴趣的信息成为了信息检索
期刊
情感分析
朴素贝叶斯
新闻平台
Java
膨胀石墨/活性炭复合吸附剂对乳化油吸附行为的研究
复合吸附剂是近年来处理船舶含油污水的热门吸油材料,以膨胀石墨/活性炭复合吸附剂为吸附剂、乳化油为吸附质,通过静态吸附实验,对乳化油在复合吸附剂上的吸附行为进行研究。
期刊
复合吸附剂
船舶
乳化油
吸附行为
composite adsorbentshipemulsified oiladsorption behavior
储望华钢琴音乐作品的民族化特征
纵观中国百年的钢琴发展史,你不难发现对中国钢琴“民族化”的探索与发展,一直以来都是中国作曲家和钢琴家不懈的追求,纵观 Looking at the history of piano development i
期刊
储望华
作曲家
钢琴家
钢琴音乐作品
民族化特征
民族器乐曲
中国钢琴音乐
钢琴独奏曲
机构知识库建设的动力研究
机构知识库发展的内在动力问题一直是学术界研究的焦点。本文分别从机构知识库与机构知识库建设人员、机构知识库建设主体和机构知识库成员三方面利益关系角度进行了研究,揭示
期刊
机构知识库
利益
动力
Institutional repositoryProfitMotive force
浅析生态城市建设中的人文关怀
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield
期刊
生态城市
人文关怀
应用更广泛、更安全的超宽压模块电源
金升阳秉承DC/DC宽压系列原有的优势特点,将超宽压系列的产品线进一步延长,在URA/B_D-5W的基础上,开发出URA/B_D-10W超宽系列宽压产品。该系列为金属屏蔽封装,体积小巧(50.8mm×25
期刊
模块电源
超宽
应用
安全
金属屏蔽
DC/DC
电压范围
隔离电压
论储望华钢琴音乐创作的民韵美
以储望华钢琴音乐创作为研究载体,对其相关的研究文献进行梳理与分析,并在此基础上,探寻储望华根植于作品中的民韵之美与作曲家人生百态的内在关系,阐述其钢琴音乐创作对中国钢琴
期刊
储望华
钢琴音乐创作
钢琴音乐研究
民韵之美
研华、Ampro、congatec共同推动新嵌入式系统模块标准XTX
研华、美国Ampro以及欧洲congatec三大工业计算机厂商,宣示共同制定并推动最新的嵌入式系统模块XTX规格标准,并欢迎更多的嵌入式厂商参与并推动这个产业计算机模块规格之制定,以
期刊
规格标准
系统模块
嵌入式
PCI-EXPRESS
工业计算机
计算机模块
重新设计
经济效益
技术规格
大幅度
与本文相关的学术论文