A method for automatic testing for test models based on functional block diagrams

Abstract

The invention discloses a method for automatically generating test cases based on a function block diagram test model. The steps include: extracting input and output, logical relations and constraint relations in the requirement specification of embedded software, and according to the input and output in the requirement specification of the software , logical relationship and constraint relationship establish a function block diagram test model based on a function block diagram language; establish conversion rules for converting the function block diagram test model into a data combination table; extract basic data from the function block diagram test model, and then Data derivation is performed on the basis of the basic data according to the conversion rules, thereby converting the function block diagram test model into a data combination table; and generating test cases according to the data combination table. The invention has the advantages of high testing efficiency, good quality of test cases, sensitive to timing relationship, sensitive to boundary, sensitive to operation logic, and capable of identifying the state of software and the transfer relationship between states.

Description

technical field [0001] The invention relates to a software testing technology for embedded software development, in particular to a method for automatically generating test cases based on a function block diagram test model. Background technique [0002] Software testing is an important guarantee of software quality. In the field of software testing, the writing of test cases and test scripts has always been an important task of software testing. The quality of test cases and test scripts has an Significant impact, for the same requirements, the quality of test cases and test scripts written by testers of different levels varies greatly, and manual writing of test cases and test scripts is a lot of work and low efficiency. [0003] Model based testing (Model based testing, referred to as MBT) belongs to a testing method in the field of software testing, which automatically generates test cases and test codes by establishing test scenarios or test models (hereinafter referred...

AI Technical Summary

Problems solved by technology

[0008] The test method based on causal diagram modeling is highly logical, expressing requirements clearly and easily, and it not only considers the logical combination between inputs, but also considers the constraint relationship between inputs, and can avoid input through constraint relationships. Combination explosion reduces the number of test cases, but the test method based on the causal diagram model has the following disadvantages: (1), the test method based on the causal diagram model is not sensitive to the timing relationship, when the requirement involves timing (delay, pulse) relationship When , the causal graphical model cannot express clearly

(2) The test based on the causal diagram model is not sensitive to the boundary. When there is a comparison logic (greater than, equal to, greater than or equal to, less than, less than or equal to), the causal diagram modeling cannot extract the corresponding boundary, and the boundary can only be extracted manually

(3) The test method based on the causal diagram model is not sensitive to the operation logic. When there are operation logics (addition, subtraction, multiplication, division, modulo, and remainder), the causality diagram model cannot identify these operation logics, and cannot Unable to test decomposition of operation logic

(4) The test method based on the causal diagram model cannot identify the transition relationship between the state of the software and the state, so it can only generate test cases, but cannot generate executable automated test scripts

Images