Stannett, M. and Gheorghe, M. (2015) Integration testing of heterotic systems. Philosophical Transactions A: Mathematical, Physical and Engineering Sciences, 373. 20140222. ISSN 1364-503X
Abstract
Computational theory and practice generally focus on single-paradigm systems, but relatively little is known about how best to combine components based on radically different approaches (e.g. silicon chips and wetware) into a single coherent system. In particular, while testing strategies for single-technology artefacts are generally well developed, it is unclear at present how to perform integration testing on heterotic systems: can we develop a test-set generation strategy for checking whether specified behaviours emerge (and unwanted behaviours do not) when components based on radically different technologies are combined within a single system? In this paper, we describe an approach to modelling multi-technology heterotic systems using a general-purpose formal specification strategy based on Eilenberg's X-machine model of computation. We show how this approach can be used to represent disparate technologies within a single framework, and propose a strategy for using these formal models for automatic heterotic test-set generation. We illustrate our approach by showing how to derive a test set for a heterotic system combining an X-machine-based device with a cell-based P system (membrane system).
Metadata
Item Type: | Article |
---|---|
Authors/Creators: |
|
Editors: |
|
Copyright, Publisher and Additional Information: | © 2015 The Royal Society. This is an author-produced version of a paper accepted for publication in Philosophical Transactions A: Mathematical, Physical and Engineering Sciences. Uploaded in accordance with the publisher's self-archiving policy |
Keywords: | heterotic computing; P system; membrane system; unconventional computing; integration testing; X-machine |
Dates: |
|
Institution: | The University of Sheffield |
Academic Units: | The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield) |
Depositing User: | Symplectic Sheffield |
Date Deposited: | 02 Jun 2015 10:35 |
Last Modified: | 25 Oct 2016 04:38 |
Published Version: | http://dx.doi.org/10.1098/rsta.2014.0222 |
Status: | Published |
Publisher: | The Royal Society |
Refereed: | Yes |
Identification Number: | 10.1098/rsta.2014.0222 |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:80594 |