Patents
Literature
Hiro is an intelligent assistant for R&D personnel, combined with Patent DNA, to facilitate innovative research.
Hiro

41 results about "Test adequacy" patented technology

Abstract. The specification of test adequacy is important as it sets limits on the amount of testing that is judged to be sufficient. It also sets a level of confidence that can be associated with the testing. Different approaches to measures of test adequacy are discussed, and guidelines on the use of test adequacy criteria are presented.

Automatic test system based on scene description and implementation method thereof

The invention discloses an automatic test system based on scene description. The automatic test system includes a rule base, an object attribute extractor, a scene model builder, a parsing engine, a path constraint extractor, a core controller, a constraint solver, a solver adapter, a test case generator, a test case library and an optimization engine. According to the automatic test system, attributes of a test object are extracted according to the specific rule base and added to a scene model, the information of the model itself and a heuristic information analysis model extracted from the test case library are combined to automatically generate a test path, a corresponding test input is generated by using the constraint solver, the test path and the test input are integrated to generatea test case and the test case is optimized. While ensuring test adequacy, the test cost of a manual test is reduced, and the test efficiency is improved. The invention also discloses an implementation method of the automatic test system based on scene description.
Owner:SHANGHAI DEV CENT OF COMP SOFTWARE TECH

Method for building AD/DA interface fault model on basis of NI platform

The invention belongs to embedded type software test methods and particularly relates to a method for building an AD / DA interface fault model on the basis of an NI platform. The method comprises a first step of setting different fault injection data parameters and fault injection files according to the cross-linking environment of tested software and the fault injection requirements; a second step of jointly configuring the fault injection data parameters and the fault injection files to a fault injection tool; and a third step of performing connection to carry out a test according to the cross-linking environment of the tested software and the AD / DA fault injection tool cross-linking requirements. The method has the advantages that AD / DA faults can be simulated so as to improve test sufficiency, and the quality standard of embedded type software dynamic testing with respect to AD / DA use case execution sufficiency is improved finally.
Owner:北京京航计算通讯研究所

Intelligent contract test method based on multi-objective optimization

The invention relates to an intelligent contract testing method based on multi-objective optimization. The method comprises steps of obtaining an ABI for an Ethereum intelligent contract source program through truffle compiling, and generating a series of random testing suites through a method for obtaining an intelligent contract through the analysis of the ABI; running a test suite on a local chain to obtain a plurality of conflicting targets such as gas consumption, test case number, branch coverage rate and variation score; non-dominated sorting being carried out according to the collectedinformation, and a Pareto optimal solution being found so that balance is achieved among multiple targets. The method is advantaged in that the method aims to automatically generate the intelligent contract test suite which has cost effectiveness and representativeness, help contract testers to improve the test sufficiency and reduce the test cost at the same time, and finally achieve the goals of improving the intelligent contract test effect and guaranteeing the intelligent contract quality.
Owner:NANJING MUCE INFORMATION TECH

Convolutional neural network-oriented mutation coverage test method and computer storage medium

The invention discloses a convolutional neural network-oriented mutation coverage test method and a computer storage medium, and the method comprises the following steps: 1) setting n mutation operators, and respectively injecting the n mutation operators into a to-be-tested convolutional neural network program P to obtain a mutation program set {P1, P2, P3,and the like, Pn}; 2) training the variation program set {P1, P2, P3, and the like, Pn} by using a training data set D to obtain a variation model set {M1, M2, M3, and the like, Mn}; 3) testing the original model M and the variation model set {M1, M2, M3, and the like, Mn} by using a test data set T; and 4) comparing the test accuracy of all the models, and selecting the model with the highest accuracy. According to the invention, the defect that the traditional test method is difficult to ensure the test sufficiency of the convolutional neural network application program is solved. The test sufficiency of the convolutional neural network can be effectively improved, the method is more effective in neural network model testing, the local optimal model can be found out according to the test accuracy, and the quality and safety ofthe convolutional neural network application program are effectively guaranteed.
Owner:ARMY ENG UNIV OF PLA

Test data construction method and device

The invention provides a test data construction method and device. The method comprises the steps of receiving input structured sample test data; obtaining at least one sample data type of the sampletest data and corresponding sample data characteristics; according to at least one sample data type contained in each sample data type and the data volume corresponding to each sample data type, obtaining sample data distribution characteristics corresponding to each sample data type; and performing data construction according to each sample data type and the corresponding sample data characteristics and sample data distribution characteristics, and generating a preset construction number of target test data. The invention is suitable for generation of a large amount of data in software testing, meets the requirement for rapid acquisition of structured data in big data testing, relieves the burden of data preparation of testing personnel, guarantees the large amount, integrity and diversity of testing data, and effectively improves the testing efficiency and testing sufficiency.
Owner:电信科学技术第十研究所有限公司

Modelling method of strip-shaped single-particle imaging noise

ActiveCN108805887AImprove test adequacyHigh similarityImage analysisParticle imagingModel method
The invention provides a modelling method of strip-shaped single-particle imaging noise. The content is as follows: the single-particle slantly shines to an imaging chip, so that the implicated pixelalong the single-particle linear trajectory is in high-gray value or saturation; the gray assignment of the trajectory implicated pixel is based on the area of the smaller part after cutting the pixelalong the trajectory; when the linear trajectory passes through a pixel center, the gray assignment is the highest; the linear trajectory passes through the pixel angular point, and the gray assignments of the pixels at two sides are the lowest; or the square value of the length, cut by the pixel, of the trajectory line is used as the basis of the gray assignment, or the length value, cut by thepixel, of the trajectory line is used as the basis of the gray assignment. The single-particle noise imaging generated through the method disclosed by the invention and the simulated image are superposed as the input, the simulation experiment is performed for a camera or a star sensor, the similarity of the single-particle interference imaging working condition simulation can be improved, the working condition coverage range of the model testing is enlarged, and the testing sufficiency of the camera or the star sensor embedded system is improved.
Owner:BEIHANG 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