A theory-driven testing methodology for developing scientific software

Peter Lane, Fernand Gobet

Research output: Contribution to journalArticlepeer-review

9 Citations (Scopus)


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.

Original languageEnglish
Pages (from-to)421-456
Number of pages36
JournalJournal of Experimental and Theoretical Artificial Intelligence
Issue number4
Early online date4 Sept 2012
Publication statusPublished - 2012


Dive into the research topics of 'A theory-driven testing methodology for developing scientific software'. Together they form a unique fingerprint.

Cite this