• DocumentCode
    3284121
  • Title

    Automated Testing EJB Components Based on Algebraic Specifications

  • Author

    Kong, Liang ; Zhu, Hong ; Zhou, Bin

  • Author_Institution
    Nat. Univ. of Defence Technol., Changsha
  • Volume
    2
  • fYear
    2007
  • fDate
    24-27 July 2007
  • Firstpage
    717
  • Lastpage
    722
  • Abstract
    Algebraic testing is an automated software testing method based on algebraic formal specifications. It has the advantages of highly automated testing process and independence of the software´s implementation details. This paper applies the method to software components. An automated testing tool called CASCAT for Java components is presented. A case study of the tool shows the high fault detecting ability.
  • Keywords
    Java; formal specification; program testing; Java components; algebraic formal specifications; algebraic testing; automated software testing method; fault detecting ability; software components; Application software; Automatic testing; Computer science; Fault detection; Formal specifications; Instruments; Java; Programming; Software quality; Software testing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computer Software and Applications Conference, 2007. COMPSAC 2007. 31st Annual International
  • Conference_Location
    Beijing
  • ISSN
    0730-3157
  • Print_ISBN
    0-7695-2870-8
  • Type

    conf

  • DOI
    10.1109/COMPSAC.2007.82
  • Filename
    4291199
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3284121