Automated testing EJB components based on algebraic specifications

被引：0
|
作者：
Kong, Liang [2 ]
Zhu, Hong [1 ]
Zhou, Bin [2 ]
机构：
[1] Oxford Brookes Univ, Sch Technol, Dept Comp, Wheatley Campus, Oxford OX33 1HX, England
[2] Natl Univ Def Technol, Dept Comp Sci, Changsha, Peoples R China
来源：
COMPSAC 2007: THE THIRTY-FIRST ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, VOL II, PROCEEDINGS | 2007年
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
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.
引用
收藏
页码：717 / +
页数：2
相关论文
共 50 条
  • [1] Automated Testing of Web Services Based on Algebraic Specifications
    Liu, Dongmei
    Liu, Yuxin
    Zhang, Xin
    Zhu, Hong
    Bayley, Ian
    9TH IEEE INTERNATIONAL SYMPOSIUM ON SERVICE-ORIENTED SYSTEM ENGINEERING (SOSE 2015), 2015, : 143 - 152
  • [2] Monic Testing of Web Services Based on Algebraic Specifications
    Liu, Dongmei
    Wu, Xian
    Zhang, Xin
    Zhu, Hong
    Bayley, Ian
    PROCEEDINGS 2016 IEEE SYMPOSIUM ON SERVICE-ORIENTED SYSTEM ENGINEERING SOSE 2016, 2016, : 24 - 33
  • [3] Automated Flaw Detection in Algebraic Specifications
    Andriy Dunets
    Gerhard Schellhorn
    Wolfgang Reif
    Journal of Automated Reasoning, 2010, 45 : 359 - 395
  • [4] Automated Flaw Detection in Algebraic Specifications
    Dunets, Andriy
    Schellhorn, Gerhard
    Reif, Wolfgang
    JOURNAL OF AUTOMATED REASONING, 2010, 45 (04) : 359 - 395
  • [5] Testing from structured algebraic specifications
    Machado, PDL
    ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS, 2000, 1816 : 529 - 544
  • [6] Testing Java']Java implementations of algebraic specifications
    Nunes, Isabel
    Luis, Filipe
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (111): : 35 - 50
  • [7] ERRORS IN ALGEBRAIC SPECIFICATIONS AND AN EXPERIMENTAL MUTATION TESTING TOOL
    WOODWARD, MR
    SOFTWARE ENGINEERING JOURNAL, 1993, 8 (04): : 211 - 224
  • [8] Synthesizing concurrency control components from process algebraic specifications
    Bonta, Edoardo
    Bernardo, Marco
    Magee, Jeff
    Kramer, Jeff
    COORDINATION MODELS AND LANGUAGES, PROCEEDINGS, 2006, 4038 : 28 - 43
  • [9] An Enhanced Retrieval Tool for EJB Components for Components Based Software Development
    Sung, Chang Oan
    Shin, Sun-Ae
    Kim, Jung Yeop
    Choi, Misook
    INFORMATION-AN INTERNATIONAL INTERDISCIPLINARY JOURNAL, 2008, 11 (05): : 649 - 658
  • [10] Testing from Structured Algebraic Specifications: The Veritas Case Study
    Machado, Patricia D. L.
    Oliveira, Elthon A. S.
    Barbosa, Paulo E. S.
    Rodrigues, Cassio L.
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 130 : 235 - 261
12345