Library Header Image
LSE Research Online LSE Library Services

A theory-driven testing methodology for developing scientific software

Lane, Peter C.R. and Gobet, Fernand ORCID: 0000-0002-9317-6886 (2012) A theory-driven testing methodology for developing scientific software. Journal of Experimental and Theoretical Artificial Intelligence, 24 (4). 421 - 456. ISSN 0952-813X

Full text not available from this repository.

Identification Number: 10.1080/0952813X.2012.695443


Computer implementations of theoretical concepts play an ever-increasing role in the development and application of scientific ideas. As the scale of such implementations increases from relatively small models and empirical setups to overarching frameworks from which many kinds of results may be obtained, it is important to consider the methodology by which these implementations are developed. Using cognitive architectures as an example, we discuss the relation between an implementation of an architecture and its underlying theory, a relation between a computer program and its description. We argue for the use of an agile development methodology, based around a three-layer scientific test harness and continuous refactoring, as most suitable for developing scientific software. The ideas are illustrated with extended examples of implementing unified theories of human learning, taken from the chunking and template theories.

Item Type: Article
Official URL:
Additional Information: © 2012 Informa UK Limited, trading as Taylor & Francis Group
Divisions: CPNSS
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Date Deposited: 10 Dec 2019 09:24
Last Modified: 16 May 2024 02:56

Actions (login required)

View Item View Item