基于强可分离性的完整有限状态机测试
软件工程
2025-02-07 v1 形式语言与自动机理论
摘要
不相等性（apartness）是构造数学中的一个概念，近年来在模型学习和模型化测试领域成为一种强大的分离状态的概念。我们识别了不相等性在定量模型（如混合系统和随机系统）中的一些根本性缺陷。我们提出一种密切相关的备选方案，称为强可分离性（strong separability），并展示用它取代不相等性可解决上述缺陷。我们改造了著名的模型化测试方法——Harmonized State Identifiers（HSI）方法，以采纳我们提出的强可分离性概念。我们证明改造后的HSI方法是完备的。据我们所知，这是首个展示如何为定量模型（如网络安全-物理系统开发中找到的模型）生成完整测试套件的工作。
引用
@article{arxiv.2502.04035,
title = {Complete FSM Testing Using Strong Separability},
author = {Robert M. Hierons and Mohammad Reza Mousavi},
journal= {arXiv preprint arXiv:2502.04035},
year = {2025}
}