[發明專利]嵌入式軟件系統程序的開發方法

在審

• 申請號: 201410284639.7
• 申請日: 2014-06-23
• 公開（公告）號: CN104216703A
• 公開（公告）日: 2014-12-17
• 發明（設計）人: 毋國慶;黃勃
• 申請（專利權）人: 武漢大學深圳研究院
• 主分類號: G06F9/44
• 分類號: G06F9/44
• 代理公司: 廣東知恒律師事務所 44342
• 代理人: 柴吉峰

1.一種嵌入式軟件系統程序的開發方法，其特征在于包括以下步驟：

S1根據嵌入式軟件系統程序的需求分析建立待開發嵌入式系統程序的需求模型；

S2對步驟S1所述需求模型進行分析和檢測，同時生成目標軟件系統程序所需要的源代碼，進而生成目標軟件系統程序；

S3對目標軟件系統程序進行程序分析得出程序模型，將程序模型和需求模型進行比較分析以發現差異性，如發現差異性則對生成的目標軟件系統程序或需求模型進行修復；

其中步驟S1所述需求模型的建立包括如下步驟：

S11劃分子問題域、標識視點，根據自然語言描述的需求，建立相應的場景信息；

S12根據場景信息抽取與行為相關的信息，并利用行為描述語言描述行為相關的信息，建立行為表達式；

S13建立行為描述語言模型，作為檢驗需求模型的各種特性的基礎；

S14利用模型檢驗方法檢測需求模型的一致性及需求模型所對應的系統需要檢測的可信特性，如發現差異對需求模型進行修復。

2.根據權利要求1所述嵌入式軟件系統程序的開發方法，其特征在于步驟S14所述對需求模型的分析和檢測包括如下步驟：

S141視點建模，生成視點行為模型；

S142檢查視點行為模型內的行為表達合法性、輸入/輸出行為的一致性和行為連續性；

S143修改視點行為模型，直到每個視點都滿足行為表達合法性、輸入/輸出行為的一致性和行為連續性要求；

S144根據視點的相關關系檢測視點行為模型間的一致性；

S145修改視點行為模型，直到所有相關視點行為模型間一致；

S146合并視點行為模型，得到系統行為模型；

S147檢測系統行為模型的行為有效性；

S148檢測系統行為模型的系統安全特性。

3.根據權利要求1或2任一所述嵌入式軟件系統程序的開發方法，其特征在于步驟S2所述生成目標軟件系統程序所需要的源代碼包括如下步驟；

S21確定場景之間的關系；

S22依據場景內的輸入/輸出行為，得出功能模塊；

S23對視點內的參數池的參數進行定義；

S24編碼、調試和生成所需要的源代碼。

4.根據權利要求1所述嵌入式軟件系統程序的開發方法，其特征在于步驟S3包括如下步驟：

S31編譯行為描述語言文本和目標軟件系統程序，建立行為描述語言文本和目標軟件系統程序的元素表，為元素對應做準備；

S32對行為描述語言文本元素表中的行為和操作數據與目標軟件系統程序元素表中的符號，包括函數、常量和變量進行人工對應；

S33參照建立的對應關系從目標軟件系統程序對應的中間語言中提取程序模型，而行為描述語言模型由行為描述語言直接生成；

S34將行為描述語言模型和程序模型輸入到模型比較檢測工具中進行檢測，得到檢測結果；

S35對檢測結果進行分析并查找可能存在的問題及其原因；

S36如果存在問題，則對行為描述語言或目標軟件系統程序進行修改以修復問題；

S37重復步驟S31至S36。