基于不确定需求的测试用例生成方法研究
发布时间：2020-12-04 19:48
软件工程的第一步是需求分析,准确的分析需求对软件开发具有重要的意义。现实中,由于在需求的采集和细化阶段对系统的理解不全面,或者是相关领域环境的不确定,再者是语言表达的模糊性等都会使需求存在不确定性。因此针对不确定的需求构建的模型会出现不确定的因素,且根据该模型生成的测试用例同样会存在不确定的可能。目前,不确定需求的研究受到大家广泛的关注。然而,对不确定需求的研究多集中在检测、管理不确定性和基于需求变更建立需求模型上,却很少有人研究如何基于不确定需求直接生成测试用例。本文主要研究如何基于软件的不确定需求为软件测试生成测试用例。研究一种典型的不确定需求,其蕴含“多种可能性”。本文的测试用例生成方法利用基于标记迁移系统的部分模型来描述不确定需求。然后,基于标记迁移系统和部分模型的特点,本文提出了一个测试用例自动生成算法。最后,根据与对应测试用例的不确定性相关的权值对测试用例进行优先级排序,以便为执行这些测试用例提供一个推荐建议。本文的贡献点如下:(1)提出一种针对不确定需求建模的方法。该方法是基于标记迁移系统的一种形式化建模方法,能够描述软件系统的状态变化和迁移路径,以便基于路径的测试用例生...
【文章来源】：浙江理工大学浙江省
【文章页数】：56 页
【学位级别】：硕士
【文章目录】：
摘要
Abstract
1 绪论
1.1 研究背景及意义
1.2 国内外研究现状
1.2.1 不确定需求的国内外研究现状
1.2.2 测试用例生成的国内外研究现状
1.3 本文研究内容和方法
1.4 文章结构
2 软件的不确定性分析及及建模
2.1 软件的不确定需求分析
2.1.1 不确定需求的含义
2.1.2 软件需求不确定性的原因
2.1.3 不确定需求的特点及带来的影响
2.2 软件测试中不确定性建模方法
2.2.1 贝叶斯网络
2.2.2 隐马尔可夫模型
2.2.3 粗糙集理论
2.3 本章小结
3 测试用例及其生成与排序方法
3.1 测试用例
3.2 测试用例生成方法
3.2.1 基于模型的测试用例生成方法
3.2.1.1 基于有限状态机生成测试用例方法
3.2.1.2 标记迁移系统生成测试用例方法
3.2.2 基于符号执行的测试用例生成方法
3.3 测试用例优先级排序
3.4 本章小结
4 PPMPF模型及自动生成测试用例算法
4.1 相关理论方法
4.1.1 标记迁移系统
4.1.2 部分模型
4.1.3 概率部分模型
4.2 PPMPF模型
4.2.1 模型定义
4.2.2 模型语义
4.3 测试用例生成算法及排序
4.3.1 测试用例自动生成算法
4.3.2 生成测试用例
4.3.3 测试用例排序
4.4 对循环情况的处理
4.5 本章小结
5 实例分析
5.1 实例需求
5.2 实例需求分析及建模
5.3 生成测试用例并排序
5.4 本章小结
6 总结与展望
6.1 内容总结
6.2 展望
参考文献
致谢
攻读硕士学位期间收录及发表的学术论文
【参考文献】：
期刊论文
[1]一种基于扩展有限状态机的自动化测试用例生成方法[J]. 杨瑞,陈振宇,张智轶,刘子聪,徐宝文. 中国科学:信息科学. 2014(05)
[2]面向不确定性的自适应需求规划算法研究[J]. 刘玮,何成万,冯在文. 小型微型计算机系统. 2014(02)
[3]回归测试中的测试用例优先排序技术述评[J]. 陈翔,陈继红,鞠小林,顾庆. 软件学报. 2013(08)
[4]软件测试用例自动生成算法综述[J]. 聂鹏,耿技,秦志光. 计算机应用研究. 2012(02)
[5]面向不确定需求的适应性软件体系结构设计[J]. 付赟,李敏强,陈富赞. 计算机科学. 2010(12)
[6]一个基于FSM测试自动化方案与实现[J]. 黄晓玲,袁兆山,黄超男. 合肥工业大学学报(自然科学版). 2008(01)
[7]基于Bayes网的软件需求预测技术探讨[J]. 郑翠芳,吴志杰. 现代电子技术. 2007(06)
博士论文
[1]基于FSM的测试用例生成和测试优化[D]. 刘攀.上海大学 2011
硕士论文
[1]基于动态符号执行的测试用例生成技术研究[D]. 董齐兴.中国科学技术大学 2014
[2]组合测试用例生成方法的研究与应用[D]. 李玉.江南大学 2012
本文编号：2898149
【文章来源】：浙江理工大学浙江省
【文章页数】：56 页
【学位级别】：硕士
【文章目录】：
摘要
Abstract
1 绪论
1.1 研究背景及意义
1.2 国内外研究现状
1.2.1 不确定需求的国内外研究现状
1.2.2 测试用例生成的国内外研究现状
1.3 本文研究内容和方法
1.4 文章结构
2 软件的不确定性分析及及建模
2.1 软件的不确定需求分析
2.1.1 不确定需求的含义
2.1.2 软件需求不确定性的原因
2.1.3 不确定需求的特点及带来的影响
2.2 软件测试中不确定性建模方法
2.2.1 贝叶斯网络
2.2.2 隐马尔可夫模型
2.2.3 粗糙集理论
2.3 本章小结
3 测试用例及其生成与排序方法
3.1 测试用例
3.2 测试用例生成方法
3.2.1 基于模型的测试用例生成方法
3.2.1.1 基于有限状态机生成测试用例方法
3.2.1.2 标记迁移系统生成测试用例方法
3.2.2 基于符号执行的测试用例生成方法
3.3 测试用例优先级排序
3.4 本章小结
4 PPMPF模型及自动生成测试用例算法
4.1 相关理论方法
4.1.1 标记迁移系统
4.1.2 部分模型
4.1.3 概率部分模型
4.2 PPMPF模型
4.2.1 模型定义
4.2.2 模型语义
4.3 测试用例生成算法及排序
4.3.1 测试用例自动生成算法
4.3.2 生成测试用例
4.3.3 测试用例排序
4.4 对循环情况的处理
4.5 本章小结
5 实例分析
5.1 实例需求
5.2 实例需求分析及建模
5.3 生成测试用例并排序
5.4 本章小结
6 总结与展望
6.1 内容总结
6.2 展望
参考文献
致谢
攻读硕士学位期间收录及发表的学术论文
【参考文献】：
期刊论文
[1]一种基于扩展有限状态机的自动化测试用例生成方法[J]. 杨瑞,陈振宇,张智轶,刘子聪,徐宝文. 中国科学:信息科学. 2014(05)
[2]面向不确定性的自适应需求规划算法研究[J]. 刘玮,何成万,冯在文. 小型微型计算机系统. 2014(02)
[3]回归测试中的测试用例优先排序技术述评[J]. 陈翔,陈继红,鞠小林,顾庆. 软件学报. 2013(08)
[4]软件测试用例自动生成算法综述[J]. 聂鹏,耿技,秦志光. 计算机应用研究. 2012(02)
[5]面向不确定需求的适应性软件体系结构设计[J]. 付赟,李敏强,陈富赞. 计算机科学. 2010(12)
[6]一个基于FSM测试自动化方案与实现[J]. 黄晓玲,袁兆山,黄超男. 合肥工业大学学报(自然科学版). 2008(01)
[7]基于Bayes网的软件需求预测技术探讨[J]. 郑翠芳,吴志杰. 现代电子技术. 2007(06)
博士论文
[1]基于FSM的测试用例生成和测试优化[D]. 刘攀.上海大学 2011
硕士论文
[1]基于动态符号执行的测试用例生成技术研究[D]. 董齐兴.中国科学技术大学 2014
[2]组合测试用例生成方法的研究与应用[D]. 李玉.江南大学 2012
本文编号：2898149
本文链接：https://www.wllwen.com/kejilunwen/ruanjiangongchenglunwen/2898149.html
