基于分形的软件可靠性模型和程序证明的数学机械化.pdf

文档介绍：⒅俺啤⒀弧⒌ノ幻萍暗刂论文提交日期论文答辩日期学位授予单位和日期答辩委员会主席评阅人注鹤⒚鳌豆适掷喾║返睦嗪拧
\
≮●
签名:』组导师签名:。据我所知,除了文中特别加以标注和致谢的地方外,论文中不包含其他人已经发表或撰写过的研究成果,也不包含为获得电子科技大学或其它教育机构的学位或证书而使用过的材料。与我一同工作的同志对本研究所做的任何贡献均已在论文中作了明确的说明并表示谢意。本学位论文作者完全了解电子科技大学有关保留、使用学位论文的规定,有权保留并向国家有关部门或机构送交论文的复印件和磁盘,允许论文被查阅和借阅。本人授权电子科技大学可以将学位论文的全部或部分内容编入有关数据库进行检索,可以采用影印、缩印或扫描等复制手段保存、汇编学位论文。C艿难宦畚脑诮饷芎笥ψ袷卮斯娑日期:砂年。日
一■、
摘要软件可靠性模型,对于软件可靠性估测起着核心的作用。软件可靠性模型是当前软件可靠性工程研究中的热点问题之一。程序正确性证明可以象证明数学定理一样证明程序是正确的,它对于可信计算具有重要意义。数学机械化思想是我国古代数学的精髓,不同于西方数学的公理化思想,我们可以运用机械化思想考察程序正确性证明。本文对软件可靠性模型和程序正确性证明进行了创新性和探索性研究。主要内容为:梅中渭负蔚姆椒ǚ治隽巳砑奔湫蛄校⑾至似渲械姆中喂叵担出了分形软件可靠性模型,并将其应用于软件可靠性的预测,其模型较简单,却实验结果良好。梅中文P陀階模型在分析时间序列线性和非线性方面的优势,提出了软件可靠性分形与幕旌夏P停玫奖纫话愕牡ジ鋈砑煽啃阅P预测更好的预测效果。Щ祷奈夥椒ㄓτ糜诔绦蜓凡槐淞康募扑愫头⑾郑湫阅芎糜椒ā夥椒ㄓτ糜诘莨槌绦虻恼沸灾っ鳎ü扑愣皇峭频嫉姆椒ǎ证了递归程序的正确性。关键词:软件可靠性,分形,夥椒ǎЩ祷
甒,甒琣.’:琭,疭,甅/....Ⅱ●