本文關(guān)鍵詞：基于行為聲明軟件可信性測試方法的研究，由筆耕文化傳播整理發(fā)布。

【摘要】：在互聯(lián)網(wǎng)時代的今天,Web應(yīng)用軟件的發(fā)展逐漸走向成熟,使得人們的工作方式也隨之改變。然而,應(yīng)用軟件的規(guī)模正在不斷擴(kuò)大,使得軟件的內(nèi)部結(jié)構(gòu)比以前更加復(fù)雜,應(yīng)用的環(huán)境也隨之變得更加開放,導(dǎo)致網(wǎng)站被攻擊的事件時有發(fā)生,使得軟件的可信性問題日益凸顯,尤其表現(xiàn)在安全性、可靠性、可用性等幾個方面。軟件可信性是指軟件的行為和結(jié)果符合用戶預(yù)期,并在受到干擾時仍能提供連續(xù)服務(wù)的能力。目前,對于軟件可信性的研究,主要提出了雙系統(tǒng)體系結(jié)構(gòu),該結(jié)構(gòu)主要是以軟件可信基為基礎(chǔ),與原有的軟件系統(tǒng)相結(jié)合而成。在該體系結(jié)構(gòu)下,認(rèn)定軟件的可信性與應(yīng)用需求和軟件行為有著緊密的關(guān)系。然而,對于軟件可信性測試的相關(guān)理論方法還未完善,本文以Web應(yīng)用軟件作為研究對象,對軟件可信性的測試方法進(jìn)行研究。本研究以行為聲明作為切入點(diǎn),定義了行為聲明的通用框架結(jié)構(gòu);在全生命周期可信過程保障模型的支撐下,對行為聲明在該模型中作用進(jìn)行研究,得出了行為聲明在軟件開發(fā)過程中各個階段的作用,并定義了Web應(yīng)用軟件的可信屬性;在此基礎(chǔ)上,提出了Web應(yīng)用軟件可信性驗(yàn)證模型,并在此驗(yàn)證模型的支撐下,提出了軟件可信性測試方法;然后針對該測試方法中的關(guān)鍵問題進(jìn)行研究,提出了行為聲明分析的方法和流程,并根據(jù)行為聲明分析的結(jié)果,結(jié)合遺傳算法相關(guān)知識,進(jìn)行測試用例的自動生成,從而生成相應(yīng)的測試用例;最后,設(shè)計并實(shí)現(xiàn)了軟件可信性測評系統(tǒng),在功能的實(shí)現(xiàn)上,本系統(tǒng)支持對行為聲明定義與生成,在此基礎(chǔ)上能夠自動生成測試用例,通過本系統(tǒng)可以對軟件可信性進(jìn)行測試,最后還提供了測試報告生成功能。
【關(guān)鍵詞】：Web應(yīng)用軟件 軟件可信性 行為聲明 測試用例自動生成
【學(xué)位授予單位】：北京工業(yè)大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2016
【分類號】：TP311.53
【目錄】：

