面向嵌入式系統的網構軟體分析方法集成技術研究

《面向嵌入式系統的網構軟體分析方法集成技術研究》是依託中山大學，由陳湘萍擔任項目負責人的青年科學基金項目。

基本介紹

• 中文名：面向嵌入式系統的網構軟體分析方法集成技術研究
• 項目類別：青年科學基金項目
• 項目負責人：陳湘萍
• 依託單位：中山大學

中文摘要

嵌入式軟體作為一種典型的網構軟體，其分析往往需要考慮系統不同方面多層次的特性，有著全面、綜合和靈活的分析需求。由於單一分析方法往往難以滿足分析需要，本項目將從輸入、執行和輸出三個方面研究網構軟體分析方法的集成，並將其套用到數字家庭中嵌入式軟體的分析中。本項目首先從模型內容與模型表示兩個角度，建立了體系結構模型與分析方法之間輸入失配的分類框架，並針對基於模型轉換的適配器，提出模型轉換規約合成方法，實現適配器的集成。從數據依賴和控制依賴兩個方面出發，提出了基於流程的分析執行集成方法，對依賴進行識別、匹配等處理。基於分析結果應圍繞被分析體系結構模型的觀點，提出了基於體系結構描述語言的分析結果集成方法，分別從元模型、模型和視圖三個層次集成分析結果。基於上述研究成果，本項目將開發相應的支持工具，以數字家庭作為典型的嵌入式網構軟體套用環境，通過實例研究驗證方案的可行性。

結題摘要

本項目圍繞網構軟體的分析需求，從數字家庭套用領域出發，研究如何對運行系統進行監測和管理，構建分析所需的運行時刻模型；研究軟體分析方法的集成，並將該集成框架套用於軟體的質量分析和保障；在此基礎上，針對數字家庭中軟體的特點，研究其分析方法。總體上，本項目進展情況良好，研究內容按計畫執行，共發表（含已接收）學術論文12篇，申請發明專利1件，培養碩士研究生4名，完成任務計畫書中規定的考核指標。具體研究進展如下： (1) 運行時刻模型構建與組裝：針對數字家庭的監控需求，提出一種集中式的數字家庭管理系統。在此基礎上，針對如何從軟體的管理接口提供的運行時刻數據獲得運行時刻模型，提出了一種領域特定的語言，通過代碼生成技術獲得基於EMF的運行時刻模型管理器；針對包含多個不同類型設備組成的系統，以及從其他分析方法可能獲得的系統運行數據，提出了基於模型轉換的運行時刻模型組裝和擴展方法。研究成果發表於國際會議ICDH 2012， INTERNETWARE 2013和ICDH 2014。 (2) 軟體分析方法集成框架：提出了一種以模型為中心的軟體分析集成框架，並基於該方法的實現Eclipse外掛程式工具，目前已經集成了13個開源的分析工具。在此基礎上，將其套用於自動分析軟體設計決策對質量需求的滿足。研究成果發表於國際會議SEKE 2013和QSIC 2013 TVECS Workshop。 (3) 面向數字家庭的軟體分析方法：針對數字家庭軟體開發中界面瀏覽代價最佳化、界面生成與最佳化、版本更新與一致性管理進行研究，提出基於瀏覽代價最佳化的頁面重構、基於分塊顏色傳遞的頁面配色、以及軟體變化維護與多版本套用一致性驗證方法。研究成果發表於國際會議SEKE 2014，ICSR 2014， ICDH 2014，ICSR 2015以及國內期刊《計算機科學》。