%0 Journal Article
%T 基于uml状态图测试的充分性准则
%A 占学德 缪淮扣？
%J 计算机科学
%D 2005
%X 本文描述了基于uml状态图生成测试用例的充分性准则。在测试时，循环被执行一次是很不充分的，本文提出了使循环分别执行0次、1次、2次，即zot循环覆盖准则，在此基础上本文还提出了全zot路径覆盖准则，并给出了这些覆盖准则的应用，讨论了这些覆盖准则之间的包含关系。
%K uml状态图充分性覆盖准则测试用例包含关系图生成循环执行
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=16202113&flag=1