摘要：针对模型驱动架构（MDA）下的软件开发方法中测试启动比较晚、难以发现隐藏在模型中的缺陷及UML模型描述缺乏精确语义等问题，提出了基于ASL的模型测试方法：从UML模型出发，将动作规约语言（ASL）运用于平台无关模型（PIM）上建立测试模型。给出了ASL语句在MDA过程中的工作原理、平台无关模型的建立过程、测试用例建立的步骤、测试执行的实施过程，最后结合实例，在UML图的基础上运用ASL对测试环境进行构建，并创建了系统的测试用例，对模型及业务逻辑进行了测试。实验结果表明，提出的基于ASL的模型测试方法既能利用模型驱动对复杂的测试用例进行简化和抽象，又能在软件生存期早期揭示软件的缺陷，防止缺陷随着软件开发过程的进行而被放大。

关键词：模型驱动架构 动作规约语言 平台无关模型 测试用例 

单位：西安科技大学计算机科学与技术学院 陕西西安710054