测试技术基于模型的测试 · Model-based Testing由行为模型提供场景和预期结果，并据此检查实现。地图中的位置验证场景与数据相关实践使用与支持可使用其生成器基于属性的测试 · Property-based Testing基于模型的测试比较与关联同样使用模型MDD 模型驱动开发 · Model-Driven Development同样使用模型模型检查 · Model Checking在地图上显示来源 ↗