Software product development method

A software, software code technology

Inactive Publication Date: 2017-12-29
山东易华录信息技术有限公司 +1
View PDF0 Cites 1 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0002] The existing software product development process is generally to carry out software code development directly after the software design stage, and finally to carry out software testing. This method cannot eliminate logic errors in advance. If logic errors occur in the subsequent code development process, it will take a lot of time and effort. Efforts to refactor the code greatly prolong the development cycle and reduce development efficiency

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Software product development method

Examples

Experimental program
Comparison scheme
Effect test

Embodiment 1

[0020] A software product development method, comprising the steps of:

[0021] Step 10, carry out preliminary software design, including selecting development platform and development language, designing interface and algorithm;

[0022] Step 21, converting the content of the algorithm into UML graphics (or a flow chart or a combination of words or words and pictures);

[0023] Step 22, input the converted UML graphic (or the combination of flow chart or text or text and figure) into a pre-designed Rodin platform analysis plug-in to analyze, generate pseudocode, and the shown analysis plug-in is used to UML The graphics in the graphics and the relationship between the graphics are analyzed to obtain corresponding pseudocodes, and the analysis plug-in is implemented based on the B language;

[0024] Step 23, using the Rodin platform to carry out a logic test on the pseudo-code, the logic test is a logical judgment based on the mathematical basis of meta-sets and binary predic...

Embodiment 2

[0026] A software product development method, comprising the steps of:

[0027] Step 10, carry out preliminary software design, including selecting development platform and development language, designing interface and algorithm;

[0028] Step 20, directly write the pseudocode according to the content of the algorithm, and utilize the Rodin platform to carry out a logic test on the pseudocode. The logic test is a logical judgment based on the mathematical basis of the meta-set and binary predicate logic. If If the test is successful, enter the phase of software code development and testing; otherwise, modify the algorithm (that is, the algorithm in step 10), and repeat step 20.

[0029] Among them, the Rodin platform is an IDE platform developed based on the Eclipse platform for Event-B (Event_B is a formal language based on traditional predicate calculus and theorem proving), which provides high-efficiency security for Event-B Supported by mathematical evidence, this platfor...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

PUM

No PUM Login to view more

Abstract

The present invention provides a software product development method, comprising the following steps: step 10, performing preliminary software design, including selecting a development platform and a development language, and designing an interface and an algorithm; step 20, performing a logical structure test, designing a pseudo code of a process and an algorithm , and carry out a logic test on the pseudo-code, if the test is successful, enter the stage of software code development and testing; otherwise, modify the algorithm and repeat step 20. The invention greatly reduces the error rate in the design stage, improves the controllability of the software development process, and improves the product development efficiency.

Description

technical field [0001] The invention relates to the technical field of software development, in particular to a software product development method. Background technique [0002] The existing software product development process is generally to develop software code directly after the software design stage, and finally to perform software testing. This method cannot eliminate logic errors in advance. If logic errors occur in the subsequent code development process, it will take a lot of time and effort. Efforts to refactor the code greatly prolong the development cycle and reduce development efficiency. Contents of the invention [0003] The technical problem to be solved by the present invention is to provide a software product development method, reduce the error rate in the design stage, improve the controllability of the software development process, and improve the product development efficiency. [0004] The present invention is achieved like this: a kind of softwar...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

Application Information

Patent Timeline
no application Login to view more
IPC IPC(8): G06F9/44
CPCG06F8/22
Inventor 张英歌郭帮务
Owner 山东易华录信息技术有限公司
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products