發(fā)布時間：2020-06-07 22:47

【摘要】：近年來,隨著計算機技術的發(fā)展,軟件測試行業(yè)的平臺化發(fā)展備受關注,相對于日益增長的軟件測試需求而言,傳統(tǒng)的測試方案已經不能滿足測試人員的需求,例如:許多公司對驗證程序集等數(shù)據(jù)文件的存儲采用傳統(tǒng)的方式,導致數(shù)據(jù)文件管理紊亂、復用率低,對測試人員的專業(yè)知識要求過高等,因此,傳統(tǒng)的軟件測試方案逐步向平臺化測試轉變;軟件測試平臺具有嵌入第三方軟件測試工具、驗證程序集的加載、對測試結果統(tǒng)計分析的優(yōu)勢,對測試人員需要掌握的專業(yè)知識要求不高,而且能提高軟件測試人員的測試效率。由于軟件測試平臺的眾多優(yōu)點,因此對于軟件測試平臺的開發(fā)設計成為軟件測試方面的一個趨勢。軟件測試平臺在投入使用時,需要存儲和生成大量的數(shù)據(jù)文件,如何保證這些數(shù)據(jù)文件未被黑客惡意修改或者未被信息管理人員無意修改或刪除,成為亟待解決的一個問題。為了解決存儲在軟件測試平臺以及驗證測試過程中生成的數(shù)據(jù)文件的安全問題,數(shù)據(jù)完整性驗證機制被提出。本文從現(xiàn)階段軟件測試平臺的研究現(xiàn)狀出發(fā),結合近年來關于數(shù)據(jù)完整性驗證機制的研究,將數(shù)據(jù)完整性驗證應用到軟件測試平臺中,實現(xiàn)了支持PDP協(xié)議(即數(shù)據(jù)持有性證明)的民用機載任務調度軟件測試平臺。論文研究步驟如下:(1)從民用機載任務調度軟件測試平臺的需求出發(fā),對軟件測試平臺擬實現(xiàn)的功能做出分析設計,使其既滿足對機載任務調度軟件的測試,又滿足對平臺存儲及生成的數(shù)據(jù)文件進行完整性驗證。最后對支持PDP協(xié)議的民用機載任務調度軟件測試平臺的驗證測試、報表生成、完整性驗證三個模塊做了詳細介紹。(2)針對傳統(tǒng)數(shù)據(jù)完整性驗證方案加密算法運算速度慢、計算開銷大、不支持動態(tài)更新操作等問題,構造MHT樹動態(tài)數(shù)據(jù)結構,引入BLS簽名算法等。(3)對論文中設計實現(xiàn)的支持動態(tài)更新的PDP協(xié)議算法,通過實驗對其計算開銷、存儲開銷進行對比分析。(4)對支持PDP協(xié)議的民用機載任務調度軟件測試平臺給予實現(xiàn)。本文實現(xiàn)的支持數(shù)據(jù)持有性驗證的民用機載任務調度軟件測試平臺解決了平臺中數(shù)據(jù)文件的完整性驗證,本文基于傳統(tǒng)的PDP機制,對算法進行了改進,基本上實現(xiàn)了支持動態(tài)更新的數(shù)據(jù)完整性驗證方案。為以后支持數(shù)據(jù)完整性機制的軟件測試平臺提供了一個方案。
【圖文】：

