在Uppaal中从文件读取/写入数据（用于数据日志）

Question

如何在Uppaal中将某些数据作为日志或一些统计信息写入文件？ 是否有Regex _regex = new Regex("<my regex here>", RegexOptions.None); IEnumerable<double> _results = pages.Select(_regex.Matches) .Where(match => !match.Groups["Value"].Value.Contains("(")) .Select(match => double.TryParse(match.Groups["Value"].Value, out double number) ? number : number); 功能或fprintf中的某个FILE*功能？从文件中读取同样的问题。

Answer 1

Uppaal模型内部没有本机输入输出功能。对于调试，您可以使用assert函数在条件不成立时停止验证。

自版本4.1.4起，Uppaal集成了统计模型检查查询，用于估计建模过程的性能（请参阅Uppaal SMC教程）。收集的数据可以导出为CSV。发行版中还包含verifyta命令行界面。

Uppaal Stratego可以将用户定义的功能从外部动态链接库（DLL）加载到模型中（原则上，其中一个可以自由执行任何操作），但是准备此类库需要技术技能，因此没有检查，因此对快速原型制作不友好。此选项主要用于更快地执行非常复杂的代码。