A software analysis integration method for embedded software
An embedded software and software analysis technology, applied in the embedded field, can solve the problem of lack of synergy between analysis methods and analysis methods, and achieve the effect of satisfying software analysis requirements, reducing manual participation, and improving software analysis efficiency.
Inactive Publication Date: 2015-09-09
GUANGZHOU XINGYA GAOXIN PLASTIC TECH CO LTD +3
View PDF2 Cites 0 Cited by
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
[0013] SOFAS is a web-based lightweight software analysis method integration framework, which is based on the fact that there are more and more software analysis methods in terms of both types and quantities, but there is little synergy between analysis methods In the reality of the situation, a lightweight framework SOFAS is proposed, a distributed software analysis tool integration platform, which enables seamless synergy between analysis methods
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 Construction
[0053] The following will clearly and completely describe the technical solutions in the embodiments of the present invention with reference to the accompanying drawings in the embodiments of the present invention. Obviously, the described embodiments are only some, not all, embodiments of the present invention. Based on the embodiments of the present invention, all other embodiments obtained by persons of ordinary skill in the art without creative efforts fall within the protection scope of the present invention.
[0054] The software analysis method integration tool is an integrated, scalable, and collaborative software analysis environment, which organizes the elements involved in the software analysis process, such as people, tools, and products, in an orderly manner according to a certain software analysis sequence, and make them work together. The integration of software analysis methods can provide the support of a complete set of software analysis methods, and its inte...
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 discloses a software analysis integration method for embedded software. The method comprises a software analysis integration module, an analysis method execution module and a software analysis method analysis result tracking module. According to the method, an Eclipse based analysis method integration mechanism is adopted, and an Eclipse based software product input adaptive method is adopted during integration. By the aid of the method, an analysis method is added in a plug-in manner, a software analysis method cannot be directly used by a user, and function combination can be realized by means of mutual invoking among tools, so that artificial participation is reduced, software analysis efficiency is improved, and overall software analysis needs are met.
Description
technical field [0001] The invention relates to the field of embedded technology, in particular to an embedded software-oriented software analysis integration method. Background technique [0002] At present, there are already many integration frameworks for software analysis methods. Some of the analysis methods targeted by these integration frameworks are model-based analysis methods, and some are source code-based analysis methods; some analysis frameworks integrate dynamic analysis methods, and some integration Some are static analysis methods; some are web-based analysis method integration frameworks, and some are non-web-based analysis method integration frameworks. [0003] Typical tasks include the following: [0004] An Integrated Framework of Software Analysis Methods Based on Model Transformation [0005] DUALLY [Malavolta 09] is an automatic framework proposed by the University of L'Aquila (Universit`a dell'Aquila, Italy) to provide software architecture langua...
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): G06F9/44
Inventor 陈湘萍林格林谋广罗笑南
Owner GUANGZHOU XINGYA GAOXIN PLASTIC TECH CO LTD