Title :
On Model Checker Based Testing of Electronic Contracting Systems
Author :
Abdelsadiq, Abubkr ; Jimenez, Carlos Molina ; Shrivastava, Santosh
Author_Institution :
Sch. of Comput. Sci., Newcastle Univ., Newcastle upon Tyne, UK
Abstract :
The paper investigates the suitability of model checker based testing techniques for contract monitoring and enforcing services. In particular a contract monitoring service called Contract Compliance Checker (CCC) is considered as the system under test. The CCC is provided with an executable specification of the contract in force and is able to determine whether the actions of the business partners are consistent with respect to the contract. Contractual interactions can give rise to highly complex execution traces, and it is quite unrealistic to assume that such traces can be produced manually for testing purposes. The paper describes how a model checker can be used effectively at design time to validate the consistency of the contractual clauses and later, to produce test case validation sequences to test the correctness of the actual implementation.
Keywords :
business data processing; conformance testing; contracts; formal verification; contract compliance checker; contract monitoring service; contractual interactions; electronic contracting system; model checker based testing techniques; system under test; test case validation sequence; Contracts; Engines; Force; Generators; Monitoring; Testing; automated testing; electronic contracts; model checking;
Conference_Titel :
Commerce and Enterprise Computing (CEC), 2010 IEEE 12th Conference on
Conference_Location :
Shanghai
Print_ISBN :
978-1-4244-8433-1
Electronic_ISBN :
978-0-7695-4228-7
DOI :
10.1109/CEC.2010.35
