A Software Adaptive Decision Verification Method
A verification method and self-adaptive technology, applied in software design, machine learning, instruments, etc., can solve problems such as insufficient self-verification efficiency of software, and achieve the effect of automatic screening
Active Publication Date: 2019-03-26
上海丰蕾信息科技有限公司
View PDF2 Cites 0 Cited by
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
[0004] However, in the above patents, the efficiency of software self-verification is still insufficient
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 moreImage
Smart Image Click on the blue labels to locate them in the text.
Smart ImageViewing Examples
Examples
Experimental program
Comparison scheme
Effect test
Embodiment 1
[0053] In the actual application process, the model converter 100 can adopt model standardization technology and EMF model conversion technology, such as: JET, Acceleo, Xpand, etc., to realize the conversion of the hierarchical multi-agent system model, and obtain the hierarchical state transition system model. The metamodel of the hierarchical state transition system can be defined based on the Eclipse Ecore model, so that the hierarchical state transition system can be described conveniently under the eclipse platform. At the same time, in order to enhance the semantics of the intermediate model, it can be described in combination with the OCL language.
[0054] The model verifier 200 can expand the EMF Validation framework to realize the seamless connection to the EMF model-driven development platform, and at the same time combine existing verification tools such as SPIN to realize the software adaptive decision-making based on the hierarchical multi-agent system model descr...
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
Login to View More Abstract
The invention relates to a software self-adaptive decision verification method. The method comprises the following steps of: evolving a hierarchical MAS model into a plurality of heterogeneous hierarchical multi-agent system models through a self-adaptive decision strategy function; converting the hierarchical multi-agent system models into uniform intermediate models; carrying out analysis and verification on the intermediate models to judge whether the intermediate models satisfy a target property, so as to complete the verification of self-adaptive decision strategies, and comparing a plurality of intermediate models to realize the comparison of the plurality of heterogeneous hierarchical multi-agent system models, so as to select excellent models which accord with the target property; and selecting excellent self-adaptive decision strategies and giving improvement suggestions to the strategies which do not accord with the target property. According to the method provided by the invention, the verification of hierarchical state migration systems is realized, a state space equivalence partitioning technology is combined and the verification efficiency is improved.
Description
technical field [0001] The invention belongs to the field of computer application technology, and mainly relates to the field of formal modeling and verification, in particular to a software self-adaptive decision verification method based on a hierarchical multi-agent system model. Background technique [0002] As the scope of software applications continues to expand, its operating platforms are extending from traditional computers to embedded devices, mobile devices and the open Internet, and are more closely integrated with physical systems and social systems. This open, dynamic, and difficult-to-control operating environment requires the software system to have a certain degree of self-adaptability, that is, the software system should be able to actively sense changes in the environment and requirements, and adjust its own structure and behavior accordingly to generate self-adaptive capabilities. Adapt decision-making strategies to consistently provide services that mee...
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
Login to View More Patent Type & Authority Patents(China)
IPC IPC(8): G06N20/00G06F8/20
CPCG06F8/20G06N20/00
Inventor 史建琦胡志成黄滟鸿方徽星李昂李新何积丰
Owner 上海丰蕾信息科技有限公司