[發明專利]一種軟件產品開發方法

在審

• 申請號: 201610458963.5
• 申請日: 2016-06-22
• 公開（公告）號: CN107526577A
• 公開（公告）日: 2017-12-29
• 發明（設計）人: 張英歌;郭幫務
• 申請（專利權）人: 山東易華錄信息技術有限公司;福建訊盟軟件有限公司
• 主分類號: G06F9/44
• 分類號: G06F9/44
• 代理公司: 福州市鼓樓區京華專利事務所(普通合伙)35212
• 代理人: 宋連梅

技術領域

本發明涉及軟件開發技術領域，尤其涉及一種軟件產品開發方法。

背景技術

現有軟件產品開發過程一般是軟件設計階段后直接進行軟件代碼開發，最后在進行軟件測試，這種方式無法提前排出邏輯錯誤，在后續代碼開發過程中若出現邏輯錯誤，需要花費大量的時間和精力對代碼進行重構，大大延長了開發周期，降低開發效率。

發明內容

本發明要解決的技術問題，在于提供一種軟件產品開發方法，降低設計階段的錯誤率，提高軟件開發過程的可控性，提高產品開發效率。

本發明是這樣實現的：一種軟件產品開發方法，包括如下步驟：

步驟10、進行軟件初步設計，包括選擇開發平臺和開發語言，設計界面與算法；

步驟20、進行邏輯結構測試，生成所述算法的偽代碼，并對所述偽代碼進行邏輯測試，若測試成功，則進入軟件代碼開發與測試階段；否則，修改所述算法，重復步驟20。

進一步的，所述步驟20進一步包括：

步驟21、將所述算法的內容轉換成UML圖形或流程圖或文字或文字與圖的結合；

步驟22、將轉換得到的UML圖形或流程圖或文字或文字與圖的結合輸入到一預先設設計的Rodin平臺的解析插件中進行解析，生成偽代碼；

步驟23、利用所述Rodin平臺對所述偽代碼進行邏輯測試，若測試成功，則進入軟件代碼開發與測試階段；否則，修改所述算法，重復步驟21。

進一步的，所述步驟20具體為：根據所述算法的內容直接撰寫偽代碼，并利用Rodin平臺對所述偽代碼進行邏輯測試，若測試成功，則進入軟件代碼開發與測試階段；否則，修改所述算法，重復步驟20。

進一步的，所述邏輯測試是以元集合和二值謂詞邏輯為數學基礎進行的邏輯性判斷。

本發明具有如下優點：通過在代碼開發前進行邏輯結構測試，確保在代碼開發過程中，邏輯結構不會出現大錯，可以降低開發過程的不可控性，提高軟件產品開發的效率，降低開發周期；同時，本發明方法可以確保軟件在設計階段就能完成容錯性與并發性的設計、改進和測試，提高軟件的容錯性與并發的控制性能。

附圖說明

下面參照附圖結合實施例對本發明作進一步的說明。

圖1為本發明方法執行流程圖。

具體實施方式

如圖1所示，一種軟件產品開發方法，包括如下步驟：

步驟10、進行軟件初步設計，包括選擇開發平臺和開發語言，設計界面與算法；

步驟20、進行邏輯結構測試，生成所述算法的偽代碼，并對所述偽代碼進行邏輯測試，若測試成功，則進入軟件代碼開發與測試階段；否則，修改所述算法，重復步驟20。

實施例1

一種軟件產品開發方法，包括如下步驟：

步驟10、進行軟件初步設計，包括選擇開發平臺和開發語言，設計界面與算法；

步驟21、將所述算法的內容轉換成UML圖形(或流程圖或文字或文字與圖的結合)；

步驟22、將轉換得到的UML圖形(或流程圖或文字或文字與圖的結合)輸入到一預先設設計的Rodin平臺的解析插件中進行解析，生成偽代碼，所示解析插件用于對UML圖形中的圖形以及圖形間的關系進行解析，得到對應偽代碼，所述解析插件是基于B語言實現的；

步驟23、利用所述Rodin平臺對所述偽代碼進行邏輯測試，所述邏輯測試是以元集合和二值謂詞邏輯為數學基礎進行的邏輯性判斷，例如通過基于B語言實現的B方法進行快速測試，若測試成功，則進入軟件代碼開發與測試階段；否則，修改所述算法(即步驟10中的算法)，重復步驟21。

實施例2

一種軟件產品開發方法，包括如下步驟：

步驟10、進行軟件初步設計，包括選擇開發平臺和開發語言，設計界面與算法；

步驟20、根據所述算法的內容直接編寫偽代碼，并利用Rodin平臺對所述偽代碼進行邏輯測試，所述邏輯測試是以元集合和二值謂詞邏輯為數學基礎進行的邏輯性判斷，若測試成功，則進入軟件代碼開發與測試階段；否則，修改所述算法(即步驟10中的算法)，重復步驟20。

其中，所述Rodin平臺是一個以Eclipse平臺為基礎為了Event-B(Event_B是一種基于傳統的謂詞演算和定理證明的形式化語言)而開發IDE平臺，它為Event-B提供了高效安全性和數學證據的支撐，這個平臺是完全開源的，并支持補丁插件的拓展。

雖然以上描述了本發明的具體實施方式，但是熟悉本技術領域的技術人員應當理解，我們所描述的具體的實施例只是說明性的，而不是用于對本發明的范圍的限定，熟悉本領域的技術人員在依照本發明的精神所作的等效的修飾以及變化，都應當涵蓋在本發明的權利要求所保護的范圍內。