《基於Aspect的軟體非功能性規約建模、測試和驗證研究》是依託南京大學，由王林章擔任項目負責人的青年科學基金項目。
基本介紹
- 中文名：基於Aspect的軟體非功能性規約建模、測試和驗證研究
- 項目類別：青年科學基金項目
- 項目負責人：王林章
- 依託單位：南京大學
- 批准號：60603036
- 申請代碼：F0203
- 負責人職稱：教授
- 研究期限：2007-01-01 至 2009-12-31
- 支持經費：25（萬元）
項目摘要
當前的軟體開發過程中，軟體的非功能性通常在功能模組代碼實現以後才考慮實現和檢驗，對非功能性考慮時間的延遲導致後期對代碼頻繁的修改，直接影響軟體的生產效率和質量，並增加成本。本項目研究旨在提前在建模階段考慮軟體的功能性與非功能性規約的全面設計，並對得到的模型進行驗證以確保滿足功能性規約的同時也能滿足非功能性規約，並基於驗證後得到的全局模型，對最終代碼進行測試，以確保代碼與模型一樣滿足了非功能性規約。為達到該目標，本項目研究擬基於aspect對工業界廣泛套用的統一建模語言（UML）進行擴充，以支持對軟體非功能性規約的建模，並進一步系統地研究實現非功能性模型橫切（crosscut）功能性模型的集成機制，實現模型驅動測試和驗證等相關問題。在完成理論研究的基礎上，我們擬開發一套原型工具來支撐上述技術，並選擇工業界典型的項目進行試驗，以探索其實際套用的前景。
