测试用例的公式表示（含基本原则）