M. B. Babac and D. Jevtić, "AgentTest: A specification language for agent-based system testing," Neurocomputing, iss. 146, pp. 230–248, Dec. 2014.
Added by: Axel Rennoch (04 Oct 2014 15:59:24 Europe/Berlin)
|Resource type: Journal Article
ID no. (ISBN etc.): 0925-2312
BibTeX citation key: Babac2014
View all bibliographic details
Keywords: Agent-oriented software engineering, Evolutionary testing, model-based testing, TTCN-3
Creators: Babac, Jevtić
Publisher: Elsevier B.V. (Amsterdam)
Views index: %
Popularity index: 2.5%
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.