一种软件产品开发方法专利检索-软件计算机系统电脑零配件专利检索查询-专利查询网

积极推动地理标志专门立法

2022-03-10 地理标志，立法，知识产权
保护知识产权是对创新最大的激励

2022-03-10 保护知识产权，创新，激励
谢商华：加快制定知识产权基本法

2022-03-10 知识产权基本法
擦亮“双奥之城”品牌

2022-03-10 双奥，知识产权
让冰雪运动“热”力全开

2022-03-10 冰雪运动，知识产权
携手共奋进　走好强国路

2022-03-10 强国，知识产权
坚持创新引领　方能稳中求进

2022-03-10 创新，稳中求进，知识产权
答好“两张卷” 奋进新征程

2022-03-10 知识产权
专家解读政府工作报告中的创新和知识产权相关部署

2022-03-10 政府工作报告，创新，知识产权
今年政府工作报告指出：加强知识产权保护和运用

2022-03-10 政府工作报告，知识产权保护

一种软件产品开发方法

阅读：1028发布：2020-06-23

IPRDB可以提供一种软件产品开发方法专利检索，专利查询，专利分析的服务。并且本发明提供一种软件产品开发方法，包括如下步骤：步骤10、进行软件初步设计，包括选择开发平台和开发语言，设计界面与算法；步骤20、进行逻辑结构测试，设计流程和算法的伪代码，并对所述伪代码进行逻辑测试，若测试成功，则进入软件代码开发与测试阶段；否则，修改所述算法，重复步骤20。本发明大大降低设计阶段的错误率，提高软件开发过程的可控性，提高产品开发效率。，下面是一种软件产品开发方法专利的具体信息内容。

权利要求

1.一种软件产品开发方法，其特征在于：包括如下步骤：

步骤10、进行软件初步设计，包括选择开发平台和开发语言，设计界面与算法；

步骤20、进行逻辑结构测试，生成所述算法的伪代码，并对所述伪代码进行逻辑测试，若测试成功，则进入软件代码开发与测试阶段；否则，修改所述算法，重复步骤20。

2.根据权利要求1所述的一种软件产品开发方法，其特征在于：所述步骤20进一步包括：步骤21、将所述算法的内容转换成UML图形或流程图或文字或文字与图的结合；

步骤22、将转换得到的UML图形或流程图或文字或文字与图的结合输入到一预先设设计的Rodin平台的解析插件中进行解析，生成伪代码；

步骤23、利用所述Rodin平台对所述伪代码进行逻辑测试，若测试成功，则进入软件代码开发与测试阶段；否则，修改所述算法，重复步骤21。

3.根据权利要求1所述的一种软件产品开发方法，其特征在于：所述步骤20具体为：根据所述算法的内容直接撰写伪代码，并利用Rodin平台对所述伪代码进行逻辑测试，若测试成功，则进入软件代码开发与测试阶段；否则，修改所述算法，重复步骤20。

4.根据权利要求2或3所述的一种软件产品开发方法，其特征在于：所述逻辑测试是以元集合和二值谓词逻辑为数学基础进行的逻辑性判断。

说明书全文

一种软件产品开发方法

技术领域

[0001] 本发明涉及软件开发技术领域，尤其涉及一种软件产品开发方法。

背景技术

[0002] 现有软件产品开发过程一般是软件设计阶段后直接进行软件代码开发，最后在进行软件测试，这种方式无法提前排出逻辑错误，在后续代码开发过程中若出现逻辑错误，需要花费大量的时间和精力对代码进行重构，大大延长了开发周期，降低开发效率。

发明内容

[0003] 本发明要解决的技术问题，在于提供一种软件产品开发方法，降低设计阶段的错误率，提高软件开发过程的可控性，提高产品开发效率。

[0004] 本发明是这样实现的：一种软件产品开发方法，包括如下步骤：

[0005] 步骤10、进行软件初步设计，包括选择开发平台和开发语言，设计界面与算法；

[0006] 步骤20、进行逻辑结构测试，生成所述算法的伪代码，并对所述伪代码进行逻辑测试，若测试成功，则进入软件代码开发与测试阶段；否则，修改所述算法，重复步骤20。

[0007] 进一步的，所述步骤20进一步包括：

[0008] 步骤21、将所述算法的内容转换成UML图形或流程图或文字或文字与图的结合；

[0009] 步骤22、将转换得到的UML图形或流程图或文字或文字与图的结合输入到一预先设设计的Rodin平台的解析插件中进行解析，生成伪代码；

