Testing Continuous Double Auctions with a Constraint-Based Oracle
2010 (English)In: PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING-CP 2010 / [ed] Cohen D, 2010, Vol. 6308, 613-627 p.Conference paper (Refereed)
Computer trading systems are essential for today's financial markets where the trading systems' correctness is of paramount economical significance. Automated random testing is a useful technique to find bugs in these systems, but it requires an independent system to decide the correctness of the system under test (known as oracle problem). This paper introduces a constraint-based oracle for random testing of a real-world trading system. The oracle provides the expected results by generating and solving constraint models of the trading system's continuous double auction. Constraint programming is essential for the correctness of the test oracle as the logic for calculating trades can be mapped directly to constraint models. The paper shows that the generated constraint models can be solved efficiently. Most importantly, the approach is shown to be successful by finding errors in a deployed financial trading system and in its specification.
Place, publisher, year, edition, pages
2010. Vol. 6308, 613-627 p.
, Lecture Notes in Computer Science, ISSN 0302-9743 ; 6308
Constraint model, Constraint programming, Constraint-based, Continuous double auction, Financial market, Financial trading system, Independent systems, Oracle problem, Random testing, Real-world, System under test, Test oracles, Trading systems, Commerce, Constraint theory
IdentifiersURN: urn:nbn:se:kth:diva-31371DOI: 10.1007/978-3-642-15396-9_48ISI: 000286485800048ScopusID: 2-s2.0-78149248059ISBN: 978-3-642-15395-2OAI: oai:DiVA.org:kth-31371DiVA: diva2:404042
16th Annual International Conference on the Principles and Practice of Constraint Programming, St Andrews, SCOTLAND, SEP 06-10, 2010
QC 201103152011-03-152011-03-142016-05-25Bibliographically approved