一种软件产品开发方法技术

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

【技术实现步骤摘要】
一种软件产品开发方法
本专利技术涉及软件开发
，尤其涉及一种软件产品开发方法。
技术介绍
现有软件产品开发过程一般是软件设计阶段后直接进行软件代码开发，最后在进行软件测试，这种方式无法提前排出逻辑错误，在后续代码开发过程中若出现逻辑错误，需要花费大量的时间和精力对代码进行重构，大大延长了开发周期，降低开发效率。
技术实现思路
本专利技术要解决的技术问题，在于提供一种软件产品开发方法，降低设计阶段的错误率，提高软件开发过程的可控性，提高产品开发效率。本专利技术是这样实现的：一种软件产品开发方法，包括如下步骤：步骤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提供了高效安全性和数学证据的支撑，这个平台是完全开源的，并支持补丁插件的拓展。虽然以上描述了本专利技术的具体实施方式，但是熟悉本
的技术人员应当理解，我们所描述的具体的实施例只是说明性的，而不是用于对本专利技术的范围的限定，熟悉本领域的技术人员在依照本专利技术的精神所作的等效的修饰以及变化，都应当涵盖在本专利技术的权利要求所保护的范围内。本文档来自技高网...

【技术保护点】
一种软件产品开发方法，其特征在于：包括如下步骤：步骤10、进行软件初步设计，包括选择开发平台和开发语言，设计界面与算法；步骤20、进行逻辑结构测试，生成所述算法的伪代码，并对所述伪代码进行逻辑测试，若测试成功，则进入软件代码开发与测试阶段；否则，修改所述算法，重复步骤20。

【技术特征摘要】
1.一种软件产品开发方法，其特征在于：包括如下步骤：步骤10、进行软件初步设计，包括选择开发平台和开发语言，设计界面与算法；步骤20、进行逻辑结构测试，生成所述算法的伪代码，并对所述伪代码进行逻辑测试，若测试成功，则进入软件代码开发与测试阶段；否则，修改所述算法，重复步骤20。2.根据权利要求1所述的一种软件产品开发方法，其特征在于：所述步骤20进一步包括：步骤21、将所述算法的内容转换成UML图形或流程图或文字或文字与图的结合；步骤22、将转换得到的UML图形或流程图或文字或文字与图的结合输入到一预先设设计的Rodin平...

【专利技术属性】
技术研发人员：张英歌，郭帮务，
申请(专利权)人：山东易华录信息技术有限公司，福建讯盟软件有限公司，
类型：发明
国别省市：山东,37