• 摘要4-5
• Abstract5-8
• 第1章 緒論8-14
• 1.1 研究背景8-9
• 1.2 研究現(xiàn)狀9-11
• 1.2.1 可信計算研究現(xiàn)狀9-10
• 1.2.2 軟件可信性研究現(xiàn)狀10-11
• 1.2.3 存在的問題11
• 1.3 論文研究內(nèi)容11-12
• 1.4 論文組織結(jié)構(gòu)12-14
• 第2章 關(guān)鍵概念介紹14-24
• 2.1 可信計算14-17
• 2.1.1 可信計算基本思想14-15
• 2.1.2 軟件的可信性15-17
• 2.2 遺傳算法的基本概念17-22
• 2.2.1 標(biāo)準(zhǔn)遺傳算法17-18
• 2.2.2 SGA流程圖18-19
• 2.2.3 編碼19
• 2.2.4 適應(yīng)度函數(shù)19-20
• 2.2.5 選擇操作過程20
• 2.2.6 交叉操作過程20-22
• 2.2.7 變異操作過程22
• 2.3 本章小結(jié)22-24
• 第3章 基于行為聲明的軟件可信性測試方法24-36
• 3.1 行為聲明的定義及內(nèi)容24-26
• 3.2 全生命周期可信保障模型26-31
• 3.2.1“言行一致”思想27-28
• 3.2.2 需求階段應(yīng)用軟件可信性驗(yàn)證內(nèi)容28-30
• 3.2.3 系統(tǒng)設(shè)計階段應(yīng)用軟件可信性驗(yàn)證內(nèi)容30
• 3.2.4 系統(tǒng)實(shí)現(xiàn)階段應(yīng)用軟件可信性驗(yàn)證內(nèi)容30
• 3.2.5 系統(tǒng)測試階段應(yīng)用軟件可信性驗(yàn)證內(nèi)容30-31
• 3.2.6 系統(tǒng)上線運(yùn)行和維護(hù)階段應(yīng)用軟件可信性驗(yàn)證內(nèi)容31
• 3.3 Web應(yīng)用軟件可信性驗(yàn)證模型31-33
• 3.4 Web應(yīng)用軟件可信性測試流程33-35
• 3.4.1 測試計劃設(shè)計33-34
• 3.4.2 測試需求定義與行為聲明分析34
• 3.4.3 測試用例設(shè)計34-35
• 3.4.4 實(shí)施測試與測試報告生成35
• 3.5 本章小結(jié)35-36
• 第4章 基于行為聲明自動生成測試用例的方法36-48
• 4.1 測試用例自動生成模型36
• 4.2 行為聲明的分析36-42
• 4.2.1 行為聲明規(guī)則分析37-38
• 4.2.2 行為聲明在軟件程序中的路徑分析38-41
• 4.2.3 路徑結(jié)構(gòu)中節(jié)點(diǎn)的等價類分析41-42
• 4.3 基于遺傳算法測試用例的自動生成42-45
• 4.3.1 參數(shù)編碼42-43
• 4.3.2 種群初始化43
• 4.3.3 適應(yīng)度函數(shù)設(shè)計43-44
• 4.3.4 遺傳算子設(shè)計44-45
• 4.3.5 實(shí)驗(yàn)結(jié)果45
• 4.4 本章小結(jié)45-48
• 第5章 基于行為聲明軟件可信性測試方法的應(yīng)用48-66
• 5.1 系統(tǒng)需求分析48-52
• 5.1.1 功能性需求48-52
• 5.1.2 非功能性需求52
• 5.2 系統(tǒng)設(shè)計52-58
• 5.2.1 系統(tǒng)架構(gòu)設(shè)計52-53
• 5.2.2 系統(tǒng)數(shù)據(jù)庫設(shè)計53-55
• 5.2.3 主要模塊詳細(xì)設(shè)計55-57
• 5.2.4 行為聲明的定義及文件生成57-58
• 5.3 系統(tǒng)實(shí)現(xiàn)58-63
• 5.3.1 系統(tǒng)實(shí)現(xiàn)環(huán)境58
• 5.3.2 系統(tǒng)主要功能的實(shí)現(xiàn)58-63
• 5.4 系統(tǒng)測試63-64
• 5.5 本章小結(jié)64-66
• 結(jié)論66-68
• 參考文獻(xiàn)68-72
• 攻讀碩士學(xué)位期間取得的研究成果72-74
• 致謝74

【相似文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前10條

1 魏蓉;;防火墻測試方法的研究[J];科技創(chuàng)新導(dǎo)報;2009年02期

2 ;電視機(jī)頻通道統(tǒng)一測試方法(暫行)[J];廣播與電視技術(shù);1977年02期

3 馬喜騰;葉紹英;曾起驤;王寧海;;關(guān)于我國云紋測試方法的重要元件——密柵版的研制[J];機(jī)械強(qiáng)度;1981年02期

4 陸正偉;耳機(jī)的測試方法[J];電聲技術(shù);1985年03期

5 孫隆慶;;評“美國電子管測試方法軍用標(biāo)準(zhǔn)”[J];真空電子技術(shù);1988年04期

6 王孫安;林廷圻;史維祥;;幾種轉(zhuǎn)速測試方法的比較[J];液壓氣動與密封;1992年04期

7 謝衛(wèi),劉鍵,李勝利;一個有效的數(shù)組下標(biāo)相關(guān)性測試方法[J];計算機(jī)工程與應(yīng)用;1993年04期

8 許世忠，周德;電話按鍵按力測試方法探討[J];電子標(biāo)準(zhǔn)化與質(zhì)量;1994年03期

9 周安利;解決千年蟲,IBM負(fù)重前進(jìn)[J];中國計算機(jī)用戶;1998年31期

10 張晰;測試頭測試方法及其性能、功能的分析[J];電信技術(shù);1999年03期

中國重要會議論文全文數(shù)據(jù)庫 前10條

1 章輝;;紡織品負(fù)離子發(fā)生量測試方法概述[A];“力恒杯”第11屆功能性紡織品、納米技術(shù)應(yīng)用及低碳紡織研討會論文集[C];2011年

2 曾桂生;;電子玻璃理化性能測試方法技術(shù)標(biāo)準(zhǔn)制定的綜述[A];第四屆理化分析經(jīng)驗(yàn)交流會論文集（下冊）[C];1990年

3 張立;邵闖;;隔熱材料聲載荷修正測試方法[A];第九屆全國振動理論及應(yīng)用學(xué)術(shù)會議論文摘要集[C];2007年

