支持PDP协议的民用机载任务调度软件测试平台研究

发布时间：2020-06-07 22:47

【摘要】：近年来,随着计算机技术的发展,软件测试行业的平台化发展备受关注,相对于日益增长的软件测试需求而言,传统的测试方案已经不能满足测试人员的需求,例如:许多公司对验证程序集等数据文件的存储采用传统的方式,导致数据文件管理紊乱、复用率低,对测试人员的专业知识要求过高等,因此,传统的软件测试方案逐步向平台化测试转变;软件测试平台具有嵌入第三方软件测试工具、验证程序集的加载、对测试结果统计分析的优势,对测试人员需要掌握的专业知识要求不高,而且能提高软件测试人员的测试效率。由于软件测试平台的众多优点,因此对于软件测试平台的开发设计成为软件测试方面的一个趋势。软件测试平台在投入使用时,需要存储和生成大量的数据文件,如何保证这些数据文件未被黑客恶意修改或者未被信息管理人员无意修改或删除,成为亟待解决的一个问题。为了解决存储在软件测试平台以及验证测试过程中生成的数据文件的安全问题,数据完整性验证机制被提出。本文从现阶段软件测试平台的研究现状出发,结合近年来关于数据完整性验证机制的研究,将数据完整性验证应用到软件测试平台中,实现了支持PDP协议(即数据持有性证明)的民用机载任务调度软件测试平台。论文研究步骤如下:(1)从民用机载任务调度软件测试平台的需求出发,对软件测试平台拟实现的功能做出分析设计,使其既满足对机载任务调度软件的测试,又满足对平台存储及生成的数据文件进行完整性验证。最后对支持PDP协议的民用机载任务调度软件测试平台的验证测试、报表生成、完整性验证三个模块做了详细介绍。(2)针对传统数据完整性验证方案加密算法运算速度慢、计算开销大、不支持动态更新操作等问题,构造MHT树动态数据结构,引入BLS签名算法等。(3)对论文中设计实现的支持动态更新的PDP协议算法,通过实验对其计算开销、存储开销进行对比分析。(4)对支持PDP协议的民用机载任务调度软件测试平台给予实现。本文实现的支持数据持有性验证的民用机载任务调度软件测试平台解决了平台中数据文件的完整性验证,本文基于传统的PDP机制,对算法进行了改进,基本上实现了支持动态更新的数据完整性验证方案。为以后支持数据完整性机制的软件测试平台提供了一个方案。
【图文】：

机制,插入操作,动态更新,数据块

逦陕西师范大学硕士学位论文逦逡逑据文件的动态更新操作进行支持的方案，通过对文献？的机制进行修改，逡逑使其实现了删除、增加等支持部分动态更新，但该方案不支持插入操作，而且在进逡逑行删除操作时需要采用新的数据块代替插入位置的数据块，浪费一定的存储空间。逡逑为了实现对插入操作的支持，Ｅｒｗａｙ等人在文献ｎ４］中提出了基于跳表的机制，逡逑用户在进行数据文件的更新时首先发出更新请求信息，用户根据需求执行完对数逡逑据文件的更新操作以及辅助验证信息的更新，服务器根据更亲请求计算节点的认逡逑证路径并返回。但是，该机制存在计算节点的认证路径过程时，需要计算大量的辅逡逑助信息的问题。逡逑Ｗａｎｇ等人在文献［１６］中提出基于Ｍｅｒｋｌｅ邋－邋Ｔｒｅｅ的的ＰＤＰ机制，该机制通过验证逡逑Ｍｅｒｋｌｅ邋－邋Ｔｒｅｅ数据结构根节点的哈希值来确定数据块的位置是否更新正确，通过逡逑计算验证基于５Ｌ５签名构造的同态验证标签来保证数据文件的内容是否被修改。逡逑其中，ＰＤＰ机制模型如下图所示：逡逑

流程图,验证测试,流程图,有效性验证

悘逦，逡逑图２－３配置验证测试流程图逡逑Ｆｉｇ．２－３邋Ｆｕｎｃｔｉｏｎａｌ邋ａｒｃｈｉｔｅｃｔｕｒｅ邋ｄｉａｇｒａｍ邋ｏｆ邋ｖｅｒｉｆｙ邋ｔｅｓｔ邋ｍｏｄｕｌｅ逡逑调度验证工具：该工具主要针对调度部分，，是对调度部分进行有效性验证的工逡逑具，根据调度部分的相关功能，进行统一化集中处理，然后根据对应的验证标准进逡逑行验证，最终得到验证结果。管理验证测试流程图如图２－４所示：逡逑１２逡逑
【学位授予单位】：陕西师范大学
【学位级别】：硕士
【学位授予年份】：2018
【分类号】：TP311.53

【参考文献】