基于可见下推语言的下推反应系统一致性检验
软件工程
2023-08-15 v1 形式语言与自动机理论
摘要
测试下推反应系统被视为保障精确且稳健的软件开发过程的重要手段。通常，此类系统可由输入/输出可见下推标记转移系统（IOVPTS）形式化描述，其中与环境的交互由下推内存调控。因此，在测试过程中可应用一致性检验，借助适当的一致性关系验证实现是否符合规约。本文建立了一种基于可见下推语言（VPLs）的新颖一致性关系，该关系可建模系统的期望与不良行为集合。进一步，我们证明利用此一致性关系可为下推反应系统生成具有完全故障覆盖的测试套件。
引用
@article{arxiv.2308.07177,
title = {Conformance Checking for Pushdown Reactive Systems based on Visibly Pushdown Languages},
author = {Adilson Luiz Bonifacio},
journal= {arXiv preprint arXiv:2308.07177},
year = {2023}
}
备注
arXiv admin note: substantial text overlap with arXiv:2107.11421