基于模型的软件测试方法

摘要

本发明涉及基于模型的软件测试方法，其包括步骤S01：系统分析，分析被测试软件的系统特性；S02：建模，根据所选择的模型对被测试软件进行建模；S03：生成抽象测试，从模型生成抽象测试；S04：具体化抽象测试，把高层的抽象测试转化为可执行的具体测试；S05：执行具体测试，在被测系统上执行具体的测试用例；S06：分析测试结果，得到测试结果后，必须确定产生该故障的原因并采取纠正措施。本发明可以根据待测软件各自的不同特性，选择行之有效的测试模型，使得测试效果立竿见影。