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
| فتحي البرعي عيسى | Eassa, Fathy Elbouraey | Investigator | | fathy55@yahoo.com |
| تهاني الجهني | Aljehani, Tahani | Researcher | | |
| ميسون ابوالخير | Abulkhair, Maysoon | Researcher | Doctorate | |
|
Back To Researches Page
|