论文部分内容阅读
可靠性测试是软件可靠性工程中的一项重要工作内容。为了更好地支持可靠性测试数据的自动生成，提出了一套形式化建模方法，通过系统视图、使用类视图、剖面视图和操作描述视图，实现对被测系统的分析、可靠性测试输入建模。根据这些形式化描述信息，计算机可以自动抽取出适用于软件可靠性测试的测试数据。
实时嵌入式软件可靠性测试数据自动生成方法
【摘 要】
：
可靠性测试是软件可靠性工程中的一项重要工作内容。为了更好地支持可靠性测试数据的自动生成，提出了一套形式化建模方法，通过系统视图、使用类视图、剖面视图和操作描述视图，实
【机 构】
：
北京航空航天大学工程系统工程系011教研室
【出 处】
：
测控技术
【发表日期】
：
2007年3期
其他文献
<正>刘华为教授在治疗肿瘤疾病时特别注重中医气机和气化学说的研究,认为本病的发病与人体气机升降失调、脏腑气化失司、痰(饮、水、湿)瘀互结等病理因素密切相关,治疗的着眼
通过工程实例介绍了箱梁钢筋骨架整体吊装就位技术进行箱梁预制的施工方法,该方法使箱梁钢筋的绑扎与模板支立变成了平行施工,减少了箱梁模板及钢筋占用梁底的时间,加快了箱
随着信息技术的迅速发展,传统的以关键字为检索手段的信息获取技术已不能满足人们对信息的需求,如何高效准确地从海量的新闻和新闻评论中找到读者感兴趣的信息成为了信息检索
复合吸附剂是近年来处理船舶含油污水的热门吸油材料,以膨胀石墨/活性炭复合吸附剂为吸附剂、乳化油为吸附质,通过静态吸附实验,对乳化油在复合吸附剂上的吸附行为进行研究。
纵观中国百年的钢琴发展史,你不难发现对中国钢琴“民族化”的探索与发展,一直以来都是中国作曲家和钢琴家不懈的追求,纵观
Looking at the history of piano development i
机构知识库发展的内在动力问题一直是学术界研究的焦点。本文分别从机构知识库与机构知识库建设人员、机构知识库建设主体和机构知识库成员三方面利益关系角度进行了研究，揭示
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
金升阳秉承DC／DC宽压系列原有的优势特点，将超宽压系列的产品线进一步延长，在URA／B_D-5W的基础上，开发出URA／B_D-10W超宽系列宽压产品。该系列为金属屏蔽封装，体积小巧（50．8mm×25
以储望华钢琴音乐创作为研究载体，对其相关的研究文献进行梳理与分析，并在此基础上，探寻储望华根植于作品中的民韵之美与作曲家人生百态的内在关系，阐述其钢琴音乐创作对中国钢琴