Embedded software test method based on combinatorial test

An embedded software and combined testing technology, applied in software testing/debugging, etc., can solve problems such as low test coverage and poor test efficiency, and achieve the effect of reducing the number and improving test efficiency

Active Publication Date: 2013-09-04
HARBIN INST OF TECH
View PDF2 Cites 30 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0005] The purpose of the invention is to solve the problems of low test coverage and poor test efficiency in current embedded software testing, and provide a method for testing embedded software based on combined testing

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
  • Embedded software test method based on combinatorial test
  • Embedded software test method based on combinatorial test
  • Embedded software test method based on combinatorial test

Examples

Experimental program
Comparison scheme
Effect test

specific Embodiment approach 1

[0014] Specific implementation mode one: the following combination figure 1 Describe this embodiment, the embedded software testing method based on combination test described in this embodiment, the realization step of this method is:

[0015] Step 1, the software under test, referred to as SUT, defines the data communication protocol according to the interface type, data frame format, data element type, data element length and signal range information of the data element of the software under test; wherein, the data element The signal range is used as the basis for the test case generation of the software under test SUT;

[0016] Step 2. Construct a virtual model according to the requirements specifications and corresponding documents of the software SUT to be tested;

[0017] Step 3. According to the signal range of the data elements in the data communication protocol described in step 1, the combination test data generation algorithm based on the replacement disturbance is...

specific Embodiment approach 2

[0019] Specific implementation mode two: the following combination figure 1 Describe this embodiment. This embodiment will further explain Embodiment 1. In step 1 described in this embodiment, edit data according to the interface type of the device under test, the data frame format, the data element type, the length of the data element, and the signal range of the data element. The specific method of the communication protocol is:

[0020] First, formulate the overall structure of the data communication protocol according to the GJB5439-2005 bus protocol; the overall structure of the data communication protocol is a unified description of the data interface using a data block, data element, and data bit three-level data structure; the data block Including: specification number, signal name, version, type, source, destination, standard, transmission type, interrupt, system mode, word count, allowed rewriting, update cycle, allowed maximum delay, data element array, frame header...

specific Embodiment approach 3

[0024] Specific implementation mode three: the following combination figure 1 Describe this implementation mode, this implementation mode will further explain the implementation mode 1, the construction process of the virtual model in the step 2 described in this implementation mode is:

[0025] According to the requirements specification of the software, the virtual model constructed by using Matlab software, the specific construction process is as follows:

[0026] First, establish the basic model: use the simulink model development environment provided by matlab to establish the model file, and set the input and output parameters. The construction process of the virtual model abstracts the tested software SUT into an I / O model F:Y→U according to the function; Among them, F is the virtual model abstracted by the tested software SUT; Y is the vector space composed of all possible values ​​of the input variables, U is the vector space composed of the output variables, and the ...

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 an embedded software test method based on a combinatorial test, and belongs to the field of software tests. The method solves the problems that in an existing embedded software test, the test coverage rate is low and the test efficiency is poor. The method includes the steps: (1) a data communication protocol is edited according to a port type, a data frame format, a data element type, a data element length and a data element signal range of software to be tested, (2) a virtual model is built according to a requirement specification and a corresponding document of an SUT of the software to be tested, (3) combinatorial test data are generated through a combinatorial test data generating algorithm based on replacement disturbance, a test data set is constructed in a two-dimensional extension mode and a combinatorial test data set A is generated, (4) the test data generated in the step (3) are put into the virtual model built in the step (2) and the practical tested software, obtained test results are compared, the test data resulting in different results of the virtual model and the practical tested software are analyzed, and accordingly a test conclusion is obtained. The method is used for testing software.

Description

technical field [0001] The invention relates to a software testing method, which belongs to the field of software testing. Background technique [0002] Software testing is a hot spot in current software engineering research, including automatic generation and execution of test cases and dynamic analysis of test results. Compared with other forms of software, embedded software has the characteristics of real-time, specificity and hardware dependence, which makes the functional testing of embedded software particularly important. Its input and output are all realized through the hardware interface, so that the automatic test technology can be effectively applied to the embedded software test, the test case is automatically generated, input through the hardware import, and the output result is also read out through the hardware interface for analysis. To achieve the purpose of rapid and effective testing. [0003] However, there are still many deficiencies in the testing of ...

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
Patent Type & Authority Applications(China)
IPC IPC(8): G06F11/36
Inventor 王建峰魏长安姜守达盛云龙
Owner HARBIN INST OF TECH
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