Journal article icon

Journal article

Testing semantics: Connecting processes and process logics

Abstract:

We propose a methodology based on testing as a framework to capture the interactions of a machine represented in a denotational model and the data it manipulates. Using a connection that models machines on the one hand, and the data they manipulate on the other, testing is used to capture the interactions of each with the objects on the other side: just as the data that are input into a machine can be viewed as tests that the machine can be subjected to, the machine can be viewed as a test th...

Expand abstract

Actions


Journal:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) More from this journal
Volume:
4019 LNCS
Pages:
308-322
Publication date:
2006-01-01
EISSN:
1611-3349
ISSN:
0302-9743
Language:
English
Pubs id:
pubs:284910
UUID:
uuid:d4709f8a-83cc-4fb9-b86c-1b7a5dc8e1ea
Local pid:
pubs:284910
Source identifiers:
284910
Deposit date:
2013-11-17

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP