[自]?逐步精化

qGCL的语法 中包含高层的数学符号，并具有逐步精化 （stepwise refinement）机制。因此，它是一 种有用的规范说明语言。

?逐步求精法

... refinement 精制，提炼，净化，改善 stepwise refinement 逐步求精法 refinery 精炼厂，提炼厂 ...

[数]?逐步求精

采用逐步求精（Stepwise refinement）的方法来测试每个函数，过程的逻辑功能！每次只测试一个逻辑部分，同样不要求快，贪多。

?逐步优化

... statistical testing--统计测试 stepwise refinement--逐步优化 storage testing--存储测试 ...