CN107526577A - A kind of Software Development method - Google Patents
A kind of Software Development method Download PDFInfo
- Publication number
- CN107526577A CN107526577A CN201610458963.5A CN201610458963A CN107526577A CN 107526577 A CN107526577 A CN 107526577A CN 201610458963 A CN201610458963 A CN 201610458963A CN 107526577 A CN107526577 A CN 107526577A
- Authority
- CN
- China
- Prior art keywords
- algorithm
- software
- code
- false code
- carried out
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/20—Software design
- G06F8/22—Procedural
Abstract
The present invention provides a kind of Software Development method, comprises the following steps：Step 10, carry out software Preliminary design, including selection development platform and development language, design interface and algorithm；Step 20, the false code for carrying out logical construction test, design cycle and algorithm, and logic testing is carried out to the false code, if being successfully tested, into software code exploitation and test phase；Otherwise, the algorithm, repeat step 20 are changed.The present invention substantially reduces the error rate of design phase, improves the controllability of software development process, improves product development efficiency.
Description
Technical field
The present invention relates to technical field of software development, more particularly to a kind of Software Development method.
Background technology
Existing Software Development process is usually directly progress software code exploitation after software design stage, is finally being entered
Row software test, this mode can not discharge logic error in advance, if there is logic error in follow-up code development process, need
Expend considerable time and effort and code is reconstructed, substantially prolongs the construction cycle, reduce development efficiency.
The content of the invention
The technical problem to be solved in the present invention, it is to provide a kind of Software Development method, reduces the mistake of design phase
Rate by mistake, the controllability of software development process is improved, improve product development efficiency.
What the present invention was realized in：A kind of Software Development method, comprises the following steps：
Step 10, carry out software Preliminary design, including selection development platform and development language, design interface and algorithm；
Step 20, logical construction test is carried out, generate the false code of the algorithm, and logic survey is carried out to the false code
Examination, if being successfully tested, into software code exploitation and test phase；Otherwise, the algorithm, repeat step 20 are changed.
Further, the step 20 further comprises：
Step 21, the combination by the Content Transformation of the algorithm into uml diagram shape or flow chart or word or word and figure；
Step 22, that the combination of the uml diagram shape or flow chart or word or word that are converted to and figure is input into one is advance
If being parsed in the parsing plug-in unit of the Rodin platforms of design, false code is generated；
Step 23, using the Rodin platforms logic testing is carried out to the false code, if being successfully tested, into soft
Part code development and test phase；Otherwise, the algorithm, repeat step 21 are changed.
Further, the step 20 is specially：False code is directly write according to the content of the algorithm, and utilized
Rodin platforms carry out logic testing to the false code, if being successfully tested, into software code exploitation and test phase；It is no
Then, the algorithm, repeat step 20 are changed.
Further, the logic testing is to be sentenced using member set and two-value predicate logic as the logicality that Fundamentals of Mathematics are carried out
It is disconnected.
The invention has the advantages that：By carrying out logical construction test before code development, it is ensured that in code development mistake
Cheng Zhong, logical construction are not in serious mistake, can reduce the uncontrollability of development process, improve the efficiency of Software Development,
Reduce the construction cycle；Meanwhile the inventive method may insure software in the design phase with regard to that can complete setting for fault-tolerance and concurrency
Meter, improve and test, improve the fault-tolerance of software and concurrent control performance.
Brief description of the drawings
The present invention is further illustrated in conjunction with the embodiments with reference to the accompanying drawings.
Fig. 1 is the inventive method execution flow chart.
Embodiment
As shown in figure 1, a kind of Software Development method, comprises the following steps：
Step 10, carry out software Preliminary design, including selection development platform and development language, design interface and algorithm；
Step 20, logical construction test is carried out, generate the false code of the algorithm, and logic survey is carried out to the false code
Examination, if being successfully tested, into software code exploitation and test phase；Otherwise, the algorithm, repeat step 20 are changed.
Embodiment 1
A kind of Software Development method, comprises the following steps：
Step 10, carry out software Preliminary design, including selection development platform and development language, design interface and algorithm；
Step 21, by the Content Transformation of the algorithm into uml diagram shape (or combination of flow chart or word or word and figure)；
Step 22, that the uml diagram shape being converted to (or combination of flow chart or word or word and figure) is input into one is pre-
Parsed in the parsing plug-in unit of the Rodin platforms of first design, generate false code, shown parsing plug-in unit is used for uml diagram shape
In figure and figure between relation parsed, obtain corresponding false code, the parsing plug-in unit is realized based on B language
's；
Step 23, using the Rodin platforms to the false code carry out logic testing, the logic testing is with metaset
It is that the logicality that Fundamentals of Mathematics are carried out judges to close with two-value predicate logic, such as the B methods by being realized based on B language are carried out soon
Speed test, if being successfully tested, into software code exploitation and test phase；Otherwise, the algorithm is changed (i.e. in step 10
Algorithm), repeat step 21.
Embodiment 2
A kind of Software Development method, comprises the following steps：
Step 10, carry out software Preliminary design, including selection development platform and development language, design interface and algorithm；
Step 20, false code is directly write according to the content of the algorithm, and the false code is entered using Rodin platforms
Row logic testing, the logic testing are to be judged using member set and two-value predicate logic as the logicality that Fundamentals of Mathematics are carried out, if
It is successfully tested, then into software code exploitation and test phase；Otherwise, the algorithm (algorithm i.e. in step 10) is changed, weight
Multiple step 20.
Wherein, the Rodin platforms are one (Event_B are a kind of for Event-B based on Eclipse platform
Formal Languages based on traditional predicate calculus and theorem proving) and IDE platforms are developed, it is provided efficiently for Event-B
The support of security and mathematical evidence, this platform are increased income completely, and support the expansion of patch plug-in unit.
Although the foregoing describing the embodiment of the present invention, those familiar with the art should manage
Solution, the specific embodiment described by us are merely exemplary, rather than for the restriction to the scope of the present invention, are familiar with this
The equivalent modification and change that the technical staff in field is made in the spirit according to the present invention, should all cover the present invention's
In scope of the claimed protection.
Claims (4)
- A kind of 1. Software Development method, it is characterised in that：Comprise the following steps：Step 10, carry out software Preliminary design, including selection development platform and development language, design interface and algorithm；Step 20, logical construction test is carried out, generates the false code of the algorithm, and logic testing is carried out to the false code, If being successfully tested, into software code exploitation and test phase；Otherwise, the algorithm, repeat step 20 are changed.
- A kind of 2. Software Development method according to claim 1, it is characterised in that：The step 20 is further wrapped Include：Step 21, the combination by the Content Transformation of the algorithm into uml diagram shape or flow chart or word or word and figure；Step 22, the combination of the uml diagram shape or flow chart or word or word that are converted to and figure is input to one set in advance Parsed in the parsing plug-in unit of the Rodin platforms of meter, generate false code；Step 23, using the Rodin platforms to the false code carry out logic testing, if being successfully tested, into software generation Code exploitation and test phase；Otherwise, the algorithm, repeat step 21 are changed.
- A kind of 3. Software Development method according to claim 1, it is characterised in that：The step 20 is specially：Root False code is directly write according to the content of the algorithm, and logic testing is carried out to the false code using Rodin platforms, if test Success, then into software code exploitation and test phase；Otherwise, the algorithm, repeat step 20 are changed.
- A kind of 4. Software Development method according to Claims 2 or 3, it is characterised in that：The logic testing be with Member set and two-value predicate logic are that the logicality that Fundamentals of Mathematics are carried out judges.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201610458963.5A CN107526577A (en) | 2016-06-22 | 2016-06-22 | A kind of Software Development method |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201610458963.5A CN107526577A (en) | 2016-06-22 | 2016-06-22 | A kind of Software Development method |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| CN107526577A true CN107526577A (en) | 2017-12-29 |
Family
ID=60735556
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN201610458963.5A Pending CN107526577A (en) | 2016-06-22 | 2016-06-22 | A kind of Software Development method |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN107526577A (en) |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN110502439A (en) * | 2019-08-07 | 2019-11-26 | Oppo广东移动通信有限公司 | Adjustment method, device, electronic equipment and storage medium |
-
2016
- 2016-06-22 CN CN201610458963.5A patent/CN107526577A/en active Pending
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN110502439A (en) * | 2019-08-07 | 2019-11-26 | Oppo广东移动通信有限公司 | Adjustment method, device, electronic equipment and storage medium |
| CN110502439B (en) * | 2019-08-07 | 2024-01-12 | Oppo广东移动通信有限公司 | Debugging method, device, electronic equipment and storage medium |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| Torlak et al. | Growing solver-aided languages with rosette | |
| Liu et al. | Pat 3: An extensible architecture for building multi-domain model checkers | |
| Person et al. | Directed incremental symbolic execution | |
| De Angelis et al. | VeriMAP: A tool for verifying programs through transformations | |
| Barthe et al. | Beyond 2-safety: Asymmetric product programs for relational program verification | |
| US8234102B2 (en) | Development of assertions for integrated circuit design simulation | |
| CN110633200A (en) | Method and device for testing intelligent contracts | |
| Hubert et al. | A case study of C source code verification: the Schorr-Waite algorithm | |
| US8140315B2 (en) | Test bench, method, and computer program product for performing a test case on an integrated circuit | |
| Blazy et al. | Verified abstract interpretation techniques for disassembling low-level self-modifying code | |
| CN106648813B (en) | Formalized compiling method for synchronous data stream program | |
| Kokologiannakis et al. | Kater: Automating Weak Memory Model Metatheory and Consistency Checking | |
| CN107526577A (en) | A kind of Software Development method | |
| US20050138602A1 (en) | System and method for deriving a process-based specification | |
| Borrione et al. | PSL-based online monitoring of digital systems | |
| Godefroid | Exploiting symmetry when model-checking software | |
| Wu et al. | Research and application of code automatic generation algorithm based on structured flowchart | |
| Izerrouken et al. | Use of formal methods for building qualified code generator for safer automotive systems | |
| Bjørner | Taking satisfiability to the next level with Z3 | |
| Yin et al. | Formal verification by reverse synthesis | |
| Shao et al. | An incremental approach to scope-bounded checking using a lightweight formal method | |
| ter Beek et al. | Software product line analysis with mCRL2 | |
| Mauw et al. | A proof assistant for PSF | |
| Morin-Allory et al. | Validating assertion language rewrite rules and semantics with automated theorem provers | |
| Xie et al. | Translating software designs for model checking |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| PB01 | Publication | ||
| PB01 | Publication | ||
| WD01 | Invention patent application deemed withdrawn after publication |
Application publication date: 20171229 |
|
| WD01 | Invention patent application deemed withdrawn after publication |