A goal-oriented software testing methodology

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4951 LNCS, Issue , 2008, Pages 58-72

  Nguyen, Duy Cu ^a   Perini, Anna ^a   Tonella, Paolo ^a  

^a ITC IRST   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS; LARGE SCALE SYSTEMS; MULTI AGENT SYSTEMS; REQUIREMENTS ENGINEERING; SOFTWARE ENGINEERING; SPECIFICATION LANGUAGES;

AGENT-ORIENTED SOFTWARE ENGINEERING (AOSE) METHODOLOGIES; COMPLEX DISTRIBUTED SYSTEMS; MISSION-CRITICAL SERVICES;

SOFTWARE TESTING;

EID: 43949097567     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-79488-2_5     Document Type: Conference Paper

References (20)

1. Beck, K.: Test Driven Development: By Example. Addison-Wesley Longman Publishing Co., Inc., Boston (2002)
2. Benerecetti, M., Giunchiglia, F., Serafini, L.: Model checking multiagent systems. Journal of Logic and Computation 8(3), 401-423 (1998)
3. Bordini, R., Fisher, M., Visser, W., Wooldridge, M.: Verifying multi-agent programs by model checking. Autonomous Agents and Multi-Agent Systems 12, 239-256 (2006)
4. Bresciani, P., Giorgini, P., Giunchiglia, F., Mylopoulos, J., Perini, A.: Tropos: An Agent-Oriented Software Development Methodology. Autonomous Agents and Multi-Agent Systems 8(3), 203-236 (2004)
5. Coelho, R., Kulesza, U., von Staa, A., Lucena, C: Unit testing in multi-agent systems using mock agents and aspects. In: SELMAS 2006: Proceedings of the 2006 international workshop on Software engineering for large-scale multi-agent systems, pp. 83-90. ACM Press, New York (2006)
6. Cossentino, M.: From requirements to code with the passi methodology. In: Henderson-Sellers, Giorgini [12]
7. Dardenne, A., van Lamsweerde, A., Fickas, S.: Goal-directed requirements acquisition. Science of Computer Programming 20(1-2), 3-50 (1993)
8. Dastani, M., van Riemsdijk, M.B., Meyer, J.-J.C: Goal types in agent programming. In: ECAI, pp. 220-224 (2006)
9. Dikenelli, O., Erdur, R.C., Gumus, O.: Seagent: a platform for developing semantic web based multi agent systems. In: AAMAS 2005: Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems, pp. 1271-1272. ACM Press, New York (2005)
10. Fuxman, A., Liu, L., Mylopoulos, J., Pistore, M., Roveri, M., Traverso, P.: Specifying and analyzing early requirements in tropos. Requir. Eng. 9(2), 132-150 (2004)
11. Graham, D.R.: Requirements and testing: Seven missing-link myths. IEEE Software 19(5), 15-17 (2002)
12. Henderson-Sellers, B., Giorgini, P. (eds.): Agent-Oriented Methodologies. Idea Group Inc. (2005)
13. Nguyen, D.C., Perini, A., Tonella, P.: A goal-oriented software testing methodology. Technical report, ITC-irst (2006),http://sra.itc.it/images/ sepapers/gost-techreport.pdf
14. Pavon, J., Gomez-Sanz, J.J., Fuentes, R.: The ingenias methodology and tools. In: Henderson-Sellers, Giorgini [12]
15. Poutakidis, D., Padgham, L., Winikoff, M.: An exploration of bugs and debugging in multi-agent systems. In: AAMAS 2003: Proceedings of the second international joint conference on Autonomous agents and multiagent systems, pp. 1100-1101. ACM Press, New York (2003)
16. The Development Standards for IT Systems of the Federal Republic of Germany. The V-Model (2005), http://www.v-modell-xt.de
17. The Object Management Group. Uml oc12 specification (2005),http://www. omg.org
18. TILAB. Java agent development framework, http://jade.tilab.com/
19. Tiryaki, A.M., Oztuna, S., Dikenelli, O., Erdur, R.: Sunit: A unit testing framework for test driven development of multi-agent systems. In: Padgham, L., Zambonelli, F. (eds.) AOSE 2006. LNCS, vol. 4405, Springer, Heidelberg (2007)
20. Yu, E.: Modelling Strategic Relationships for Process Reengineering. PhD thesis, University of Toronto, Department of Computer Science, University of Toronto (1995)