收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

形式化规范在软件可靠性早期估计中的应用研究

吕闽晖  吕敏蓉  
【摘要】:随着软件的广泛应用,特别是软件在尖端领域的应用,软件可靠性成为一个非常重要的问题。形式化规范在软件可靠性研究中能够起到的作用是多方面的。本文针对非形式化统计使用测试的不足,结合已有的早期可靠性估计方法,设计了优化算法,并提出了即使在设计中采用了形式化规范仍然需要测试的结论。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 吕闽晖;吕敏蓉;;形式化规范在软件可靠性早期估计中的应用研究[J];微型机与应用;2011年11期
2 ;[J];;年期
3 ;[J];;年期
4 ;[J];;年期
5 ;[J];;年期
6 ;[J];;年期
7 ;[J];;年期
8 ;[J];;年期
9 ;[J];;年期
10 ;[J];;年期
11 ;[J];;年期
12 ;[J];;年期
13 ;[J];;年期
14 ;[J];;年期
15 ;[J];;年期
16 ;[J];;年期
17 ;[J];;年期
18 ;[J];;年期
19 ;[J];;年期
20 ;[J];;年期
中国重要会议论文全文数据库 前6条
1 廖守亿;陈坚;陆宏伟;;基于Agent的建模与仿真中的模型框架形式化描述[A];2007系统仿真技术及其应用学术会议论文集[C];2007年
2 张宁;边小凡;薛林雁;;基于Web服务和构件的企业间工作流模型[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集(下)[C];2006年
3 燕飞;唐涛;;实时并发系统的形式化建模方法研究[A];2009系统仿真技术及其应用学术会议论文集[C];2009年
4 熊伟;张巨;景宁;;从空间完整性约束导出触发器ECA规则[A];第二十届全国数据库学术会议论文集(技术报告篇)[C];2003年
5 楼俊钢;江建慧;;软件可靠性预测中的转导推理理论[A];第六届中国测试学术会议论文集[C];2010年
6 贡岩;黄琳;;指挥自动化系统嵌入式软件可靠性评估[A];中国电子学会可靠性分会第十三届学术年会论文选[C];2006年
中国博士学位论文全文数据库 前6条
1 冯仕红;基于设计特征和参数化的工程化界面设计模式研究[D];山东大学;2008年
2 赵晓峰;虚拟制造环境的信息规范及其Z描述研究[D];山东大学;2010年
3 刘刚;并行离散事件仿真可视化组件建模技术研究[D];国防科学技术大学;2011年
4 屈振新;政务信息系统语义互操作研究[D];武汉大学;2010年
5 杨志鸿;软件可靠性增长模型的分析与研究[D];华中科技大学;2011年
6 曹涌;基于分形的软件可靠性模型和程序证明的数学机械化[D];电子科技大学;2010年
中国硕士学位论文全文数据库 前10条
1 任萌喆;装定发火控制器软件可靠性研究和设计[D];上海交通大学;2012年
2 冼丽嘉;错误定位序关系在程序修复中的应用与实现[D];中山大学;2012年
3 潘浪涛;铁路自动售票系统软件可靠性研究[D];中国铁道科学研究院;2012年
4 苗扬;软件可靠性测试与评估方法的改进[D];上海交通大学;2010年
5 林燕芬;基于形式化方法的软构件接口规范[D];华侨大学;2008年
6 李金荣;基于本体的教育信息资源整合研究[D];东北石油大学;2012年
7 谭介平;XML数据到OWL本体的转换方法的研究[D];华东交通大学;2011年
8 张卫;实时系统的形式化设计与辅助代码生成研究[D];华中科技大学;2006年
9 陈艳;并发实时系统的模型及其形式化[D];广西师范大学;2008年
10 苏文地;热带县域农业资源管理系统的设计与实现[D];海南大学;2012年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978