免费 质量保证和软件测试 为 Alexandre David

UPPAAL是一个集成工具环境建模，确认和验证建模为时间自动机的网络，扩展数据类型（整数界，数组等）的实时系统。UPPAAL CORA是UPPAAL的成本优化可达Anslysis一个分支由UPPAAL团队为VHS和AMETIST项目的一部分开发的。而支持UPPAAL时间自动机的模型检测，UPPAAL CORA使用时间自动机称为LPTA的延伸。 LPTA允许你注释模型与成本的概念。这可以是延迟在某些情况下或特定行动的成本的成本。 UPPAAL CORA然后找到匹配的目标条件下的最佳路径。UPPAAL...