A Method of Test Case Generation Based on VRM Model

At present, most software testing in the industry starts from the code to generate test case sets, and it is difficult to answer the question of whether the software meets the requirement design. This article provides a test case generation method based on the formal requirements model to build the bridge among them. First, the software system requirements are modeled through the formal requirement model (VRM), and then by analyzing the input and output structure of the model, the constraint path from the input variable to the output variable is extracted to support the error type analysis of the test case. Then, this article defines the concept of compute error and path error test case type, and designs the extraction algorithm. According to the coverage standard of code testing in DO-178C, this article also defines the coverage standard based on the requirement model, and gives the coverage analysis of the above methods. Finally, a case study is given through the automatic generation of test case tools developed by ourselves, which illustrates the effectiveness of the method in this paper.