4 張炯;金惠華;;非干涉測試方法對異質(zhì)嵌入式系統(tǒng)的適應(yīng)[A];第四屆中國測試學(xué)術(shù)會議論文集[C];2006年

5 張立;邵闖;;隔熱材料聲載荷修正測試方法[A];第九屆全國振動理論及應(yīng)用學(xué)術(shù)會議論文集[C];2007年

6 黃盛修;侯冠廷;張光男;陳春萬;張振平;陳志杰;;空氣清凈機(jī)測試方法評估[A];第十屆全國氣溶膠會議暨第六屆海峽兩岸氣溶膠技術(shù)研討會摘要集[C];2009年

7 黃菁;李建欣;朱日宏;陳磊;何勇;;單幀干涉測試方法及其軟件實(shí)現(xiàn)研究[A];第十二屆全國光學(xué)測試學(xué)術(shù)討論會論文（摘要集）[C];2008年

8 齊超;楊茂華;孫曉剛;戴景民;;雙向反射分布函數(shù)的測試方法分析和實(shí)驗(yàn)研究[A];2002年中國光學(xué)學(xué)會年會論文集[C];2002年

9 王健忠;;玻纖布浸潤性測試方法的研究[A];第四屆全國覆銅板技術(shù)·市場研討會報告·論文集[C];2003年

10 王小曼;;“電子警察”闖紅燈系統(tǒng)的原理和測試方法的探討[A];華東華南計量學(xué)術(shù)交流研討會論文集[C];2012年

中國重要報紙全文數(shù)據(jù)庫 前10條

1 姜丹 記者 王梅;我國電纜及連接器行業(yè)首個測試方法成為國際標(biāo)準(zhǔn)[N];中國質(zhì)量報;2014年

2 本報記者 曹雅麗;統(tǒng)一測試方法 家電噪聲新標(biāo)準(zhǔn)實(shí)施在即[N];中國工業(yè)報;2014年

3 江蘇亨通光纖科技有限公司光纖分析實(shí)驗(yàn)室 王利英 馬愛惠 黃強(qiáng);G652D光纖宏彎損耗測試方法的實(shí)踐及數(shù)據(jù)分析[N];通信產(chǎn)業(yè)報;2010年

4 魏亮;網(wǎng)絡(luò)設(shè)備的主要測試方法[N];網(wǎng)絡(luò)世界;2002年

5 記者 蒙華;《材料負(fù)離子發(fā)生量的測試方法》建材行業(yè)標(biāo)準(zhǔn)有望年底出臺[N];中國建材報;2006年

6 北惃;了解自己 成就事業(yè)[N];市場報;2003年

7 本報記者 榮鈺;IP融合帶來測試方法學(xué)新發(fā)展[N];網(wǎng)絡(luò)世界;2004年

8 勞;新方法檢測快！快！快！[N];醫(yī)藥經(jīng)濟(jì)報;2001年

9 ;誰可分得SOC這杯羹[N];計算機(jī)世界;2003年

10 通訊員 劉曉杰;紡織品吸水性測試方法研發(fā)項目取得進(jìn)展[N];中國紡織報;2009年

中國博士學(xué)位論文全文數(shù)據(jù)庫 前1條

1 張巖;列車運(yùn)行控制系統(tǒng)軟件故障相關(guān)形式化測試方法[D];北京交通大學(xué);2012年

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 王騁曜;3D關(guān)鍵技術(shù)及測試方法研究[D];上海交通大學(xué);2014年

2 宋林;風(fēng)險測試方法在補(bǔ)丁測試中的應(yīng)用研究[D];西安電子科技大學(xué);2015年

3 趙溪山;電信業(yè)務(wù)支撐系統(tǒng)測試方法策略及其應(yīng)用探究[D];山東大學(xué);2015年

4 肖裕;MCU的ESD測試方法改進(jìn)及其IO防護(hù)設(shè)計研究[D];湘潭大學(xué);2015年

5 陳亦富;車身控制器功能測試方法改進(jìn)及實(shí)現(xiàn)[D];上海交通大學(xué);2014年

6 岳志強(qiáng);CCD放大器測試方法的研究與實(shí)現(xiàn)[D];電子科技大學(xué);2015年

7 徐小華;憶阻器測試方法及其觸發(fā)器應(yīng)用研究[D];華中科技大學(xué);2014年

8 韓曉迪;尼龍66聚合物中添加劑測試方法改進(jìn)[D];鄭州大學(xué);2016年

9 張惠玲;測試方法效應(yīng)對語法測試的影響—兩種語法題型的對比研究[D];廣東外語外貿(mào)大學(xué);2016年

10 沈鵬輝;快速OTA測試方法的設(shè)計與實(shí)現(xiàn)[D];湖南大學(xué);2016年

  本文關(guān)鍵詞：基于行為聲明軟件可信性測試方法的研究，，由筆耕文化傳播整理發(fā)布。

本文編號：268321