CN107229477B - A kind of component interactive relationship modeling method based on co-development system - Google Patents
A kind of component interactive relationship modeling method based on co-development system Download PDFInfo
- Publication number
- CN107229477B CN107229477B CN201710434650.0A CN201710434650A CN107229477B CN 107229477 B CN107229477 B CN 107229477B CN 201710434650 A CN201710434650 A CN 201710434650A CN 107229477 B CN107229477 B CN 107229477B
- Authority
- CN
- China
- Prior art keywords
- component
- model
- relation
- relationship
- dependency relationship
- 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.)
- Active
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/30—Creation or generation of source code
- G06F8/35—Creation or generation of source code model driven
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/20—Software design
Landscapes
- Engineering & Computer Science (AREA)
- Software Systems (AREA)
- General Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Stored Programmes (AREA)
- Debugging And Monitoring (AREA)
Abstract
The component interactive relationship modeling method based on co-development system that the invention discloses a kind of belongs to co-development technology, the Formal Verification field of control software.The described method includes: obtaining component relation descriptive model, Component Dependency relationship is therefrom extracted, submodel is obtained according to Component Dependency relationship degradable member relationship description model, recombinates the component contained in submodel and component relation descriptive model to obtain reconstructed models；Standardization description is carried out to reconstructed models, and the Component Dependency relationship in verifying reconstructed models is described according to standardization, is such as proved to be successful, then as component interactive relational model and exports reconstructed models, terminate；Such as authentication failed, then continue to obtain new component relation descriptive model.Technical solution of the present invention solves the problems, such as the component interactive ambiguity in collaborative development process, it is ensured that safely and efficiently cooperates between the groupwares such as people, code, data and tool.
Description
Technical field
The present invention relates to the co-development technologies of control software, Formal Verification field, more particularly to one kind is based on collaboration
The component interactive relationship modeling method of development system.
Background technique
In co-development, there are a variety of relationships between each software component, and when some component changes, collaboration is opened
Hair system needs to have at least following functions: (1) analysis finds whether the component relied on it can work normally；(2) clear
Logical relation between the component and specification component.That is, needing to further investigate and solve in collaborative processes in co-development
The a variety of conspiracy relations being likely to occur, to ensure safely and efficiently to assist between the collaboration component such as people, code, data and tool
Together.
Component interactive ambiguity, personnel and the groupware relationship being likely encountered in collaborative development process at this stage are not
The problems such as bright, data relationship is indefinite and development process ordinal relation is fuzzy, effectively hands over the component in co-development system
Mutual relation model most important.
Summary of the invention
For the defect for solving the prior art, the present invention provides a kind of component interactive relationship modeling based on co-development system
Method, comprising:
Step S1: component relation descriptive model is obtained；
Step S2: extracting the Component Dependency relationship in the component relation descriptive model, according to the Component Dependency relationship
It decomposes the component relation descriptive model and obtains submodel, by what is contained in the submodel and the component relation descriptive model
Component recombinates to obtain reconstructed models；
Step S3: standardization description is carried out to the reconstructed models；
Step S4: verifying the Component Dependency relationship in the reconstructed models according to the standardization description, be such as proved to be successful,
Then the reconstructed models as component interactive relational model and are exported, are terminated；Such as authentication failed, then return step S1.
Optionally, the component relation descriptive model, comprising: component relation description and the E-R diagram form of written form
Component relation model；The component relation of the written form describes, including data type and/or data dependence and/or logic function
Energy and/or functional interface；The component relation model of the E-R diagram form, specially original members dependence.
Optionally, the step S1, specifically: the file storage that developer therefrom inputs is waited and received by playing frame
Address obtains the component relation descriptive model in file according to the file storage address；
In the step S2, the Component Dependency relationship extracted in the component relation descriptive model, specifically: to institute
It states file to be pre-processed, and after being understood by nature semantic processes technology the content in the file, extracts new
Component relation is as Component Dependency relationship.
Optionally, in the step S2, the Component Dependency relationship in the component relation descriptive model extracted includes:
Many-one relationship, many-to-many relationship, many-to-one relationship.
Optionally, described that the component relation descriptive model is decomposed according to the Component Dependency relationship in the step S2
Submodel is obtained, specifically: the degree of correlation according to the Component Dependency relationship to the component relation descriptive model according to component
It is decomposed to obtain submodel.
Optionally, the step S3, specifically: it will be different with logic calculus to the component property in the reconstructed models
Specification between component is described as logical expression, and establishes temporal constraint and integrated constraint on the members, obtains logic
The integrated rule of relational expression, sequential relationship expression formula and component.
Optionally, in the step S4, it is described according to the standardization description verify the component in the reconstructed models according to
The relationship of relying, specifically includes:
Step a1: according to it is described standardization description in the reconstructed models Component Dependency relationship carry out logical proof,
Timing proves and data are analyzed to obtain the first verification result；
Step a2: the logical proof, timing are proved and data analysis combination of two obtains combined expression；
Step a3: first verification result is verified using the combined expression.
The logical proof, specifically: the logical relation expression formula in the standardization description is used based on proof
Inference mechanism verifying；
The timing proves, specifically: it is proved with the method that dynamic time sequence is verified, including determines test vector, input mould
Type is emulated, completely tests each path；
The data analysis, specifically: verify the data type mistake of the reconstructed models, including null pointer error, reading
Write error, read-after-write mistake, write after write mistake afterwards.
Optionally, in the step S4, before return step S1, further includes:
The component relation descriptive model is modified, the dependence between adjustment different component obtains new component relation and retouches
State model；
In the step S4, after return step S1, the step S1, specifically: obtain the new component relation
Descriptive model.
The present invention has the advantages that
Modeling method disclosed by the invention is established and is made of a series of orderly, multi-level, structuring rules
Component interactive model, solve the problems, such as the component interactive ambiguity in collaborative development process, it is ensured that people, code, number
It is safely and efficiently cooperateed with according between the collaboration component such as tool.
Detailed description of the invention
By reading the following detailed description of the preferred embodiment, various other advantages and benefits are common for this field
Technical staff will become clear.The drawings are only for the purpose of illustrating a preferred embodiment, and is not considered as to the present invention
Limitation.And throughout the drawings, the same reference numbers will be used to refer to the same parts.In the accompanying drawings:
Attached drawing 1 is a kind of component interactive relationship modeling method frame figure based on co-development system provided by the invention；
Attached drawing 2 is a kind of component interactive relationship modeling method flow diagram based on co-development system provided by the invention；
A kind of 3, attached drawing component interactive relationship modeling tool block diagrams based on co-development system provided by the invention.
Specific embodiment
The illustrative embodiments of the disclosure are more fully described below with reference to accompanying drawings.Although showing this public affairs in attached drawing
The illustrative embodiments opened, it being understood, however, that may be realized in various forms the disclosure without the reality that should be illustrated here
The mode of applying is limited.It is to be able to thoroughly understand the disclosure on the contrary, providing these embodiments, and can be by this public affairs
The range opened is fully disclosed to those skilled in the art.
Embodiment according to the present invention proposes a kind of component interactive relationship modeling method based on co-development system,
Its summary thought is as shown in Figure 1, comprising: component relation demand stage, the i.e. description of acquisition component relation and component relation model；Base
Model is carried out in the component relation description of acquisition and component relation model and component is integrated, including Component Dependency relationship is extracted, mould
Type decomposes, component and model are reintegrated；Then unambiguity, Formal Languages unambiguously are carried out to the model after integration
Description, i.e. progress canonical form；Component due to participating in collaboration must defer to same rule and agreement jointly, and after integrating
Model there is no by verifying, it is understood that there may be the dependence influenced between the collaboration component such as people, code, data and tool is different
Often, the problems such as conflicting, it is therefore desirable to Formal Verification be carried out to the dependence between each component, i.e. progress model verifying；
Wherein, verification method includes logical proof, combined authentication, data analysis, timing verification etc.；When verifying correct, output link
Interactive relation model returns to component relation demand stage when authentication error；Mould by multiple-authentication, after ensure that integration
The reliability of type, and decide whether to reintegrate model according to the correctness of verification result.
The modeling method also support based on model and component base, each data are stored in distributed data base, are made
It obtains data dispersion to be stored on the back end of each network connection, has the characteristics that high scalability, high concurrent, high availability；
Wherein, model and component base include: behavior model library, are related to model library, demand model library, framework model library, component base, sample
Engineering library etc..
In the present invention, the logical relation between each collaboration component is portrayed in a manner of relational model, finally by form
The method for chemically examining card obtains a series of component interactive relational model being made of orderly, multi-level, structuring rules.
Embodiment one
Embodiment according to the present invention provides a kind of component interactive relationship modeling method based on co-development system,
As shown in Figure 2, comprising:
Step 101: obtaining component relation descriptive model；
Step 102: the Component Dependency relationship in component relation descriptive model is extracted, according to Component Dependency relationship degradable member
Relationship description model obtains submodel, and the component contained in obtained submodel and component relation descriptive model is recombinated to obtain weight
Group model；
Step 103: standardization description is carried out to reconstructed models；
Step 104: the Component Dependency relationship in verifying reconstructed models being described according to standardization, is such as proved to be successful, then will weigh
Group model is as component interactive relational model and exports, and terminates；Such as authentication failed, then return step 101.
Embodiment according to the present invention, component relation descriptive model, comprising: the component relation of written form describes and E-
The component relation model of R diagram form；
Wherein, written form component relation description, including data type and/or data dependence and/or logic function and
Or functional interface；The component relation model of E-R diagram form, specially original members dependence.
Embodiment according to the present invention, step 101, specifically: by playing, frame is waited and to receive developer therefrom defeated
The file storage address entered obtains the component relation descriptive model in file according to the file storage address；
Accordingly, in step 102, the Component Dependency relationship in component relation descriptive model is extracted, is specifically included: to described
File is pre-processed, and after being understood by nature semantic processes technology the component relation descriptive model in file, is mentioned
Take new component relation as Component Dependency relationship.
Further, in the absence of the file storage address of developer's input, further includes: play frame prompt file and do not deposit
?.
Embodiment according to the present invention, in step 102, the Component Dependency in component relation descriptive model extracted is closed
System includes but is not limited to: many-one relationship, many-to-many relationship, many-to-one relationship.
Embodiment according to the present invention in step 102, is obtained according to Component Dependency relationship degradable member relationship description model
To submodel, specifically: the degree of correlation according to Component Dependency relationship to component relation descriptive model according to component decompose
To submodel.
Preferably, in the present embodiment step 102, the component contained in submodel and component relation descriptive model is recombinated
To after reconstructed models, further includes: generate reconstructed models file and save；
Accordingly, before step 103, further includes: read the reconstructed models file of preservation；
Accordingly, step 103 specifically: standardization is carried out to reconstructed models according to the reconstructed models file read and is retouched
It states.
Embodiment according to the present invention, step 103, specifically: the component property in reconstructed models is drilled with logic
It calculates and the specification between different component is described as logical expression, and establish temporal constraint and integrated constraint on component, obtain
The integrated rule of logical relation expression formula, sequential relationship expression formula and component.
Embodiment according to the present invention in step 104, describes the Component Dependency in verifying reconstructed models according to standardization
Relationship specifically includes:
Step a1: according to standardization description carries out logical proof to the Component Dependency relationship in reconstructed models, timing proves
It analyzes to obtain the first verification result with data；
Step a2: logical proof, timing are proved and data analysis combination of two obtains combined expression；
Step a3: the first verification result is verified using combined expression.
Wherein, logical proof, specifically: the reasoning based on proof is used to the logical relation expression formula in standardization description
Mechanism verifying；
Timing proves, specifically: proved with the method that dynamic time sequence is verified, including determine test vector, input model, into
Each path is completely tested in row emulation；
Data analysis, specifically: verify the data type mistake of reconstructed models, including null pointer error, writeafterread mistake,
Read-after-write mistake, write after write mistake.
In the present embodiment, reconstructed models show in graph form, since reconstructed models are inexperienced, it is thus possible to exist
People, code, data and tool etc. cooperate with the problems such as abnormal dependence between component, conflict；Counterweight is described according to standardization
Component Dependency relationship in group model carries out multiple-authentication, ensure that the reliability of reconstructed models, and just according to verification result
True property decides whether reconstructed models.
Embodiment according to the present invention, at step 104, before return step 101, further includes:
Component relation descriptive model is modified, the dependence between adjustment different component obtains new component relation and describes mould
Type；
Accordingly, at step 104, after return step 101, step 101 specifically: obtain new component relation description
Model.
Wherein, component relation descriptive model is modified, the dependence adjusted between different component obtains new component relation
Descriptive model, specifically: artificial modification component relation descriptive model, adjust different component between dependence obtain it is new
Component relation descriptive model.
Preferably, in the present embodiment step 104, the Component Dependency relationship in verifying reconstructed models is being described according to standardization
During, when the verification result of return is true, determine that reconstructed models are correct；When the verification result of return is false,
Determine that reconstructed models have the problems such as conflict, abnormal.
It further, in the present embodiment, can also include: through bus adapter after determining that reconstructed models are correct
It publishes in the local computing of each developer.
Embodiment two
Embodiment according to the present invention provides a kind of component interactive relationship modeling tool based on co-development system,
As shown in Figure 3, comprising:
Module 201 is obtained, for obtaining component relation descriptive model；
Extraction module 202 is closed for extracting the Component Dependency obtained in the component relation descriptive model that module 201 is got
System；
Decomposing module 203, the Component Dependency relationship for being extracted according to extraction module 202, which is decomposed, obtains the acquisition of module 201
To component relation descriptive model obtain submodel；
Recombination module 204, the component that submodel and acquisition module 201 for obtaining decomposing module 203 are got close
It is that the component contained in descriptive model recombinates to obtain reconstructed models；
Normalizing block 205, the reconstructed models for obtaining to recombination module 204 carry out standardization description；
Authentication module 206, for the Component Dependency in the standardization description verifying reconstructed models according to normalizing block 205
Relationship；
Output module 207, for when authentication module 206 is proved to be successful, using reconstructed models as component interactive relationship mould
Type simultaneously exports；
Module 201 is obtained, is also used to when 206 authentication failed of authentication module, component relation descriptive model is obtained.
Embodiment according to the present invention, component relation descriptive model, comprising: the component relation of written form describes and E-
The component relation model of R diagram form；
Wherein, written form component relation description, including data type and/or data dependence and/or logic function and
Or functional interface；The component relation model of E-R diagram form, specially original members dependence.
Embodiment according to the present invention obtains module 201, is specifically used for: being waited by bullet frame and receives developer
The file storage address therefrom inputted obtains the component relation descriptive model in file according to file storage address；
Accordingly, extraction module 202 are specifically used for: pre-processing to the file, and pass through nature semantic processes skill
After art understands the content in file, new component relation is extracted as Component Dependency relationship.
Embodiment according to the present invention, the Component Dependency in component relation descriptive model that extraction module 202 extracts
Relationship includes but is not limited to: many-one relationship, many-to-many relationship, many-to-one relationship.
Embodiment according to the present invention, decomposing module 203, is specifically used for: according to extraction module 202 extract component according to
The degree of correlation of the relationship of relying to component relation descriptive model according to component is decomposed to obtain submodel.
Embodiment according to the present invention, normalizing block 205, is specifically used for: the recombination mould obtained to recombination module 204
Specification between different component is described as logical expression with logic calculus by the component property in type, and is established on component
Temporal constraint and integrated constraint obtain the integrated rule of logical relation expression formula, sequential relationship expression formula and component.
Embodiment according to the present invention, authentication module 206, comprising: the first verifying submodule, combination submodule and second
Verify submodule；
Wherein, the first verifying submodule, for being described according to the standardization of normalizing block 205 to the structure in reconstructed models
Part dependence carries out logical proof, timing proves and data are analyzed to obtain the first verification result；
Submodule is combined, for logical proof, timing proof and data analysis combination of two to be obtained combined expression；
Second verifying submodule, combined expression verifying the first verifying submodule for being obtained using combination submodule are obtained
The first verification result arrived.
Wherein, logical proof, specifically: the reasoning based on proof is used to the logical relation expression formula in standardization description
Mechanism verifying；
Timing proves, specifically: proved with the method that dynamic time sequence is verified, including determine test vector, input model, into
Each path is completely tested in row emulation；
Data analysis, specifically: verify the data type mistake of reconstructed models, including null pointer error, writeafterread mistake,
Read-after-write mistake, write after write mistake.
Embodiment according to the present invention, when 206 authentication failed of authentication module, further includes: artificial modification component closes
It is descriptive model, the dependence adjusted between different component obtains new component relation descriptive model；
Accordingly, module 201 is obtained, is specifically used for: when 206 authentication failed of authentication module, obtaining the new component
Relationship description model.
Tool in the present invention, further includes: model and component library module are used for software required for storing co-development
Framework and Demand Design, including but not limited to: behavior model library, framework model library, the library that designs a model, component base, demand model
Library, sample engineering library.
Further, each data are stored in distributed data base by model and component library module, so that data dispersion is deposited
Storage has the characteristics that high scalability, high concurrent, high availability on the back end of each network connection.
Embodiment three
In the present embodiment, for carrying out the exploitation of new-energy automobile control software, by a kind of base of well-behaved disclosure of the invention
It is further described in the component interactive relationship modeling method and tool of co-development system.
With the development that automotive engineering is maked rapid progress, pure electric automobile, stroke-increasing electric automobile, hybrid vehicle, combustion
The new-energy automobiles such as material battery electric automobile, hydrogen engine automobile have come into the visual field of people.It is very high that automobile controls software needs
Reliability, real-time.Otherwise, it will cause the loss of life security and property in the process of moving.Using in the present invention
A kind of component interactive relationship modeling tool and modeling method based on co-development system can develop new-energy automobile control
The formalization method of the initial stage modeling of software lays the foundation to the reliability of software.
The component interactive relationship modeling in new-energy automobile control software is specifically included using the tool in the present invention:
Step A: component relation descriptive model is obtained；
Specifically, the file storage address that developer therefrom inputs is waited and receives by playing frame, according to what is received
File storage address obtains the component relation descriptive model in file.
Step B: extracting the Component Dependency relationship in component relation descriptive model, is closed according to Component Dependency relationship degradable member
It is that descriptive model obtains submodel, the component contained in obtained submodel and component relation descriptive model is recombinated
Model；
For example, reconstructed models are Injection Control control model, brake Controlling model etc.；And generate the preservation of reconstructed models file
Under subdirectory.
Step C: standardization description is carried out to reconstructed models；
Specifically, the reconstructed models file in subdirectory is read, and unambiguity, shape unambiguously are carried out to reconstructed models
Formula language description, comprising: the integrated rule of logical relation expression formula, sequential relationship expression formula, component.
Step D: describing the Component Dependency relationship in verifying reconstructed models according to standardization, be such as proved to be successful, then will recombination
Model is as component interactive relational model and exports, and terminates；Such as authentication failed, then return step A.
Specifically, the component for participating in collaboration must defer to same rule and agreement jointly, to structure each in reconstructed models
Part dependence carries out Formal Verification, and verification method includes: logical proof, timing verification, combined authentication, data analysis.When
When being proved to be successful, reconstructed models as the component interactive relational model in new-energy automobile control software and are exported, are sent out
Cloth is into the local computing of each developer；When failing the authentication, determine that the problems such as conflict, abnormal occurs in collaboration, then repair again
Change component relation descriptive model.
According to the technical solution of the present invention, a series of structure being made of orderly, multi-level, structuring rules is established
Part interaction models solve the problems, such as the component interactive ambiguity in collaborative development process, it is ensured that people, code, data and
It is safely and efficiently cooperateed between the collaboration component such as tool
The foregoing is only a preferred embodiment of the present invention, but scope of protection of the present invention is not limited thereto,
In the technical scope disclosed by the present invention, any changes or substitutions that can be easily thought of by anyone skilled in the art,
It should be covered by the protection scope of the present invention.Therefore, protection scope of the present invention should be with the protection model of the claim
Subject to enclosing.
Claims (6)
1. a kind of component interactive relationship modeling method based on co-development system characterized by comprising
Step S1: component relation descriptive model is obtained；
Step S2: extracting the Component Dependency relationship in the component relation descriptive model, according to the Component Dependency relationship to institute
The degree of correlation that component relation descriptive model is stated according to component is decomposed to obtain submodel, will according to the Component Dependency relationship
The component contained in the submodel and the component relation descriptive model recombinates to obtain reconstructed models, the component relation description
Model does not include the reconstructed models；
Step S3: standardization description is carried out to the reconstructed models, the standardization is described as unambiguity, form unambiguously
Change language description；
Step S4: the Component Dependency relationship in the reconstructed models is verified according to the standardization description, is such as proved to be successful, then will
The reconstructed models are as component interactive relational model and export, and terminate；Such as authentication failed, then return step S1；
It is wherein, described that Component Dependency relationship in the reconstructed models is verified according to the standardization description in the step S4,
It specifically includes:
Step a1: logical proof, timing are carried out to the Component Dependency relationship in the reconstructed models according to the standardization description
It proves and data is analyzed to obtain the first verification result；The logical proof specifically: the logic in the standardization description is closed
It is that expression formula is verified using the inference mechanism based on proof；The timing proves specifically: is demonstrate,proved with the method that dynamic time sequence is verified
It is bright, including determine test vector, input model, emulated, completely test each path；The data analysis specifically:
Verify the data type mistake of the reconstructed models, including null pointer error, writeafterread mistake, read-after-write mistake, write after write mistake
Accidentally；
Step a2: the logical proof, timing are proved and data analysis combination of two obtains combined expression；
Step a3: first verification result is verified using the combined expression.
2. the method according to claim 1, wherein the component relation descriptive model, comprising: written form
The component relation model of component relation description and E-R diagram form；
The component relation of the written form describes, including data type, and/or data dependence, and/or logic function, and/or
Functional interface；
The component relation model of the E-R diagram form, specially original members dependence.
3. the method according to claim 1, wherein
The step S1, specifically: the file storage address that developer's input is waited and received by playing frame, according to the text
Part storage address obtains the component relation descriptive model in file；
In the step S2, the Component Dependency relationship extracted in the component relation descriptive model, specifically: pass through nature
After semantic processes technology understands the content in the file, new component relation is extracted as Component Dependency relationship.
4. the method according to claim 1, wherein the component relation extracted is retouched in the step S2
Stating the Component Dependency relationship in model includes: many-one relationship, many-to-many relationship, many-to-one relationship.
5. the method according to claim 1, wherein the step S3, specifically: in the reconstructed models
Relationship between different component is described as logical expression with logic calculus by component property, and is established on the members
Temporal constraint and integrated constraint obtain the integrated rule of logical relation expression formula, sequential relationship expression formula and component.
6. the method according to claim 1, wherein
In the step S4, before return step S1, further includes:
The component relation descriptive model is modified, the dependence between adjustment different component obtains new component relation and describes mould
Type；
In the step S4, the return step S1 specifically: obtain the new component relation descriptive model.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201710434650.0A CN107229477B (en) | 2017-06-09 | 2017-06-09 | A kind of component interactive relationship modeling method based on co-development system |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201710434650.0A CN107229477B (en) | 2017-06-09 | 2017-06-09 | A kind of component interactive relationship modeling method based on co-development system |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| CN107229477A CN107229477A (en) | 2017-10-03 |
| CN107229477B true CN107229477B (en) | 2019-10-08 |
Family
ID=59935960
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN201710434650.0A Active CN107229477B (en) | 2017-06-09 | 2017-06-09 | A kind of component interactive relationship modeling method based on co-development system |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN107229477B (en) |
Families Citing this family (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN109491893A (en) * | 2018-10-24 | 2019-03-19 | 中国人民解放军战略支援部队航天工程大学 | A kind of abnormality eliminating method and system of member type software |
| CN111400073B (en) * | 2020-03-10 | 2021-08-20 | 中国科学院软件研究所 | Formalized system model conversion and reliability analysis method from automobile open architecture system to unified software and hardware representation |
Citations (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN1744038A (en) * | 2005-09-28 | 2006-03-08 | 清华大学 | Member assembling method based on united member package structure |
| CN105718289A (en) * | 2016-01-21 | 2016-06-29 | 腾讯科技（深圳）有限公司 | Component relationship establishing method and equipment |
| CN106528127A (en) * | 2016-10-26 | 2017-03-22 | 合肥润客软件科技有限公司 | Software architecture driver-based distributed system development method |
Family Cites Families (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US20110016477A1 (en) * | 2009-07-14 | 2011-01-20 | Microsoft Corporation | Pre-calculation and caching of dependencies |
| EP3155515B1 (en) * | 2014-06-16 | 2022-05-11 | Silverthread, Inc. | Computer-implemented tools and methods for extracting information about the structure of a large computer software system, exploring its structure, discovering problems in its design, and enabling refactoring |
-
2017
- 2017-06-09 CN CN201710434650.0A patent/CN107229477B/en active Active
Patent Citations (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN1744038A (en) * | 2005-09-28 | 2006-03-08 | 清华大学 | Member assembling method based on united member package structure |
| CN105718289A (en) * | 2016-01-21 | 2016-06-29 | 腾讯科技（深圳）有限公司 | Component relationship establishing method and equipment |
| CN106528127A (en) * | 2016-10-26 | 2017-03-22 | 合肥润客软件科技有限公司 | Software architecture driver-based distributed system development method |
Non-Patent Citations (2)
| Title |
|---|
| "机载嵌入式系统构件间依赖关系处理方法研究";赵益民 等;《航空计算技术》;20161125;第46卷(第6期);第84-87页 * |
| "采用构件组装技术协同开发Web应用的方法";陈霄 等;《计算机科学与探索》;20121116(第02期);第114-125页 * |
Also Published As
| Publication number | Publication date |
|---|---|
| CN107229477A (en) | 2017-10-03 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| Hierons et al. | Using formal specifications to support testing | |
| CN108509336A (en) | A kind of operating system canonical form chemical examination card and test method | |
| Boulanger | Industrial use of formal methods: Formal verification | |
| CN109634600A (en) | A kind of code generating method based on security extension SysML and AADL model | |
| CN109739740A (en) | A kind of AADL model combination formalization verification method | |
| Dranidis et al. | JSXM: A tool for automated test generation | |
| CN107229477B (en) | A kind of component interactive relationship modeling method based on co-development system | |
| Lee et al. | Requirements modeling and automated requirements-based test generation | |
| Andrade et al. | Abstracting time and data for conformance testing of real-time systems | |
| CN107256308B (en) | A kind of component interactive relationship modeling system based on co-development system | |
| Hierons et al. | Using formal methods to support testing | |
| Märtin et al. | A methodology for model-based development and automated verification of software for aerospace systems | |
| Drusinsky et al. | A visual tradeoff space for formal verification and validation techniques | |
| Abdulkhaleq | A system-theoretic safety engineering approach for software-intensive systems | |
| Ledru et al. | Test purposes: adapting the notion of specification to testing | |
| CN115408289A (en) | SCADE model-oriented test case automatic generation method | |
| Kandl et al. | A formal approach to system integration testing | |
| Weiglhofer et al. | Unifying input output conformance | |
| Aniculaesei et al. | Automated Generation of Requirements-Based Test Cases for an Automotive Function using the SCADE Toolchain | |
| Sobotka et al. | Testing automotive reactive systems using timed automata | |
| Ortega-Cabezas et al. | Application of Rule-Based Expert Systems and Dynamic-Link Libraries to Enhance Hardware-in-The-Loop Simulation Results. | |
| Deb et al. | Generation of safety and liveness complaint automata from goal model specifications | |
| Todorov et al. | Improved invariant generation for industrial software model checking of time properties | |
| Iannopollo | A Platform-Based Approach to Verification and Synthesis of Linear Temporal Logic Specifications | |
| Filipovikj et al. | Bounded invariant checking for stateflow programs |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| PB01 | Publication | ||
| PB01 | Publication | ||
| SE01 | Entry into force of request for substantive examination | ||
| SE01 | Entry into force of request for substantive examination | ||
| GR01 | Patent grant | ||
| GR01 | Patent grant | ||
| TR01 | Transfer of patent right |
Effective date of registration: 20210805 Address after: Room 801, no.6, Lane 600, Yunling West Road, Putuo District, Shanghai 200062 Patentee after: SHANGHAI FORMAL TECH INFORMATION TECHNOLOGY Co.,Ltd. Address before: 200062 No. 3663, Putuo District, Shanghai, Zhongshan North Road Patentee before: EAST CHINA NORMAL University Patentee before: SHANGHAI FORMAL TECH INFORMATION TECHNOLOGY Co.,Ltd. |
|
| TR01 | Transfer of patent right |