Article | The Swedish AI Society Workshop May 20-21; 2010; Uppsala University | Constraint Programming for Random Testing of a Trading System

Title:
Constraint Programming for Random Testing of a Trading System
Author:
Roberto Castañeda Lozano: School of Information and Communication Technology, KTH Royal Institute of Technology, Sweden
Download:
Full text (pdf)
Year:
2010
Conference:
The Swedish AI Society Workshop May 20-21; 2010; Uppsala University
Issue:
048
Article no.:
012
Pages:
71-71
No. of pages:
1
Publication type:
Abstract and Fulltext
Published:
2010-05-19
Series:
Linköping Electronic Conference Proceedings
ISSN (print):
1650-3686
ISSN (online):
1650-3740
Publisher:
Linköping University Electronic Press; Linköpings universitet


Financial markets use complex computer trading systems whose failures can cause serious economic damage; making reliability a major concern. Automated random testing has been shown to be useful in finding defects in these systems; but its inherent test oracle problem (automatic generation of the expected system output) is a drawback that has typically prevented its application on a larger scale.

Two main tasks have been carried out in this thesis as a solution to the test oracle problem. First; an independent model of a real trading system based on constraint programming; a method for solving combinatorial problems; has been created. Then; the model has been integrated as a true test oracle in automated random tests. The test oracle maintains the expected state of an order book throughout a sequence of random trade order actions; and provides the expected output of every auction triggered in the order book by generating a corresponding constraint program that is solved with the aid of a constraint programming system.

Constraint programming has allowed the development of an inexpensive; yet reliable test oracle. In 500 random test cases; the test oracle has detected two system failures. These failures correspond to defects that had been present for several years without being discovered neither by less complete oracles nor by the application of more systematic testing approaches.

The main contributions of this thesis are: (1) empirical evidence of both the suitability of applying constraint programming to solve the test oracle problem and the effectiveness of true test oracles in random testing; and (2) a first attempt; as far as the author is aware; to model a non-theoretical combinatorial double auction using constraint programming.

The Swedish AI Society Workshop May 20-21; 2010; Uppsala University

Author:
Roberto Castañeda Lozano
Title:
Constraint Programming for Random Testing of a Trading System
References:
No references available

The Swedish AI Society Workshop May 20-21; 2010; Uppsala University

Author:
Roberto Castañeda Lozano
Title:
Constraint Programming for Random Testing of a Trading System
Note: the following are taken directly from CrossRef
Citations:
No citations available at the moment