Abstract
This paper presents a formal specification of an e-barter system and a set of scenarios to test the conformance of a given implementation to some targeted system functionalities. The functionalities of the e-barter system are inspired from those presented in [7] that are based on intelligent agents using utility functions to represent customer preferences but also integrating transaction and shipping costs. The system specification is performed using the SDL language. It includes two markets representing two cities, both cities containing several agents representing the customers preferences. Agents are different instances of the same process, allowing the dynamic inclusion of new agents and of new resources. The scenarios are generated from the specification and from some test purposes using a tool developed at INT [1]. The test purposes express specific system properties and are used to guide the test generation procedure that is completely automated. In this paper, we also present the experimentation results of the application of our tool to the e-barter system.
| Original language | English |
|---|---|
| Pages | 795-799 |
| Number of pages | 5 |
| DOIs | |
| Publication status | Published - 1 Jan 2004 |
| Event | Applied Computing 2004 - Proceedings of the 2004 ACM Symposium on Applied Computing - Nicosia, Cyprus Duration: 14 Mar 2004 → 17 Mar 2004 |
Conference
| Conference | Applied Computing 2004 - Proceedings of the 2004 ACM Symposium on Applied Computing |
|---|---|
| Country/Territory | Cyprus |
| City | Nicosia |
| Period | 14/03/04 → 17/03/04 |
Keywords
- Formal methods
- Specification techniques
- Testing tools
- e-commerce