This paper proposes an approach to data flow testing for components using model checking.

提出了一种用模型检验进行构件数据流测试的方法。

youdao

Now, the common used methods of classes testing are state -based testing and data flow testing.

当前，类测试常用的方法是基于状态的测试和数据流测试。

youdao

But because of the infeasible statements and paths in some programs, most data flow testing criteria are not applicable.

但在通常情况下，由于程序中不可执行的语句或路径的存在，使得基于数据流的测试准则不可行。

youdao

But because of the infeasible statements and paths in some programs, most data flow testing criteria are not applicable.

但在通常情况下，由于程序中不可执行的语句或路径的存在，使得基于数据流的测试准则不可行。

youdao