17-12-2025
جامعة الملك عبدالعزيز
KING ABDULAZIZ UNIVERSITY
Faculty of Computing and Information Technology
Document Details
Document Type
:
Article In Conference
Document Title
:
ASERTN: A Dynamic Testing Tool For Java Based Software Agent
الأداة (ASERTN) : أداة اختبار ديناميكية للوكلاء البرمجيين المعتمدين على لغة جافا
Document Language
:
English
Abstract
:
Testing is an essential activity in software engineering. It is a process of observing the execution of a software system to validate whether it behaves as intended and identifies errors that sometimes can result in large financial losses or bodily harm. Agents have been recognized as a promising technology to build the next generation of mobility services. They are increasingly used in different application domains, where autonomy, proactivity and cooperation are required. Correspondingly, the demands on the quality of the delivered agents are growing. However, testing remains a challenging activity, in order to ensure a satisfactory level of quality. This research investigates the applicability of temporal logic-based assertion language as a means for detecting run-time errors of Java- developed software agents. Part of this research is enhancing an existing assertion language, and developing a tool, called ASERTN, as proof of concept. This paper describes the syntax and semantic of the enhanced version of the assertion language and introduces the architecture and implementation of the ASERTN tool.
Conference Name
:
1ST TAIBAH UNIVERSITY INTERNATIONAL CONFERENCE ON COMPUTING AND INFORMATION TECHNOLOGY, ICCIT 2012
Duration
:
From : 00 AH - To : 00 AH
From : 00 AD - To : 00 AD
Publishing Year
:
1433 AH
2012 AD
Number Of Pages
:
00
Article Type
:
Article
Added Date
:
Monday, June 25, 2012
Researchers
Researcher Name (Arabic)
Researcher Name (English)
Researcher Type
Dr Grade
Email
Suhelah Mohammed Sandokji
Sandokji, Suhelah Mohammed
Investigator
مي فاضل
Fadel, Mai
Researcher
Doctorate
Files
File Name
Type
Description
33785.pdf
pdf
Back To Researches Page