* Modify test formula files
* formula test case refine, use assertion in FormulaTestBase.java