[發(fā)明專利]一種軟件產(chǎn)品開發(fā)方法

在審

• 申請(qǐng)?zhí)枺?/td>: 201610458963.5
• 申請(qǐng)日: 2016-06-22
• 公開（公告）號(hào): CN107526577A
• 公開（公告）日: 2017-12-29
• 發(fā)明（設(shè)計(jì)）人: 張英歌;郭幫務(wù)
• 申請(qǐng)（專利權(quán)）人: 山東易華錄信息技術(shù)有限公司;福建訊盟軟件有限公司
• 主分類號(hào): G06F9/44
• 分類號(hào): G06F9/44
• 代理公司: 福州市鼓樓區(qū)京華專利事務(wù)所(普通合伙)35212
• 代理人: 宋連梅

1.一種軟件產(chǎn)品開發(fā)方法，其特征在于：包括如下步驟：

步驟10、進(jìn)行軟件初步設(shè)計(jì)，包括選擇開發(fā)平臺(tái)和開發(fā)語(yǔ)言，設(shè)計(jì)界面與算法；

步驟20、進(jìn)行邏輯結(jié)構(gòu)測(cè)試，生成所述算法的偽代碼，并對(duì)所述偽代碼進(jìn)行邏輯測(cè)試，若測(cè)試成功，則進(jìn)入軟件代碼開發(fā)與測(cè)試階段；否則，修改所述算法，重復(fù)步驟20。

2.根據(jù)權(quán)利要求1所述的一種軟件產(chǎn)品開發(fā)方法，其特征在于：所述步驟20進(jìn)一步包括：

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

步驟22、將轉(zhuǎn)換得到的UML圖形或流程圖或文字或文字與圖的結(jié)合輸入到一預(yù)先設(shè)設(shè)計(jì)的Rodin平臺(tái)的解析插件中進(jìn)行解析，生成偽代碼；

步驟23、利用所述Rodin平臺(tái)對(duì)所述偽代碼進(jìn)行邏輯測(cè)試，若測(cè)試成功，則進(jìn)入軟件代碼開發(fā)與測(cè)試階段；否則，修改所述算法，重復(fù)步驟21。

3.根據(jù)權(quán)利要求1所述的一種軟件產(chǎn)品開發(fā)方法，其特征在于：所述步驟20具體為：根據(jù)所述算法的內(nèi)容直接撰寫偽代碼，并利用Rodin平臺(tái)對(duì)所述偽代碼進(jìn)行邏輯測(cè)試，若測(cè)試成功，則進(jìn)入軟件代碼開發(fā)與測(cè)試階段；否則，修改所述算法，重復(fù)步驟20。

4.根據(jù)權(quán)利要求2或3所述的一種軟件產(chǎn)品開發(fā)方法，其特征在于：所述邏輯測(cè)試是以元集合和二值謂詞邏輯為數(shù)學(xué)基礎(chǔ)進(jìn)行的邏輯性判斷。