Third-party component vulnerability test method based on conditions and parameter variations

A technology of parameter variation and variation testing, which is applied in software testing/debugging, etc., can solve problems such as failure to consider combined component requirement descriptions and parameters, test inaccuracy and completeness, etc., and achieve the effect of improving efficiency

Active Publication Date: 2014-03-05
JIANGSU UNIV
View PDF4 Cites 13 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0004] The test method based on the third-party component in the prior art does not take into account the combination of component requirement description and parameter information, which has always brought the ...

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 more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Third-party component vulnerability test method based on conditions and parameter variations
  • Third-party component vulnerability test method based on conditions and parameter variations
  • Third-party component vulnerability test method based on conditions and parameter variations

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0038] The present invention will be further described below in conjunction with the accompanying drawings and embodiments. It should be noted that the described embodiments are only intended to facilitate the understanding of the present invention, and have no limiting effect on it.

[0039] The purpose of the present invention is aimed at the characteristics of abnormal display of third-party components, to provide a vulnerability testing method based on the preconditions, postconditions and parameter specification variation of the third-party component method, to effectively detect the abnormal display of third-party components, and to provide A complete vulnerability testing framework and mutation algorithm have been established, and sufficient experiments have been carried out to prove the feasibility and effectiveness of the method.

[0040] First, several concepts involved in defining the embodiments of the present invention are defined as follows,

[0041] Definition 1...

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

No PUM Login to view more

Abstract

The invention provides a third-party component vulnerability test method based on conditions and parameter variations. The third-party component vulnerability test method comprises the steps of analyzing a component interface through a third-party type library to obtain type information of a component, obtaining a safety requirement protocol of the component according to the description and IDL of the component, obtaining pre-conditions and post-conditions of the method from the requirement protocol, conducting a condition variation test on a method sequence, extracting parameter value constraints and relation constraints from requirements, conducting a parameter protocol variation test on the method sequence, and obtaining a vulnerability test report according to the testing result of the step 3 and the testing result of the step 4. The third-party component vulnerability test method has a certain effect on explicit expression safety abnormity, the safety of the component can be tested, and the test efficiency is improved.

Description

technical field [0001] The invention belongs to the technical field of third-party component vulnerability testing, and relates to a third-party component vulnerability testing method based on condition and parameter variation. Background technique [0002] With the development of component technology, more and more commercial software manufacturers purchase and use third-party components, including some safety-critical software such as medical, banking and other industry software. The research in the past 30 years has mainly focused on the functional testing of components, trying to find out the errors in the development and implementation of components, and the vulnerability testing of components is a problem that cannot be ignored in the current development of components, especially the vulnerability of third-party components . Due to the unknowable source code and high independence of third-party components, the white-box testing technology cannot be used successfully, ...

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
no application Login to view more
IPC IPC(8): G06F11/36
Inventor 陈锦富陈加梅詹永照杨鹤标苏晨飞
Owner JIANGSU UNIV
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap