论文部分内容阅读
随着软件的广泛应用,特别是软件在尖端领域的应用,软件可靠性成为一个非常重要的问题。形式化规范在软件可靠性研究中能够起到的作用是多方面的。本文针对非形式化统计使用测试的不足,结合已有的早期可靠性估计方法,设计了优化算法,并提出了即使在设计中采用了形式化规范仍然需要测试的结论。
形式化规范在软件可靠性早期估计中的应用研究
【摘 要】
：
随着软件的广泛应用,特别是软件在尖端领域的应用,软件可靠性成为一个非常重要的问题。形式化规范在软件可靠性研究中能够起到的作用是多方面的。本文针对非形式化统计使用测
【机 构】
：
海军工程大学装备经济研究所,湖南女子学院
【出 处】
：
微型机与应用
【发表日期】
：
2011年11期
其他文献
1.挖掘机：抢到竞品前面,快速挖掘商家互联网市场的扩展速度要领浓缩成一个字,就是快。在寻找目标商家之前,需要有商家脸谱,即怎样的商家能入法眼？需要具备哪些条件？内心要有清晰
司法公正已经成为十八大以来我国司法体制改革的目标。将我国民事诉讼目的定位为“公正解决纠纷”，符合司法体制改革下我国民事诉讼制度的发展方向，并且具有理论上的自洽性。民
仰望星空,我们会好奇,宇宙中是否真的有其他智慧生物;思索成长,我们会好奇,长大成人的方向是什.....脑海中新鲜的念头不断涌现,但通常转瞬即逝,没有想过找寻答案,更没想过把
城市植被是城市里覆盖着的所有生活植物的总和。城市植被具有结构单一,生存环境和区系成分被特化,格局园林化,演替偏途化等特点,完全不同于自然植被的特征。城市植被大至可划
寒假期间校园都开启了＂安静模式＂。虽然目前看来Wi-Fi控们还未全员归位,但是当下最热的Wi-Fi精神依旧充斥在校园的每一个角落!现在是最适合校园思考的时间：是否担心网络连接的安
高校在人才培养的过程中,要对其进行基础课程的教学,其中机电一体化课程体系中包含的专业性内容较多,完善专业课程教育体系,增加讲解的知识内容,才能够不断提升人才培养的水
我国大部分地区2～3月是一年中气候变化较为剧烈的时期，气温起伏变化大，常有寒潮和强冷空气影响，也常产生低温连续阴雨及春寒天气，乍寒乍暖天气较多。因此，做好早春管理，对于养猪生产
<正>近年来,随着618电商年中大促的临近,在"剁手党"们购物狂欢的同时,不少消费者频频"吐槽"在网购过程中遭遇到了用户信息泄漏、账户被盗这类问题。近日,有消费者反映称,在京
道德与法治课因其内容的理性和抽象,在常规教学中往往出现教师教学方式单一、学生缺乏学习兴趣的问题。究其原因,占主导方面的还是教学方法不得当、对象性不强。对此,本文提