Test Case Generation And Test Result Analysis Methods Research Based On SOFL

Automatic software test is a technique with great potentialality and efficiency.Automatic Specification-based automatic test has great advantage to generate testcases and test results analysis, because the generation of test cases is only dependenton the specifications itself, which doesn‘t need to consider the use of the internalstructure of the program. Therefore, it‘s worth of researching.The purpose of this study is mainly focused on test case generation methods andtest results analysis methods. The supporting language is structured object-orientedlanguage (SOFL) which is used to write specification. Firstly, in test case generationmethod, through the use of functional scenario-based decomposition test casegeneration technology to generate test case, The main idea is converting specificationinto an equivalent specifications or structure menu.Secondly, in test result analysismethod, based on test result analysis standard,through the use of test typeclassification, required coverage criteria is met. Meanwhile, this article offers anauxiliary tool, which allows us to detected error from different predicate expression.Automatic test tools fill the lack of development based on SOFL software formalmethods in software testing tool,which plays a nexus role for software formaldevelopment based on the SOFL.