基于模型的软件测试新工具——UPPAAL TRON

首先由介绍基于模型测试方法产生的必要性及其优点,引出对于TRON工具的推荐。结合一个关于TRON应用的小实例,以更好地说明TRON的工作原理,并公布了实例的运行结果,务求让读者对TRON的验错能力有一个直观的印象。