An axiomatic assessment system of test adequacy criteria is proposed to assess these test criteria.The UML statecharts-based software testing coverage criteria are assessed against the axioms system.

• 然后提出针对该组测试准则的公理系统，通过此公理系统来评估该组测试准则，给出评估结果。