TTCN-3 Bibliography
TTCN-3 Bibliography |
|
 |
 |
 |
|
Babac, M. B., & Jevtić, D. (2014). Agenttest: a specification language for agent-based system testing. Neurocomputing, (146), 230–248. Added by: Axel Rennoch (04/10/2014, 15:59) |
| Resource type: Journal Article Peer reviewed DOI: 10.1016/j.neucom.2014.04.060 ID no. (ISBN etc.): 0925-2312 BibTeX citation key: Babac2014 View all bibliographic details  |
Categories: General Keywords: Agent-oriented software engineering, Evolutionary testing, model-based testing, TTCN-3 Creators: Babac, Jevtić Publisher: Elsevier B.V. (Amsterdam) Collection: Neurocomputing |
Views: 18/1770
|
| Abstract |
|
AgentTest is a sublanguage of TTCN-3, aimed at specifying and testing agent-based systems. Its major strength is its unification and automation of abstract test suite generation and structured testing methodology for agent-based systems. AgentTest enables formal and strongly typed modelling of agent-based systems and their unit and agent testing. This paper introduces the syntax and semantics of AgentTest language and its modelling and testing methodology through the example of an agent-based weather system. AgentTest methodology is also complemented with an evolutionary testing methodology for test case generation based on a multi-objective genetic algorithm.
|