本文说明了基于UML活动图生成测试用例时，常见的两方面问题，即模型的规范性和可测试性。

判定逻辑是用例生成的基本单元，但仍可能相当复杂。本文通过实例，展示了OneLogic对判定逻辑的一些复杂情况的处理，包括耦合条件、时序条件、运算关系、条件数量较大等。除了生成用例，还可以发现逻辑中的冗余条件，生成逻辑语法树辅助逻辑分析，生成覆盖报告辅助人工审查。