摘要：本文提出了一种面向对象测试中定义-清除路径（DC路径）生成方法,以扩展有限状态机EFSM作为测试模型,结合数据流分析方法,用图论中的结点间最短路径求解思想生成DC路径.这样产生的路径考虑了对象状态迁移,能够发现类中方法与变量之间交互作用时发生的错误,并精简了定义-使用路径（DU路径）组成的测试用例集.

关键词：类单元测试 扩展有限状态机 测试用例 

单位：华中科技大学计算机科学与技术学院; 湖北武汉430074