Testing Collaborative Agents Defined as Stream X-Machines with Distributed Grammars

Authors:
Tudor Balanescu;Marian Gheorghe;Mike Holcombe;Florentin Ipate
Affiliations:
-;-;-;-
Venue:
ECAL '01 Proceedings of the 6th European Conference on Advances in Artificial Life
Year:
2001

Citing 8
Cited 0

X-machines as a basis for dynamic system specification

Software Engineering Journal
Software testing based on formal specifications: a theory and a tool

Software Engineering Journal
Computing with membranes

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

Automata, Languages, and Machines
Grammar Systems: A Grammatical Approach to Distribution and Cooperation

Grammar Systems: A Grammatical Approach to Distribution and Cooperation
The theory of parsing, translation, and compiling

The theory of parsing, translation, and compiling
Complete deterministic stream X-machine testing

Formal Aspects of Computing
Testing Software Design Modeled by Finite-State Machines

IEEE Transactions on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a method for testing software collaborative agents. The method is based on the stream X- machine model using as basic processing relations sets of production rules and is built around an existing stream X- machine testing strategy already. The paper investigates different variants of the 'design for test' conditions required by this strategy and their applicability to the case of collaborative agents.