隨著互聯(lián)網(wǎng)和軟件產(chǎn)業(yè)的蓬勃發(fā)展,五花八門的軟件也在悄然滲透到人們生活的方方面面。各類軟件層出不窮,在一定程度上極大的豐富和方便了人們的生活。然而,在提供高效便捷的同時,一些惡意軟件、惡意插件也混入其中,對用戶和開發(fā)者造成了很大的困擾。由于缺乏對軟件的監(jiān)管以及對軟件的安全性的測試,使得軟件安全隱患大大增加,用戶隱私泄漏甚至財產(chǎn)受到威脅的事例頻發(fā)。因此,如何保證軟件的可信性已成為軟件行業(yè)當下亟需解決的問題。軟件的可信性是軟件的非功能性需求中的重要組成部分。但目前尚未有成熟的可信性測試方法,且因軟件本身的平臺不同、功能差異、以及測試人員本身知識水平和專業(yè)技能的局限等,測試的結(jié)果往往不盡如人意。本研究從軟件的功能出發(fā),旨在根據(jù)軟件的功能而非軟件本身特性來分類,提出一種行之有效的軟件可信性測試方法。本文通過對可信和可信性測試進行深入研究,分析了可信性測試的特點,對傳統(tǒng)的測試模型進行優(yōu)化完善,引入行為聲明文件與可信測試用例類庫,得出可信性測試模型。然后對可信測試用例生成部分進行進一步設(shè)計,通過參數(shù)編碼結(jié)合路徑覆蓋的思想,運用人工免疫算法設(shè)計了可信測試用例自動生成框架;同時提出可信測試用例類庫的概念... 

【文章頁數(shù)】：69 頁

【學位級別】：碩士

【文章目錄】：
摘要
Abstract
第1章 緒論
    1.1 研究背景
    1.2 研究現(xiàn)狀
        1.2.1 可信計算研究現(xiàn)狀
        1.2.2 軟件的可信性研究現(xiàn)狀
        1.2.3 測試用例自動生成的研究現(xiàn)狀
        1.2.4 存在的問題
    1.3 研究內(nèi)容
    1.4 組織結(jié)構(gòu)
第2章 相關(guān)概念介紹
    2.1 可信
        2.1.1 可信的定義
        2.1.2 軟件的可信性
        2.1.3 影響軟件可信性的因素
        2.1.4 可信性測試用例
    2.2 免疫算法基本概念
        2.2.1 基本免疫算法
        2.2.2 免疫過程和免疫函數(shù)
    2.3 軟件測試
    2.4 本章小結(jié)
第3章 基于免疫算法的可信測試用例的自動生成
    3.1 基于免疫算法的可信測試用例自動生成框架簡介
    3.2 行為聲明
        3.2.1 軟件可信性測試模型
        3.2.2 行為聲明的結(jié)構(gòu)
        3.2.3 行為聲明解析
    3.3 功能點的獲取
    3.4 程序的靜態(tài)分析和插樁
    3.5 免疫算法用于可信測試用例自動生成
        3.5.1 免疫算法和免疫算子
        3.5.2 參數(shù)選取和編碼策略
        3.5.3 免疫算法算子設(shè)計
        3.5.4 親和度評價函數(shù)
        3.5.5 濃度評價函數(shù)
        3.5.6 激勵度函數(shù)
        3.5.7 免疫選擇函數(shù)
        3.5.8 克隆函數(shù)
        3.5.9 變異函數(shù)
        3.5.10 免疫邊界
        3.5.11 疫苗的注入
    3.6 本章小結(jié)
第4章 可信性測試用例類庫設(shè)計
    4.1 可信測試用例類庫
        4.1.1 可信測試用例類庫的性質(zhì)
        4.1.2 可信測試用例類庫與行為聲明
    4.2 可信測試用例類庫的設(shè)計
        4.2.1 可信需求分類
        4.2.2 可信測試用例結(jié)構(gòu)
    4.3 公共可信需求
    4.4 特有可信需求
        4.4.1 應(yīng)用軟件類型對可信需求的影響
        4.4.2 操作系統(tǒng)相關(guān)的可信需求
        4.4.3 特有需求結(jié)構(gòu)
    4.5 本章小結(jié)
第5章 可信測試平臺設(shè)計
    5.1 系統(tǒng)需求分析
    5.2 系統(tǒng)設(shè)計
    5.3 系統(tǒng)數(shù)據(jù)庫設(shè)計
    5.4 主要模塊詳細設(shè)計
    5.5 系統(tǒng)實現(xiàn)
        5.5.1 系統(tǒng)實現(xiàn)環(huán)境
        5.5.2 系統(tǒng)主要功能實現(xiàn)
    5.6 系統(tǒng)測試
    5.7 本章小結(jié)
結(jié)論
參考文獻
攻讀碩士學位期間取得的研究成果
致謝


【參考文獻】：
期刊論文
[1]基于Docker的可信容器[J]. 王鵑,胡威,張雨菡,陳銅,于鵬,趙波,張煥國.  武漢大學學報(理學版). 2017(02)
[2]可信3.0戰(zhàn)略:可信計算的革命性演變[J]. 沈昌祥,張大偉,劉吉強,葉珩,邱碩.  中國工程科學. 2016(06)
[3]軟件測試方法的研究與應(yīng)用[J]. 武昭宇,張月琴,閻華.  太原理工大學學報. 2016(03)
[4]軟件可靠性模型研究綜述[J]. 王二威.  軟件工程. 2016(02)
[5]基于關(guān)鍵點路徑的快速測試用例自動生成方法[J]. 丁蕊,董紅斌,張巖,馮憲彬.  軟件學報. 2016(04)
[6]基于模式組合的粒子群優(yōu)化測試用例生成方法[J]. 姜淑娟,王令賽,薛猛,張艷梅,于巧,姚慧冉.  軟件學報. 2016(04)
[7]軟件可信評估研究綜述:標準、模型與工具[J]. 沈國華,黃志球,謝冰,朱羿全,廖莉莉,王飛,劉銀陵.  軟件學報. 2016(04)
[8]基于可信計算“秘技”構(gòu)筑國家網(wǎng)絡(luò)安全戰(zhàn)略高地[J]. 沈昌祥,李剛.  信息安全與通信保密. 2015(12)
[9]基于人工免疫算法的增量式用戶興趣挖掘[J]. 左萬利,韓佳育,劉露,王英,彭濤.  計算機科學. 2015(05)
[10]求解多峰函數(shù)優(yōu)化問題的并行免疫遺傳算法[J]. 程林輝,鐘珞.  微電子學與計算機. 2015(05)

博士論文
[1]基于屬性的軟件可信性度量模型研究[D]. 陶紅偉.華東師范大學 2011
[2]基于需求特征的軟件可信需求全生命周期管理研究[D]. 程平.重慶大學 2010

碩士論文
[1]基于行為聲明的REST風格軟件可信性測試的研究與應(yīng)用[D]. 劉妙晨.北京工業(yè)大學 2017
[2]基于行為聲明軟件可信性測試方法的研究[D]. 呂海庚.北京工業(yè)大學 2016
[3]基于人工免疫算法的測試用例自動生成方法研究[D]. 詹澤梅.華中師范大學 2008
[4]軟件測試管理系統(tǒng)的研究與實現(xiàn)[D]. 陳國志.華中科技大學 2005



本文編號：3663187