TTCN-3 Bibliography

WIKINDX Resources

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
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: 4/1131
Views index: %
Popularity index: 2.5%
   URLs   http://www.sciencedirect.com/science/article/pii/S0925231214007899
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.
  
wikindx 5.2.1 ©2017 | Total resources: 340 | Username: -- | Bibliography: WIKINDX Master Bibliography | Style: Institute of Electrical and Electronics Engineers (IEEE) | Database queries: 49 | DB execution: 0.01938 secs | Script execution: 0.02890 secs