《基於Petri網的代碼缺陷靜態分析中的關鍵問題研究》是依託武漢大學，由周國富擔任項目負責人的專項基金項目。
基本介紹
- 中文名：基於Petri網的代碼缺陷靜態分析中的關鍵問題研究
- 項目類別：專項基金項目
- 項目負責人：周國富
- 依託單位：武漢大學
- 批准號：61040036
- 研究期限：2011-01-01 至 2011-12-31
- 申請代碼：F0203
- 支持經費：10（萬元）
- 負責人職稱：副教授
項目摘要
程式缺陷由於直接或間接地非法使用了某些非授權的數據或者資源，或者合法地使用了某些非法的數據或者資源所導致。資源就是計算機系統具有的，數據通過物理資源實施並被觀察的。因此，程式缺陷涉及兩個域，一個是抽象的算法（數學上的缺陷）；一個是計算機系統的物理資源的訪問。因此，程式是算法和實施算法的物理資源分配的一種描述。當算法和物理資源合一時，不僅語義可能發生變化，而且缺陷也會產生。如果程式形式規範中描述了程式中涉及到的計算機平台的資源，就可以極大地縮減並定位缺陷產生的原因和範圍。本項目對程式從計算語義和物理實現語義兩個方面進行建模，研究程式中數據、控制以及資源之間的關係。在代碼和形式規範兩個層面分析程式，獲得程式的靜態特徵和動態行為，最終有效地發現用戶所關心的屬性。
