formal testing

📖 中文释义

1. [计] 形式测试, 形式检验