18 7.1 Some state machine theory. 7.2 The theoretical basis for finite state machine testing. 7.3 The theoretical basis for stream X-machine testing.
The aim of this paper is to show how the P systems with replicated rewriting can be mod-eled by X-machines (also called Eilenberg machines). In the first approach, the parallel behaviour of the regions of a P system is simulated by a sequential process involving a single X-machine. This allows the application of the X-machine testing procedures in order to… (More)
X-machines were proposed by Holcombe as a possible specification language and since then a number of further investigations have demonstrated that the model is intuitive and easy to use as well as general enough to cater for a wide range of applications. In particular (generalised) stream X-machines have been found to be extremely useful as a specification… (More)
The X-machine testing method has been developed as an application of the W-method to testing the control structure of an implementation, against a specification. The method was proven to demonstrate the equivalence of the behaviour of the two, subject to a number of conditions both a specification and an implementation are expected to satisfy, such as (1)… (More)
a r t i c l e i n f o a b s t r a c t Available online xxxx Keywords: Learning from queries Finite automata Automata inference Deterministic finite cover automata Learning regular languages from queries was introduced by Angluin in a seminal paper that also provides the L * algorithm. This algorithm, as well as other existing inference methods, finds the… (More)
Although testing is a major part of software development, it rarely gets the attention it deserves from researchers, partly because its foundations are weak and ill-understood. The principal purpose of testing is to detect (and then remove) faults in a software system. However, very few of the existing methods allow the tester to make any precise statement… (More)
—This paper presents the application of membrane algorithms to satisfiability problems which are well-known NP-hard combinatorial optimization problems. The membrane algorithm , called QEPS, is a combination of P system approaches and quantum-inspired evolutionary algorithms. QEPS employs the hierarchical structure of the compartments of P systems, the… (More)
To decrease the computational complexity and improve the search capability of quantum-inspired evolutionary algorithm based on P systems (QEPS), a real-observation QEPS (RQEPS) was proposed. RQEPS is a hybrid algorithm combining the framework and evolution rules of P systems with active membranes and real-observation quantum-inspired evolutionary algorithm… (More)