Automated Test Case Generation for BDI Agents

被引：18

作者：

Low C.K. ^{[1
]}

Chen T.Y. ^{[1
]}

Rönnquist R. ^{[2
]}

机构：

[1] Department of Computer Science, University of Melbourne, Melbourne

[2] Agent Oriented Software Pty. Ltd., Carlton, Vic. 3053

来源：

Autonomous Agents and Multi-Agent Systems | 1999年 / 2卷 / 4期

关键词：

BDI agents; Coverage criteria; Test case generation;

D O I：

10.1023/A:1010011219782

中图分类号：

学科分类号：

摘要：

We propose a coverage oriented test case generation methodology for BDI multi-agent systems. The coverage criteria involve plans and nodes within plans of multi-agent systems. We organise the criteria into a subsumption hierarchy to show the coverage relationships between the criteria. Then we apply the criteria on multi-agent systems to analyse some empirical data. The data analysed is the effect on the number of test cases generated automatically for each criterion. We use a tool, BDITESTER, to obtain the empirical data and to show that our proposal is pragmatic. Finally, we suggest some guidelines to select a criterion to automatically generate test cases for BDI agents.

引用

页码：311 / 332

页数：21

共 28 条

[1]

The DMARS Version 1.6.12 System Overview, (1997)

[2]

Biggs N.L., Algebraic Graph Theory, (1993)

[3]

Brown D.B., Maghsoodloo S., Deason W.H., A cost model for determining the optimal number of software test cases, IEEE Transactions on Software Engineering, 15, 2, pp. 218-221, (1989)

[4]

Busetta P., Kotagiri R., An Architecture for Mobile BDI Agents, (1997)

[5]

Chen T.Y., Lau M.F., Dividing strategies for the optimization of a test suite, Information Processing Letters, 60, pp. 135-141, (1996)

[6]

Chung C.-G., Lee J.-G., An enhanced zero-one optimal path set selection method, The Journal of Systems and Software, 39, 2, pp. 145-164, (1997)

[7]

Ferguson R., Korel B., The chaining approach for software test data generation, ACM Transactions on Software Engineering and Methodology, 5, 1, pp. 63-86, (1996)

[8]

Frankl P.G., Weiss S.N., An experimental comparison of the effectiveness of branch testing and data flow testing, IEEE Transactions on Software Engineering, 19, 8, pp. 774-787, (1993)

[9]

Frankl P.G., Weyuker E.J., A analytical comparison of the fault-detecting ability of data flow testing techniques, Proceedings of the 15th International Conference on Software Engineering (ICSE-93), pp. 415-424, (1993)

[10]

Frankl P.G., Weyuker E.J., A formal analysis of the fault-detecting ability of testing methods, IEEE Transactions on Software Engineering, 19, 3, pp. 202-213, (1997)

← 1 2 3 →