Testing Non-deterministic Stream X-machine Models and P systems
作者： Florentin Ipate , Marian Gheorghe
DOI: 10.1016/J.ENTCS.2008.12.107
关键词:
摘要: Under certain well defined conditions, the stream X-machine testing method can produce a test set that is guaranteed to determine correctness of an implementation. The has originally assumed implementation each processing function or relation proven be correct before actual take place. Such limitation been removed in subsequent paper, but only for deterministic X-machines. This paper extends this result non-deterministic X-machines and considers conformance relationship between specification implementation, rather than mere equivalence. Furthermore, it shows how applied P system by building suitable from derivation tree associated with partial computation.
core.ac.uk
elsevier.com
sci-hub.se 参考文章(22)
Gheorghe Paun, Gabriel Ciobanu, Mario J. Pérez-Jiménez, Applications of Membrane Computing (Natural Computing Series) Springer-Verlag New York, Inc.. ,(2005)
Florentin Ipate, W. M. L. Holcombe, Correct Systems: Building a Business Process Solution ,(1998)
Marian Gheorghe, Florentin Ipate, On Testing P Systems Membrane Computing. pp. 204- 216 ,(2009) , 10.1007/978-3-540-95885-7_15
M. Gheorghe, F. Ipate, M. Holcombe, T. Balanescu, Formal black box testing for partially specified deterministic finite state machines Foundations of Computing and Decision Sciences. pp. 17- 28 ,(2003)
Florentin Ipate, Mike Holcombe, Testing data processing-oriented systems from stream X-machine models Theoretical Computer Science. ,vol. 403, pp. 176- 191 ,(2008) , 10.1016/J.TCS.2008.02.045
Florentin Ipate, Mike Holcombe, Generating Test Sets from Non-Deterministic Stream X-Machines Formal Aspects of Computing. ,vol. 12, pp. 443- 458 ,(2000) , 10.1007/S001650070004
D. Lee, M. Yannakakis, Principles and methods of testing finite state machines-a survey Proceedings of the IEEE. ,vol. 84, pp. 1090- 1123 ,(1996) , 10.1109/5.533956
T.S. Chow, Testing Software Design Modeled by Finite-State Machines IEEE Transactions on Software Engineering. ,vol. SE-4, pp. 178- 187 ,(1978) , 10.1109/TSE.1978.231496
Florentin Ipate, Complete deterministic stream X-machine testing Formal Aspects of Computing. ,vol. 16, pp. 374- 386 ,(2004) , 10.1007/S00165-004-0045-6
K. Bogdanov, M. Holcombe, F. Ipate, L. Seed, S. Vanak, Testing methods for X-machines: a review Formal Aspects of Computing. ,vol. 18, pp. 3- 30 ,(2006) , 10.1007/S00165-005-0085-6