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 TypeDr GradeEmail
Suhelah Mohammed SandokjiSandokji, Suhelah MohammedInvestigator  
مي فاضلFadel, Mai ResearcherDoctorate 

Files

File NameTypeDescription
 33785.pdf pdf 

Back To Researches Page