本文關(guān)鍵詞： 軟件可信性 失信證據(jù) 可信屬性 Cppcheck　出處：《華東師范大學(xué)》2017年碩士論文　論文類型：學(xué)位論文

【摘要】：由于軟件事故頻發(fā),軟件可信性成為目前學(xué)術(shù)界在軟件質(zhì)量保證方面重點關(guān)注的話題,其中可信性度量是首要研究課題。相比于通過對軟件開發(fā)過程的評估來度量軟件可信性,對軟件實體進行可信性度量更加貼合用戶實際需求。本文基于軟件源代碼的可信性度量反映軟件可信性,并提出一種自底向上的軟件可信度量體系,使得度量結(jié)果更加準確高效。首先,本文提出了軟件失信及失信證據(jù)的定義,圍繞定義對失信證據(jù)進行可信性分析,并提出失信證據(jù)可信等級模型和失信證據(jù)屬性模型,將這兩個模型應(yīng)用于CWE缺陷庫進行失信證據(jù)數(shù)統(tǒng)計。其次,本文提出一種新的度量方法。對軟件可信性進行自底向上分層度量,度量路徑為"屬性-軟件"。針對屬性可信度量提出一種綜合的屬性度量模型,并對該模型進行了相關(guān)性質(zhì)驗證。在軟件可信度量模型中通過基于屬性相互影響的方法確定各屬性權(quán)重。采用蒙特卡洛仿真驗證了該模型的有效性和穩(wěn)定性。最后,將上述提出的度量方法在工具上進行實現(xiàn)。該工具在開源靜態(tài)檢測工具Cppcheck的基礎(chǔ)上進行二次開發(fā),增加自定義失信證據(jù)檢查規(guī)則,形成了集檢測與評估于一體的軟件可信性靜態(tài)度量工具TSMT。本文提出的方法和工具形成了完整的軟件可信度量體系。該體系能夠應(yīng)用于軟件交付使用前的可信性度量,為用戶把握軟件可信性提供了幫助。
[Abstract]:Due to the frequent occurrence of software accidents, software credibility has become the focus of attention in the field of software quality assurance, in which credibility measurement is the primary research topic, compared with the evaluation of software development process to measure software credibility. The credibility measurement of software entities is more suitable to the actual needs of users. This paper presents a bottom-up software credibility measurement system based on the reliability metrics of software source code to reflect the software credibility. First of all, this paper puts forward the definition of software discredit and evidence of discredit, analyses the credibility of evidence of breach of trust around the definition, and puts forward the credibility level model and attribute model of evidence of breach of trust. The two models are applied to the CWE defect library to count the evidence of discredit. Secondly, a new measurement method is proposed, which measures the software credibility from bottom to top. The measurement path is "attribute-software". A comprehensive attribute measurement model is proposed for attribute credibility. In the software reliability model, the weights of each attribute are determined by the method based on the interaction of attributes. The validity and stability of the model are verified by Monte Carlo simulation. This tool is developed on the basis of open source static detection tool Cppcheck, and the self-defined rule of checking evidence of discredit is added. A static software credibility measurement tool TSMT. the methods and tools presented in this paper form a complete software credibility measurement system, which can be applied to the reliability measurement before the software is put into use. For the user to grasp the credibility of the software to provide help.
【學(xué)位授予單位】：華東師范大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2017
【分類號】：TP311.52

【參考文獻】

相關(guān)期刊論文 前10條

1 何超;李萌;李婷婷;彭雪;李婕;趙錦慧;;多目標綜合評價中四種確定權(quán)重方法的比較與分析[J];湖北大學(xué)學(xué)報(自然科學(xué)版);2016年02期

2 張俊;周勇;;一種基于軟件屬性相互影響和重要性的屬性權(quán)重分配方法[J];計算機應(yīng)用研究;2016年05期

3 王婧;陳儀香;顧斌;郭向英;王保華;金晟毅;徐建;張居陽;;航天嵌入式軟件可信性度量方法及應(yīng)用研究[J];中國科學(xué):技術(shù)科學(xué);2015年02期

4 丁滟;王懷民;史佩昌;吳慶波;戴華東;富弘毅;;可信云服務(wù)[J];計算機學(xué)報;2015年01期

5 王懷民;尹剛;謝冰;劉旭東;魏峻;劉江寧;;基于網(wǎng)絡(luò)的可信軟件大規(guī)模協(xié)同開發(fā)與演化[J];中國科學(xué):信息科學(xué);2014年01期

6 李金諾;;一種基于約束分析精簡控制流圖方法[J];計算機與現(xiàn)代化;2013年10期

7 李苗在;;基于證據(jù)推理的嵌入式軟件可信性評估方法[J];計算機應(yīng)用研究;2011年12期

8 李曉紅;王翔宇;張濤;易錦;馮志勇;;基于缺陷分析與測試評審的軟件可信性評價方法[J];清華大學(xué)學(xué)報(自然科學(xué)版);2011年10期

9 丁帥;楊善林;馬溪駿;闞紅星;;面向軟件演化的可信性評估自適應(yīng)模型[J];武漢大學(xué)學(xué)報(信息科學(xué)版);2010年05期

10 郎波;劉旭東;王懷民;謝冰;毛曉光;;一種軟件可信分級模型[J];計算機科學(xué)與探索;2010年03期

相關(guān)博士學(xué)位論文 前1條

1 陶紅偉;基于屬性的軟件可信性度量模型研究[D];華東師范大學(xué);2011年

，

本文編號：1544348