P系统的测试框架
计算机科学中的逻辑
2011-08-18 v1 形式语言与自动机理论
摘要
测试等价最初由De Nicola和Hennessy在进程代数设置（CCS）中定义，旨在定义一种比互模拟区分度更低、且在系统开发实践中具有自然解释的进程间等价关系。所定义预序和关系的有限刻画使得在将系统视为具有输入和输出能力的黑箱（从而忽略内部不可检测行为）的设置中，通过比较实现与规范进行验证成为可能。在本文中，我们开始将已建立的测试理论移植到膜计算中，以探索在继承的分析/验证技术和有趣的生物学应用方面的潜在益处。P代数（一种用于描述P系统的进程代数）被用作移植的自然候选，因为它具有组合性的理想性质，并且已经定义和研究了其他观察等价关系。
引用
@article{arxiv.1108.3424,
title = {A Testing Framework for P Systems},
author = {Roberto Barbuti and Diletta Romana Cacciagrano and Andrea Maggiolo-Schettini and Paolo Milazzo and Luca Tesei},
journal= {arXiv preprint arXiv:1108.3424},
year = {2011}
}
备注
Presented at MeCBIC 2011