[0010] 步骤23、利用所述Rodin平台对所述伪代码进行逻辑测试，若测试成功，则进入软件代码开发与测试阶段；否则，修改所述算法，重复步骤21。

[0011] 进一步的，所述步骤20具体为：根据所述算法的内容直接撰写伪代码，并利用Rodin平台对所述伪代码进行逻辑测试，若测试成功，则进入软件代码开发与测试阶段；否则，修改所述算法，重复步骤20。

[0012] 进一步的，所述逻辑测试是以元集合和二值谓词逻辑为数学基础进行的逻辑性判断。

[0013] 本发明具有如下优点：通过在代码开发前进行逻辑结构测试，确保在代码开发过程中，逻辑结构不会出现大错，可以降低开发过程的不可控性，提高软件产品开发的效率，降低开发周期；同时，本发明方法可以确保软件在设计阶段就能完成容错性与并发性的设计、改进和测试，提高软件的容错性与并发的控制性能。

附图说明

[0014] 下面参照附图结合实施例对本发明作进一步的说明。

[0015] 图1为本发明方法执行流程图。

具体实施方式

[0016] 如图1所示，一种软件产品开发方法，包括如下步骤：

[0017] 步骤10、进行软件初步设计，包括选择开发平台和开发语言，设计界面与算法；

[0018] 步骤20、进行逻辑结构测试，生成所述算法的伪代码，并对所述伪代码进行逻辑测试，若测试成功，则进入软件代码开发与测试阶段；否则，修改所述算法，重复步骤20。

[0019] 实施例1

[0020] 一种软件产品开发方法，包括如下步骤：

[0021] 步骤10、进行软件初步设计，包括选择开发平台和开发语言，设计界面与算法；

[0022] 步骤21、将所述算法的内容转换成UML图形(或流程图或文字或文字与图的结合)；

[0023] 步骤22、将转换得到的UML图形(或流程图或文字或文字与图的结合)输入到一预先设设计的Rodin平台的解析插件中进行解析，生成伪代码，所示解析插件用于对UML图形中的图形以及图形间的关系进行解析，得到对应伪代码，所述解析插件是基于B语言实现的；

[0024] 步骤23、利用所述Rodin平台对所述伪代码进行逻辑测试，所述逻辑测试是以元集合和二值谓词逻辑为数学基础进行的逻辑性判断，例如通过基于B语言实现的B方法进行快速测试，若测试成功，则进入软件代码开发与测试阶段；否则，修改所述算法(即步骤10中的算法)，重复步骤21。

[0025] 实施例2

[0026] 一种软件产品开发方法，包括如下步骤：

[0027] 步骤10、进行软件初步设计，包括选择开发平台和开发语言，设计界面与算法；

[0028] 步骤20、根据所述算法的内容直接编写伪代码，并利用Rodin平台对所述伪代码进行逻辑测试，所述逻辑测试是以元集合和二值谓词逻辑为数学基础进行的逻辑性判断，若测试成功，则进入软件代码开发与测试阶段；否则，修改所述算法(即步骤10中的算法)，重复步骤20。

[0029] 其中，所述Rodin平台是一个以Eclipse平台为基础为了Event-B(Event_B是一种基于传统的谓词演算和定理证明的形式化语言)而开发IDE平台，它为Event-B提供了高效安全性和数学证据的支撑，这个平台是完全开源的，并支持补丁插件的拓展。

[0030] 虽然以上描述了本发明的具体实施方式，但是熟悉本技术领域的技术人员应当理解，我们所描述的具体的实施例只是说明性的，而不是用于对本发明的范围的限定，熟悉本领域的技术人员在依照本发明的精神所作的等效的修饰以及变化，都应当涵盖在本发明的权利要求所保护的范围内。

标题	发布/更新时间	阅读量
软件开发方法-专利编号CN110515613A	2020-05-11	746
软件测试装置-专利编号CN107423226A	2020-05-11	785
刷新软件许可证-专利编号CN101681403A	2020-05-12	154
软件自动测试仪-专利编号CN109901986A	2020-05-13	775
一种软件加密锁-专利编号CN104794373A	2020-05-13	951
软件升级方法-专利编号CN101630263A	2020-05-11	472
物流追踪软件-专利编号CN103400257A	2020-05-12	666
软件升级方法-专利编号CN101630263B	2020-05-11	76
软件自动测试仪-专利编号CN104778122A	2020-05-12	502
移动社区软件-专利编号CN101686211A	2020-05-13	815

一种软件产品开发方法

一种软件产品开发方法

技术领域

背景技术

发明内容

附图说明

具体实施方式

IPRDB

热门服务

关于我们

友情链接

联系方式