Statická analýza XSLT programů

• Název práce v češtině: Statická analýza XSLT programů
• Název v anglickém jazyce: Static analysis of XSLT programs
• Akademický rok vypsání: 2005/2006
• Typ práce: diplomová práce
• Jazyk práce: čeština
• Ústav: Katedra softwarového inženýrství (32-KSI)
• Vedoucí / školitel: RNDr. David Bednárek, Ph.D.
• Řešitel: skrytý - zadáno a potvrzeno stud. odd.
• Datum přihlášení: 01.02.2006
• Datum zadání: 01.02.2006
• Datum a čas obhajoby: 11.09.2006 00:00
• Datum odevzdání elektronické podoby: 11.09.2006
• Datum odevzdání tištěné podoby: 11.09.2006
• Datum proběhlé obhajoby: 11.09.2006
• Oponenti: RNDr. Kamil Toman

Seznam odborné literatury

- W3C recommendation. XSL Transformations (XSLT) version 1.0
- World Wide Web Consortium. XML Path Language(XPath) Recommendation
- Ce Dong, James Bailey. Static Analysis of XSLT Programs, ACM Proceedings of the fifteenth conference on Australasian database, January 2004
- Akihiko Tozawa. Transformations and Experiences: Towards static type checking for XSLT, Proceedings of the 2001 ACM Symposium on Document engineering

Předběžná náplň práce

Cílem práce je navrhnout a implementovat algoritmy, jimiž je možno testovat některé významné vlastnosti daného XSLT programu, a to se znalostí X-Schematu vstupních dokumentů. Mezi takové vlastnosti patří např. dosažitelnost šablon a jejich větví nebo splnitelnost X-Path výrazů v elementech XSLT. Součástí práce je určení podmnožiny jazyka XSLT, na které jsou tyto algoritmy funkční.