Inter-agent Data Flow Analysis of Abstract State Machines

Author

Cavarra, Alessandra

Author_Institution

Comput. Lab., Oxford Univ., Oxford

fYear

2009

fDate

14-17 April 2009

Firstpage

237

Lastpage

245

Abstract

This paper introduces an approach to apply data flow testing techniques to multi-agent abstract state machines. In particular, we analyze the different types of functions in ASMs and deal with the problem of functions that are monitored by a given agent but controlled by another one, functions that are shared between several agents, and derived functions. We revise the concepts of function definition, use in predicate, and use in computation accordingly, and show how definition-use paths are specified in these cases. Finally, we propose a model-checking based approach to derive automatically test cases satisfying a given set of data flow coverage criteria.

Keywords

data flow analysis; finite state machines; multi-agent systems; program testing; program verification; data flow testing technique; inter-agent data flow analysis; model-checking; multi-agent abstract state machine; Australia; Automatic testing; Costs; Data analysis; Data flow computing; Flow graphs; Life testing; Software engineering; Software testing; System testing; Abstract State Machines; Dataflow analysis; Model-based testing;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Engineering Conference, 2009. ASWEC '09. Australian

Conference_Location

Gold Coast, QLD

ISSN

1530-0803

Print_ISBN

978-0-7695-3599-9

Type

conf

DOI

10.1109/ASWEC.2009.29

Filename

5076646