本发明公开了一种面向SCADE模型的测试用例自动生成方法，通过读取SCADE模型自动生成的XML文档，获取模型中安全状态机的信息，将安全状态机模型中的状态和迁移转化为有向图中的节点和边；继而深度遍历有向图，获得状态迁移路径；为缓解迁移条件的组合爆炸问题，采用组合测试算法AETG，优化迁移条件，获得迁移条件路径；并使用屏蔽算法进行满足MC/DC覆盖的逻辑取值，根据迁移条件约束到具体数据的映射，为每个迁移条件生成具体的测试用例，以此实现一个面向SCADE模型的测试用例自动生成。