基于UML Statecharts的测试用例生成

摘要

直接从含有层次和并发结构的UML statecharts图产生类的测试用例是比较困难的.提出了一种从UML statecharts图产生测试用例的方法:先把UML statecharts图转换成FREE(Flattened Regular Expression)[1]模型图,再以FREE模型图为基础生成类的测试用例.同时,提出了FREE模型的测试覆盖准则,并提出了由FREE模型产生有限的迁移序列的算法.