Loading...
Integration testing of heterotic systems
Stannett, M. Gheorghe, Marian
Stannett, M.
Gheorghe, Marian
Publication Date
2015-06-15
End of Embargo
Supervisor
Rights
© 2015 The Royal Society. Full-text reproduced in accordance with the
publisher’s self-archiving policy.
Peer-Reviewed
Yes
Open Access status
openAccess
Accepted for publication
Institution
Department
Awarded
Embargo end date
Additional title
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).
Version
Accepted manuscript
Citation
Stannett M and Gheorghe M (2015) Integration testing of heterotic systems. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences. 373(2046)
Link to publisher’s version
Link to published version
Link to Version of Record
Type
Article