Testing Non-deterministic Stream X-machine Models and P systems

Authors:
Florentin Ipate;Marian Gheorghe
Affiliations:
Department of Computer Science, University of Pitesti, Str Targu din Vale 1, 110040 Pitesti, Romania;Department of Computer Science, University of Sheffield, Regent Court, Portobello Street, Sheffield S1 4DP, UK
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2009

Citing 13
Cited 5

Automatic functional test generation using the extended finite state machine model

DAC '93 Proceedings of the 30th international Design Automation Conference
Computing with membranes

Journal of Computer and System Sciences
Automata, Languages, and Machines

Automata, Languages, and Machines
Membrane Computing: An Introduction

Membrane Computing: An Introduction
Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized Wp-Method

IEEE Transactions on Software Engineering
Complete deterministic stream X-machine testing

Formal Aspects of Computing
Testing conformance of a deterministic implementation against a non-deterministic stream X-machine

Theoretical Computer Science
Testing methods for X-machines: a review

Formal Aspects of Computing
Applications of Membrane Computing (Natural Computing Series)

Applications of Membrane Computing (Natural Computing Series)
Testing against a non-controllable stream X-machine using state counting

Theoretical Computer Science
Testing Software Design Modeled by Finite-State Machines

IEEE Transactions on Software Engineering
Testing data processing-oriented systems from stream X-machine models

Theoretical Computer Science
Finite state based testing of P systems

Natural Computing: an international journal

Testing based on P systems - an overview

CMC'10 Proceedings of the 11th international conference on Membrane computing
An integrated approach to P systems formal verification

CMC'10 Proceedings of the 11th international conference on Membrane computing
An empirical evaluation of P system testing techniques

Natural Computing: an international journal
Formal verification and testing based on p systems

WMC'09 Proceedings of the 10th international conference on Membrane Computing
Tuning p systems for solving the broadcasting problem

WMC'09 Proceedings of the 10th international conference on Membrane Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

Under certain well defined conditions, the stream X-machine testing method can produce a test set that is guaranteed to determine the correctness of an implementation. The testing method has originally assumed that an implementation of each processing function or relation is proven to be correct before the actual testing can take place. Such a limitation has been removed in a subsequent paper, but only for deterministic X-machines. This paper extends this result to non-deterministic stream X-machines and considers a conformance relationship between a specification and an implementation, rather than mere equivalence. Furthermore, it shows how this method can be applied to test a P system by building a suitable stream X-machine from the derivation tree associated with a partial computation.