Embedded software black-box test case generation method based on static models

An embedded software and black-box testing technology, applied in software testing/debugging, etc., can solve problems such as inability to guarantee the quality of test cases, low test efficiency, and test lag, so as to ensure reproducibility and comprehensibility, and improve test efficiency , to ensure the effect of effectiveness

Inactive Publication Date: 2015-02-25
吴翔虎 +3
View PDF8 Cites 16 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0007] The purpose of the present invention is to propose a static model-based embedded software black-box test case generation method, to solve the existing black-box test based on the requirements specification document, there is a test lag and it is difficult to understand, the test efficiency is low, and the guarantee cannot be guaranteed. Questions about the quality of test cases

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 black-box test case generation method based on static models
  • Embedded software black-box test case generation method based on static models
  • Embedded software black-box test case generation method based on static models

Examples

Experimental program
Comparison scheme
Effect test

specific Embodiment approach 1

[0035] Specific implementation mode one: combine figure 2 , image 3 Describe this implementation mode, this implementation mode comprises the following steps:

[0036] Step 1. After getting familiar with the software under test, use the structural analysis method to construct the static model of the embedded software by using data flow graph, fault tree, causal graph, decision table, nesting mechanism between graphs and extended semantics of graphs to describe Static testing requirements for embedded software;

[0037] Step 2. Verify the static model of the embedded software built in step 1, and manually plan the test items according to the test purpose, then automatically complete the test items and determine their legality, and finally fill in the name of the test item;

[0038] The completion of the test items is aimed at achieving "internal connectivity of the test items", and is realized by using the classic traversal algorithm of the graph, finally generating complet...

specific Embodiment approach 2

[0053] Specific implementation mode two: combination figure 2 , image 3 Describe this implementation mode, the difference between this implementation mode and specific implementation mode 1 is:

[0054] The structured method described in step 1 is a common method for requirements analysis and design of embedded software. The data flow diagram is the product of the requirements analysis and overall design stage of embedded software. The fault tree, cause-and-effect diagram and decision table are the traditional black-box test common means of design.

[0055] The nesting mechanism between graphics is as image 3 As shown, the connecting lines with arrows represent the nesting relationship between graphs (the starting point is the parent graph, and the end point is the sub graph), including:

[0056] (1) The data flow graph is constructed hierarchically, specifically the data processing nested sub-data flow graph of the data flow graph;

[0057] (2) Data processing nested f...

specific Embodiment approach 3

[0059] Specific implementation mode three: combination figure 2 , image 3 Describe this implementation mode. The difference between this implementation mode and the specific implementation mode 1 or 2 is that the extended semantics of the graphics described in step 1 include:

[0060] (1) Added test semantics to the primitives of the data flow graph, including added backcalculation program, time domain, hardware and interrupt attributes for data processing;

[0061] (2) Added test semantics to the primitives of the fault tree, including the CMP attribute added to the bottom event (this attribute quantitatively describes the occurrence of the bottom event);

[0062] (3) Added test semantics to the decision table, including automatically generating a decision table according to logical expressions, and adding preconditions for the decision table.

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 belongs to the technical field of model-based test automation of software engineering, discloses an embedded software black-box test case generation method based on a static model and solves the problems that the black-box test based on requirement specification documents is behind, difficult to understand and low in test efficiency, and test case quality is unguaranteed. The technical scheme includes the embedded software black-box test case generation method includes (1) adopting a data flow diagram, a fault tree, a cause-and-effect diagram, a decision table, a nest mechanism of diagrams and expanded semantics of the diagrams to construct the static model of the embedded software; (2) based on the static model, planning test items, and automatically generating black box test case collections corresponding to the test items according to a test coverage principle and a test case generation algorithm. The embedded software black-box test case generation method is applicable to static test requirement description of the embedded software and black-box test case generation.

Description

technical field [0001] The invention relates to a method for generating an embedded software black-box test case, in particular to a method for generating a static model-based embedded software black-box test case, and belongs to the technical field of model-based test automation in software engineering. Background technique [0002] At present, the complexity of embedded software is getting higher and higher, and the reliability and real-time requirements are becoming more and more stringent, but the time requirements for embedded products to market are getting shorter and shorter. To meet these stringent requirements, efficient software testing is necessary, including automatic planning, generation, optimization, execution and evaluation of test cases, etc. Efficient software testing needs to solve how to generate a test case set as small as possible but with strong error detection ability as quickly as possible under the weakest test assumption. [0003] Model-based test...

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 吴翔虎
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