模型驅動的移動套用測試方法研究

《模型驅動的移動套用測試方法研究》是依託南京大學，由王林章擔任項目負責人的面上項目。

基本介紹

• 中文名：模型驅動的移動套用測試方法研究
• 項目類別：面上項目
• 項目負責人：王林章
• 依託單位：南京大學

項目摘要

在移動網際網路時代，移動智慧型終端在眾多領域已通過移動套用提供服務。然而，移動套用的測試通常因為開發者追求快速疊代和發布而不夠充分，難以確保移動套用能否提供可信服務。而且，平台依賴特性使得針對多平台移動套用的測試因復用度低而浪費了大量資源。本課題研究模型驅動的移動套用測試方法，面向多移動平台實現測試生成與復用，主要研究內容包括：研究面向測試的移動套用與平台的解耦方法、移動套用平台無關行為模型的自動重構方法；研究模型驅動的移動套用測試方法、基於平台無關測試自動構造平台相關測試的測試轉換方法；研究針對移動套用特定缺陷的平台無關測試生成方法與跨平台測試執行方法；研製兼容各類移動套用硬體設備、具有跨主流移動平台能力的模型驅動的移動套用測試支撐工具原型，並開展實例研究。本課題的主要創新點在於面向測試自動重構移動套用的行為模型，使得模型與模型驅動的測試方法能夠支持解決多平台移動套用的測試生成與復用問題。

結題摘要

本課題研究模型驅動的移動套用功能性和安全性測試技術，主要研究內容包括：移動套用行為建模技術、面向自動化測試的移動套用行為模型的自動重構方法、模型驅動的移動套用測試方法、基於模型的移動套用變更獲取方法、基於模型的測試腳本自動維護方法，惡意移動套用檢測技術、移動套用中SQL injection漏洞檢測技術，以及面向移動終端系統軟體的作業系統實現程式語言（如C／C++等）的安全性，針對緩衝區溢出、記憶體泄漏、空指針引用、數據競爭、數組下標越界等典型漏洞的檢測方法，在移動套用行為模型重建、模型驅動測試、面向測試復用的測試腳本維護技術等方面提出了原創性方法，在上述方法的基礎上，研製移動套用測試支撐工具原型，並開展實例研究。 本項目研究工作取得了較好的成果， 截止2018年12月底，項目研發期內累計已發表高質量學術論文24篇，包括期刊論文10篇（其中，國際期刊3篇、國內一級學報5篇）、國際會議論文14篇；在上述方法的基礎上，課題組研發了一批工具原型，累計獲得授權中國發明專利4件，受理髮明專利7件（其中美國發明專利1件），部分工具已開始在具體項目中進行實驗，初見成效。