作者: Marian Gheorghe , Florentin Ipate
DOI: 10.1007/978-3-540-95885-7_15
关键词: Finite-state machine 、 Model-based testing 、 Simple (abstract algebra) 、 Computer science 、 Theoretical computer science 、 Formal grammar 、 Rule-based machine translation 、 Algorithm
摘要: This paper presents a basic framework to define testing strategies for some classes of P systems. Techniques based on grammars and finite state machines are developed criteria identified illustrated through simple examples.