论文部分内容阅读
在互联网技术不断发展的今天,网络应用已经深入人们的日常工作学习中,可以说互联网应用改变着人们的生活。人类通过互联网解决问题、提升工作效率的同时也对Web应用软件的要求越来越高,REST是一种分布式Web应用架构风格,因为其高效便捷近期受到了广泛的关注。REST风格的软件已经被广泛应用到现代互联网开发技术中,因此对其展开可信性等相关研究是十分有必要的。软件可信行为声明是一种在可信软件领域中特有的描述性文件,是描述与软件可信性相关的软件预期行为的集合。我们认为软件可信行为声明可以描述软件预期行为、作为可信测试依据并能辅助其他文档。本文以深入研究可信行为声明的内容结构和REST应用软件的结构特征和可信特征为基础,首先提出了基于REST的可信行为声明,该可信行为声明中包括了两部分:HTTP请求约束和敏感信息约束;之后提出了基于行为声明的REST风格Web应用可信性测试方法,在这个方法中提出了基于可信行为声明的可信测试模型,该模型包括可信需求获取,可信行为声明定义和最终对应用软件进行可信测试;本文运用遗传算法在测试阶段进行测试用例的自动生成工作,并结合遗传算法和可信行为声明的特征提出了基于可信行为声明的测试用例自动生成办法,其中包括符合可信行为声明的编码方式;最后,设计并实现了软件可信性测试系统,该系统通过分析可信行为声明自动生成测试用例并最终完成对REST风格软件的可信性测试。