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

在審

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

技術領域

本本發明屬于軟件開發技術和工具領域，特別是涉及一種嵌入式軟件系統程序的開發方法。?

背景技術

傳統的嵌入式軟件系統程序開發工作存在許多不足之處，主要表現在如下幾個方面：?

(1)高層次的系統需求分析階段易與軟件實現階段之間脫節。通常，根據用戶需求建立的需求規格說明和需求模型是軟件實現的依據和規范，但在實際的軟件實現過程中由于用戶需求的易變性和頻繁的程序改動，使得最終的源程序與最初的需求規格說明和需求模型會產生不一致或矛盾，如果不及時修改最初的的需求規格說明和需求模型，這將導致系統文檔間的不一致，使得花費了許多精力和成本建立的需求規格說明和需求模型不能發揮應有的作用。?

(2)由于上述的脫節，也導致在系統需求分析階段對需求模型的檢測與軟件實現階段對源程序的測試工作脫節，導致需花費很多精力和成本來重復設計測試用例。?

(3)缺乏完善的指導面向嵌入式軟件系統開發的框架和有效的支持從需求到源程序的嵌入式軟件開發的方法和技術。?

發明內容

本發明的目的在于為克服現有技術的缺陷，而提供一種嵌入式軟件系統程序的開發方法。?

為實現上述目的，本發明采用以下技術方案：一種嵌入式軟件系統程序的開發方法，包括以下步驟：?

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

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

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

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

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

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

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

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

進一步，步驟S14所述對需求模型的分析和檢測包括如下步驟：?

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

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

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

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

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

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

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

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

進一步，步驟S2所述生成目標軟件系統程序所需要的源代碼包括如下步驟；?

S21確定場景之間的關系；?

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

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

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

進一步，步驟S3包括如下步驟：?

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

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

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

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

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

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

S37重復步驟S31至S36。?