Communicating Stream X-Machines Systems are no more than X-Machines
Дата
Авторы
Balanescu,Tudor
Cowling,Anthony
Georgescu,Horia
Gheorghe,Marian
Holcombe,Mike
Vertan,Cristina
Journal Title
Journal ISSN
Volume Title
Издатель
Journal of Universal Computer Science
Аннотация
Описание
A version of the communicating stream X-machine model is proposed, which gives a precise representation of the operation of transferring data from one X-machine to another. For this model it is shown that systems of communicating X-machines have the same computational power as single stream X-machines. This enable existing methods for deriving test strategies for stream X-machines to be extended to communicating stream X-machines.
Ключевые слова
communicating Stream X-machines system , testing , communicating matrix , processing states , communicating states , software specification language