Main Page
Deanship
The Dean
Dean's Word
Curriculum Vitae
Contact the Dean
Vision and Mission
Organizational Structure
Vice- Deanship
Vice- Dean
KAU Graduate Studies
Research Services & Courses
Research Services Unit
Important Research for Society
Deanship's Services
FAQs
Research
Staff Directory
Files
Favorite Websites
Deanship Access Map
Graduate Studies Awards
Deanship's Staff
Staff Directory
Files
Researches
Contact us
عربي
English
About
Admission
Academic
Research and Innovations
University Life
E-Services
Search
Deanship of Graduate Studies
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 Type
Dr Grade
Email
سهيلة محمد صندقجي
Sandokji, Suhelah Mohammad
Researcher
Master
Files
File Name
Type
Description
34141.pdf
pdf
Back To Researches Page