基于uml状态图测试的充分性准则

本文描述了基于uml状态图生成测试用例的充分性准则。在测试时，循环被执行一次是很不充分的，本文提出了使循环分别执行0次、1次、2次，即zot循环覆盖准则，在此基础上本文还提出了全zot路径覆盖准则，并给出了这些覆盖准则的应用，讨论了这些覆盖准则之间的包含关系。