基于免疫算法的可信测试用例自动生成方法的研究

发布时间：2022-07-16 19:57

　　随着互联网和软件产业的蓬勃发展,五花八门的软件也在悄然渗透到人们生活的方方面面。各类软件层出不穷,在一定程度上极大的丰富和方便了人们的生活。然而,在提供高效便捷的同时,一些恶意软件、恶意插件也混入其中,对用户和开发者造成了很大的困扰。由于缺乏对软件的监管以及对软件的安全性的测试,使得软件安全隐患大大增加,用户隐私泄漏甚至财产受到威胁的事例频发。因此,如何保证软件的可信性已成为软件行业当下亟需解决的问题。软件的可信性是软件的非功能性需求中的重要组成部分。但目前尚未有成熟的可信性测试方法,且因软件本身的平台不同、功能差异、以及测试人员本身知识水平和专业技能的局限等,测试的结果往往不尽如人意。本研究从软件的功能出发,旨在根据软件的功能而非软件本身特性来分类,提出一种行之有效的软件可信性测试方法。本文通过对可信和可信性测试进行深入研究,分析了可信性测试的特点,对传统的测试模型进行优化完善,引入行为声明文件与可信测试用例类库,得出可信性测试模型。然后对可信测试用例生成部分进行进一步设计,通过参数编码结合路径覆盖的思想,运用人工免疫算法设计了可信测试用例自动生成框架;同时提出可信测试用例类库的概念... 

【文章页数】：69 页

【学位级别】：硕士

【文章目录】：
摘要
Abstract
第1章 绪论
    1.1 研究背景
    1.2 研究现状
        1.2.1 可信计算研究现状
        1.2.2 软件的可信性研究现状
        1.2.3 测试用例自动生成的研究现状
        1.2.4 存在的问题
    1.3 研究内容
    1.4 组织结构
第2章 相关概念介绍
    2.1 可信
        2.1.1 可信的定义
        2.1.2 软件的可信性
        2.1.3 影响软件可信性的因素
        2.1.4 可信性测试用例
    2.2 免疫算法基本概念
        2.2.1 基本免疫算法
        2.2.2 免疫过程和免疫函数
    2.3 软件测试
    2.4 本章小结
第3章 基于免疫算法的可信测试用例的自动生成
    3.1 基于免疫算法的可信测试用例自动生成框架简介
    3.2 行为声明
        3.2.1 软件可信性测试模型
        3.2.2 行为声明的结构
        3.2.3 行为声明解析
    3.3 功能点的获取
    3.4 程序的静态分析和插桩
    3.5 免疫算法用于可信测试用例自动生成
        3.5.1 免疫算法和免疫算子
        3.5.2 参数选取和编码策略
        3.5.3 免疫算法算子设计
        3.5.4 亲和度评价函数
        3.5.5 浓度评价函数
        3.5.6 激励度函数
        3.5.7 免疫选择函数
        3.5.8 克隆函数
        3.5.9 变异函数
        3.5.10 免疫边界
        3.5.11 疫苗的注入
    3.6 本章小结
第4章 可信性测试用例类库设计
    4.1 可信测试用例类库
        4.1.1 可信测试用例类库的性质
        4.1.2 可信测试用例类库与行为声明
    4.2 可信测试用例类库的设计
        4.2.1 可信需求分类
        4.2.2 可信测试用例结构
    4.3 公共可信需求
    4.4 特有可信需求
        4.4.1 应用软件类型对可信需求的影响
        4.4.2 操作系统相关的可信需求
        4.4.3 特有需求结构
    4.5 本章小结
第5章 可信测试平台设计
    5.1 系统需求分析
    5.2 系统设计
    5.3 系统数据库设计
    5.4 主要模块详细设计
    5.5 系统实现
        5.5.1 系统实现环境
        5.5.2 系统主要功能实现
    5.6 系统测试
    5.7 本章小结
结论
参考文献
攻读硕士学位期间取得的研究成果
致谢


【参考文献】：
期刊论文
[1]基于Docker的可信容器[J]. 王鹃,胡威,张雨菡,陈铜,于鹏,赵波,张焕国.  武汉大学学报(理学版). 2017(02)
[2]可信3.0战略:可信计算的革命性演变[J]. 沈昌祥,张大伟,刘吉强,叶珩,邱硕.  中国工程科学. 2016(06)
[3]软件测试方法的研究与应用[J]. 武昭宇,张月琴,阎华.  太原理工大学学报. 2016(03)
[4]软件可靠性模型研究综述[J]. 王二威.  软件工程. 2016(02)
[5]基于关键点路径的快速测试用例自动生成方法[J]. 丁蕊,董红斌,张岩,冯宪彬.  软件学报. 2016(04)
[6]基于模式组合的粒子群优化测试用例生成方法[J]. 姜淑娟,王令赛,薛猛,张艳梅,于巧,姚慧冉.  软件学报. 2016(04)
[7]软件可信评估研究综述:标准、模型与工具[J]. 沈国华,黄志球,谢冰,朱羿全,廖莉莉,王飞,刘银陵.  软件学报. 2016(04)
[8]基于可信计算“秘技”构筑国家网络安全战略高地[J]. 沈昌祥,李刚.  信息安全与通信保密. 2015(12)
[9]基于人工免疫算法的增量式用户兴趣挖掘[J]. 左万利,韩佳育,刘露,王英,彭涛.  计算机科学. 2015(05)
[10]求解多峰函数优化问题的并行免疫遗传算法[J]. 程林辉,钟珞.  微电子学与计算机. 2015(05)

博士论文
[1]基于属性的软件可信性度量模型研究[D]. 陶红伟.华东师范大学 2011
[2]基于需求特征的软件可信需求全生命周期管理研究[D]. 程平.重庆大学 2010

硕士论文
[1]基于行为声明的REST风格软件可信性测试的研究与应用[D]. 刘妙晨.北京工业大学 2017
[2]基于行为声明软件可信性测试方法的研究[D]. 吕海庚.北京工业大学 2016
[3]基于人工免疫算法的测试用例自动生成方法研究[D]. 詹泽梅.华中师范大学 2008
[4]软件测试管理系统的研究与实现[D]. 陈国志.华中科技大学 2005



本文编号：3663187