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 条
  • [21] Slicing algebraic specifications
    Woodward, MR
    Allen, SP
    INFORMATION AND SOFTWARE TECHNOLOGY, 1998, 40 (02) : 105 - 118
  • [22] COMPLEXITY OF ALGEBRAIC SPECIFICATIONS
    SUBRAHMANYAM, R
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 472 : 33 - 47
  • [23] Interface-based Semi-automated Testing of Software Components
    Potuzak, Tomas
    Lipka, Richard
    Brada, Premek
    PROCEEDINGS OF THE 2017 FEDERATED CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SYSTEMS (FEDCSIS), 2017, : 1335 - 1344
  • [24] A framework for automated testing from VDM-SL specifications
    Nadeem, A
    Jaffar-Ur-Rehman, M
    INMIC 2004: 8TH INTERNATIONAL MULTITOPIC CONFERENCE, PROCEEDINGS, 2004, : 428 - 433
  • [25] An Automated Testing Method for AUTOSAR Software Components Based on SiL Simulation
    Jeong, Sooyong
    Lee, Woo Jin
    2017 NINTH INTERNATIONAL CONFERENCE ON UBIQUITOUS AND FUTURE NETWORKS (ICUFN 2017), 2017, : 278 - 283
  • [26] NOTES ON ALGEBRAIC SPECIFICATIONS
    BRADLEY, IM
    INFORMATION AND SOFTWARE TECHNOLOGY, 1989, 31 (07) : 357 - 365
  • [27] INTRODUCTION TO ALGEBRAIC SPECIFICATIONS BASED ON THE LANGUAGE ACT ONE
    DEMEER, J
    ROTH, R
    VUONG, S
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1992, 23 (05): : 363 - 392
  • [28] TRSPEC - A TERM REWRITING BASED SYSTEM FOR ALGEBRAIC SPECIFICATIONS
    AVENHAUS, J
    GOBEL, R
    GRAMLICH, B
    MADLENER, K
    STEINBACH, J
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 308 : 245 - 248
  • [29] TRSPEC - A TERM REWRITING BASED SYSTEM FOR ALGEBRAIC SPECIFICATIONS
    AVENHAUS, J
    BENNINGHOFEN, B
    GOBEL, R
    MADLENER, K
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 230 : 665 - 667
  • [30] Verifying Web Applications: From Business Level Specifications to Automated Model-Based Testing
    Colombo, Christian
    Micallef, Mark
    Scerri, Mark
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (141): : 14 - 28
12345