• DocumentCode
    3277482
  • Title

    WeSPaS — Web specification pattern system

  • Author

    Haydar, May ; Petrenko, Alexandre ; Sahraoui, Houari

  • Author_Institution
    Dept. d´´Inf. et de la Rech., Operationnelle, Univ. de Montreal, Montreal, QC, Canada
  • fYear
    2010
  • fDate
    3-5 Oct. 2010
  • Firstpage
    61
  • Lastpage
    68
  • Abstract
    We propose a library of web specification patterns to assist web developers and testers in formally specifying web related properties. The current version of the library contains 119 functional and non-functional patterns obtained from scrutinizing various resources in the field of quality assurance of Web Applications, which characterize successful web application using a set of standardized attributes. We evaluated 10% of our patterns on six Web applications. The results showed that the majority of tested properties are violated by the web applications.
  • Keywords
    Internet; WeSPaS; Web Applications; Web specification pattern system; Authentication; Libraries; Navigation; Quality assurance; Usability; Web pages; Linear Temporal Logic; Specification Patterns; Verification and Validation; Web Applications; Web Quality Assurance;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Machine and Web Intelligence (ICMWI), 2010 International Conference on
  • Conference_Location
    Algiers
  • Print_ISBN
    978-1-4244-8608-3
  • Type

    conf

  • DOI
    10.1109/ICMWI.2010.5647875
  • Filename
    5647875