信息物理系统测试与验证的形式化需求获取与调试
系统与控制
2018-07-30 v4 计算机科学中的逻辑
软件工程
摘要
本文提出了一个用于信息物理系统（Cyber-Physical Systems）形式化规范获取与调试的框架。规范的获取通过图形界面进行处理。文中提出了两种调试算法。第一种算法在不考虑系统的情况下检查时序逻辑规范中的错误或遗漏。第二种算法可用于针对系统测试轨迹分析反应式需求。该规范调试框架已应用于通过用户研究收集的一系列形式化规范。用户研究证实，需求错误很常见，且该调试框架能够解决许多隐蔽的规范错误。
引用
@article{arxiv.1607.02549,
title = {Formal Requirement Elicitation and Debugging for Testing and Verification of Cyber-Physical Systems},
author = {Adel Dokhanchi and Bardh Hoxha and Georgios Fainekos},
journal= {arXiv preprint arXiv:1607.02549},
year = {2018}
}