Intrusive type grey box assembly validation method based on model

A verification method and intrusive technology, applied in program control devices, software testing/debugging, etc., can solve the problems of limited number of components, difficult application, and difficulty in formally describing the requirements of push point components, so as to increase the matching degree. , the effect of improving development efficiency, automatic verification of correctness and security
CN104899037AActive Publication Date: 2015-09-09SHANGHAI UNIV
1 Cites 8 Cited by

Patent Information

Authority / Receiving Office
CN · China
Patent Type
Applications(China)
Current Assignee / Owner
SHANGHAI UNIV
Publication Date
2015-09-09

Smart Images

  • Figure 1
    Figure 1
  • Figure 2
    Figure 2
  • Figure 3
    Figure 3
Patent Text Reader

Abstract

The invention relates to an intrusive type grey box assembly validation method based on a model, and belongs to the technical field of software engineering. The intrusive type grey box assembly validation method based on the model includes steps: 1) designing workflow: designing a workflow model composed of a plurality of abstract components according to business logic of software to be developed; 2) performing instantiation: performing retrieval in an instance component library according to function demands and interface information of all the abstract components in the workflow, confirming whether one single instance component matched with the abstract components exists, and if yes, inserting the matched single instance component into the position of the abstract components, or if not, selecting a plurality of the instance components, combining the selected instance components into a composite component, and invading the composite component into the position of the abstract components; 3) verifying properties: converting a configuration file generated in the instantiation so as to obtain a Kripke structure script suitable for execution of a model checker NuSMV, and verifying validity and safety of a component assembly process based on the Kripke structure script. Compared with the prior art, the intrusive type grey box assembly validation method based on the model has the advantages of improving software development efficiency based on the components and the like.
Need to check novelty before this filing date? Find Prior Art

Description

technical field

[0001] The invention relates to a software engineering technology, in particular to a model-based intrusive gray box assembly verification method. Background technique

[0002] Component-Based Software Development (CBSD) is a general trend of software industrialization. Computer software architecture has changed from a manual code development model to a reusable, independently run, encapsulated component model, which has higher flexibility. Due to the reuse of algorithms and software functions, component-based software development greatly shortens the development progress of software systems, especially in the case of limited funds, this method is the best choice for realizing software project development.

[0003] A component is to encapsulate a module or code with a specific function in a certain format. Component assembly is to study the mechanism of how to assemble components. Based on the requirement model, find suitable components for integration to r...

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