Method for automatically generating testing case on basis of function block diagram testing module

Abstract

The present invention discloses a method for automatically generating a testing case on the basis of a function block diagram testing module, which comprises the steps of: extracting an input, an output, a logic relation and a constraint relation in a requirement specification of embedded software and according to the input, the output, the logic relation and the constraint relation in the requirement specification of the software, establishing the function block diagram testing module based on a similar function block diagram language; establishing a conversion rule for converting the function block diagram testing module into a data combination table; extracting basic data from the function block diagram testing module and then on the basis of the basic data, carrying out data derivation according to the conversion rule so as to convert the function block diagram testing module into the data combination table; and according to the data combination table, generating the testing case. The method has the advantages of high testing efficiency, high testing case quality, excellent sensitivity for a timing relationship, excellent sensitivity for the boundary, excellent sensitivity for operative logic and capacity for identifying a transfer relationship between a state and a state of the software.

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