Document Details

Document Type : Article In Conference 
Document Title :
Temporal Assertion Language for Testing Web Applications
استخدام لغة التأكيد المؤقتة (TAL) في اختبار تطبيقات الويب
 
Subject : Web 
Document Language : English 
Abstract : This research paper presents a temporal logic based assertion language that can help in detecting dynamic errors in web applications. Temporal logic may be advantageous because it deals with the development of situations over time. The operators, syntax, and semantic of the language are introduced. Also in this paper, we introduce an architecture and software details of agent based dynamic analyzing tool for testing web applications that have been written in JAVA programming language. The tool uses temporal based assertion language to detect run time error in web applications. Our tool investigates the applicability of temporal logic in building a dynamic analyzer for testing web applications. In this research we will see the efficiency of the temporal assertion language in detecting run time errors in web applications. 
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 : Wednesday, June 27, 2012 

Researchers

Researcher Name (Arabic)Researcher Name (English)Researcher TypeDr GradeEmail
فتحي البرعي عيسىEassa, Fathy ElbouraeyInvestigator fathy55@yahoo.com
تهاني الجهنيAljehani, Tahani Researcher  
ميسون ابوالخيرAbulkhair, Maysoon ResearcherDoctorate 

Files

File NameTypeDescription
 33800.pdf pdf 

Back To Researches Page