Document Details

Document Type : Thesis 
Document Title :
Tester for Dynamic Errors for Java Based Software Agent
الكاشف عن الأخطاء الديناميكية في الوكيل البرمجي المعتمد على الجافا
 
Subject : Faculty of Computing and Information Technology- Computer Science 
Document Language : Arabic 
Abstract : Testing is an essential activity in software engineering. It is a process of observing the execution of a software system to validate whether or not it behaves as intended and to identify errors which, sometimes, can result in large financial losses or bodily harm. Agents were recognized as a promising technology in building the next generation of seamless mobility services. They are used increasingly in various application domains where autonomy; proactivity; and cooperation are required. Correspondingly, the demands on the quality of the delivered agents are growing. However in order to ensure a satisfactory level of quality, testing remains a challenging activity. This thesis’ objective is to investigate the applicability of temporal logic-based assertion language as a means of detecting dynamic errors of Java- developed software agents. As a proof of concept, this research involved building an assertion language and developing a tool, called ASERTN. The tool was a dynamic tester implemented in the JAVA language. ASERTN was designed to test agents developed using a JADE framework. ASERTN uses the instrumentation technique to reveal run time errors .Several experiments were done at two different levels; at single agent level - including agent behaviour - and at system level as integration testing between agents. The experiments showed that the tool was able to detect time-based errors; concurrency-related errors in agent behaviour; and communication errors. We did a comparative study to evaluate ASERTN. 
Supervisor : Dr . Fathi Elbouraey Eissa 
Thesis Type : Master Thesis 
Publishing Year : 1433 AH
2012 AD 
Co-Supervisor : Dr. Mai Fadel 
Added Date : Monday, September 3, 2012 

Researchers

Researcher Name (Arabic)Researcher Name (English)Researcher TypeDr GradeEmail
سهيلة محمد صندقجيSandokji, Suhelah MohammadResearcherMaster 

Files

File NameTypeDescription
 34141.pdf pdf 

Back To Researches Page