|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
2010 IEEE 12th Conference on Commerce and Enterprise Computing
On Model Checker Based Testing of Electronic Contracting Systems
Shanghai, China
November 10-November 12
ISBN: 978-0-7695-4228-7
| ASCII Text | x | ||
| Abubkr Abdelsadiq, Carlos Molina�??Jimenez, Santosh Shrivastava, "On Model Checker Based Testing of Electronic Contracting Systems," Seventh IEEE International Conference on E-Commerce Technology (CEC'05), pp. 88-95, 2010 IEEE 12th Conference on Commerce and Enterprise Computing, 2010. | |||
| BibTex | x | ||
| @article{ 10.1109/CEC.2010.35, author = {Abubkr Abdelsadiq and Carlos Molina�??Jimenez and Santosh Shrivastava}, title = {On Model Checker Based Testing of Electronic Contracting Systems}, journal ={Seventh IEEE International Conference on E-Commerce Technology (CEC'05)}, volume = {0}, year = {2010}, issn = {1530-1354}, pages = {88-95}, doi = {http://doi.ieeecomputersociety.org/10.1109/CEC.2010.35}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - Seventh IEEE International Conference on E-Commerce Technology (CEC'05) TI - On Model Checker Based Testing of Electronic Contracting Systems SN - 1530-1354 SP88 EP95 A1 - Abubkr Abdelsadiq, A1 - Carlos Molina�??Jimenez, A1 - Santosh Shrivastava, PY - 2010 KW - electronic contracts KW - automated testing KW - model checking VL - 0 JA - Seventh IEEE International Conference on E-Commerce Technology (CEC'05) ER - | |||
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/CEC.2010.35
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.
Index Terms:
electronic contracts, automated testing, model checking
Citation:
Abubkr Abdelsadiq, Carlos Molina�??Jimenez, Santosh Shrivastava, "On Model Checker Based Testing of Electronic Contracting Systems," cec, pp.88-95, 2010 IEEE 12th Conference on Commerce and Enterprise Computing, 2010
Usage of this product signifies your acceptance of the Terms of Use.