17-12-2025
جامعة الملك عبدالعزيز
KING ABDULAZIZ UNIVERSITY
Faculty of Computing and Information Technology
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 Type
Dr Grade
Email
فتحي البرعي عيسى
Eassa, Fathy Elbouraey
Investigator
fathy55@yahoo.com
تهاني الجهني
Aljehani, Tahani
Researcher
ميسون ابوالخير
Abulkhair, Maysoon
Researcher
Doctorate
Files
File Name
Type
Description
33800.pdf
pdf
Back To Researches Page