邐陜西師范大學碩士學位論文邐逡逑據(jù)文件的動態(tài)更新操作進行支持的方案，通過對文獻？的機制進行修改，逡逑使其實現(xiàn)了刪除、增加等支持部分動態(tài)更新，但該方案不支持插入操作，而且在進逡逑行刪除操作時需要采用新的數(shù)據(jù)塊代替插入位置的數(shù)據(jù)塊，浪費一定的存儲空間。逡逑為了實現(xiàn)對插入操作的支持，Ｅｒｗａｙ等人在文獻ｎ４］中提出了基于跳表的機制，逡逑用戶在進行數(shù)據(jù)文件的更新時首先發(fā)出更新請求信息，用戶根據(jù)需求執(zhí)行完對數(shù)逡逑據(jù)文件的更新操作以及輔助驗證信息的更新，服務器根據(jù)更親請求計算節(jié)點的認逡逑證路徑并返回。但是，該機制存在計算節(jié)點的認證路徑過程時，需要計算大量的輔逡逑助信息的問題。逡逑Ｗａｎｇ等人在文獻［１６］中提出基于Ｍｅｒｋｌｅ邋－邋Ｔｒｅｅ的的ＰＤＰ機制，該機制通過驗證逡逑Ｍｅｒｋｌｅ邋－邋Ｔｒｅｅ數(shù)據(jù)結構根節(jié)點的哈希值來確定數(shù)據(jù)塊的位置是否更新正確，通過逡逑計算驗證基于５Ｌ５簽名構造的同態(tài)驗證標簽來保證數(shù)據(jù)文件的內容是否被修改。逡逑其中，ＰＤＰ機制模型如下圖所示：逡逑

悘邐，逡逑圖２－３配置驗證測試流程圖逡逑Ｆｉｇ．２－３邋Ｆｕｎｃｔｉｏｎａｌ邋ａｒｃｈｉｔｅｃｔｕｒｅ邋ｄｉａｇｒａｍ邋ｏｆ邋ｖｅｒｉｆｙ邋ｔｅｓｔ邋ｍｏｄｕｌｅ逡逑調度驗證工具：該工具主要針對調度部分，，是對調度部分進行有效性驗證的工逡逑具，根據(jù)調度部分的相關功能，進行統(tǒng)一化集中處理，然后根據(jù)對應的驗證標準進逡逑行驗證，最終得到驗證結果。管理驗證測試流程圖如圖２－４所示：逡逑１２逡逑
【學位授予單位】：陜西師范大學
【學位級別】：碩士
【學位授予年份】：2018
【分類號】：TP311.53

【參考文獻】

相關期刊論文 前10條

1 朱杰;;大數(shù)據(jù)時代面臨的安全問題與思考 大數(shù)據(jù)浪潮下洶涌的“安全”暗流[J];中國信息安全;2015年05期

2 譚霜;賈焰;韓偉紅;;云存儲中的數(shù)據(jù)完整性證明研究及進展[J];計算機學報;2015年01期

3 周霆;胡寧;任曉瑞;;一種分區(qū)操作系統(tǒng)實時任務調度方法[J];計算機光盤軟件與應用;2013年10期

4 李文成;周學仕;王成;李巖;;基于VxWorks多任務信控系統(tǒng)的軟件設計與實現(xiàn)[J];計算機應用與軟件;2012年04期

5 喬乃強;徐濤;谷青范;;ARINC653分區(qū)調度算法的研究與改進[J];計算機工程;2011年20期

6 李昕穎;顧健;何鋒;熊華鋼;;硬實時系統(tǒng)在強分區(qū)約束下的雙層分區(qū)調度[J];計算機學報;2010年06期

7 王才善;陳光武;曠文珍;范多旺;魏宗壽;;基于VxWorks的實時多任務程序設計機制分析[J];鐵路計算機應用;2009年05期

8 何鋒;宋麗茹;熊華鋼;;航空電子雙層任務分區(qū)調度設計[J];北京航空航天大學學報;2008年11期

9 何鋒;熊華鋼;宋麗茹;;航空電子分區(qū)調度研究[J];系統(tǒng)仿真學報;2008年S1期

10 單錦輝,姜瑛,孫萍;軟件測試研究進展[J];北京大學學報(自然科學版);2005年01期

相關碩士學位論文 前3條

1 姚戈;云存儲數(shù)據(jù)完整性驗證機制研究[D];北京交通大學;2016年

2 趙楓;銀行軟件測試管理平臺的設計與實現(xiàn)[D];上海交通大學;2012年

3 孫沛;面向嵌入式軟件測試的配置管理平臺的研究與設計[D];電子科技大學;2010年

本文編號：2702106