一套用于严格、系统且半自动指导 DEVS 模型验证的仿真准则族
软件工程
2015-04-10 v2
摘要
针对需求验证 DEVS 模型的最常用方法是使用某种仿真工具在不同条件下多次对其进行仿真，并将模型行为与系统预期行为进行比较。由于待仿真的不同场景数量通常是无限的，因此选择场景成为一项关键任务。实际上，这种选择往往遵循工程师的经验或直觉。本文提出了一套准则族，旨在以规范化的方式开展 DEVS 模型仿真，覆盖最重要的仿真场景，从而增强对模型的信心。这是通过分析 DEVS 模型的数学表示实现的，因此验证过程的部分环节可以实现自动化。
引用
@article{arxiv.1406.6937,
title = {A Family of Simulation Criteria to Guide DEVS Models Validation Rigorously, Systematically and Semi-Automatically},
author = {Diego A. Hollmann and Maximiliano Cristiá and Claudia Frydman},
journal= {arXiv preprint arXiv:1406.6937},
year = {2015}
}