JUnit没有很多功能(它只是一些类)，但它确实对形式化测试过程有帮助。

JUnit does not do much (it's just a handful of classes), but it does help formalize the testing process.

youdao

基于一个具体的多输入队列路由器的例子，介绍了路由器形式化测试模型的建立以及测试和分析。

Based on an example of router with multiple input queues, construction of formal testing model of router is introduced and testing and analysis of this model are researched.

youdao

AUT中决策点的识别，能够帮助我们形式化并且精化从测试套件到测试脚本的分解。

The identification of the decision points in the AUT helps formalize and elaborate the test suite decomposition into test scripts.

youdao