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 条
  • [31] Testing from algebraic specifications: Test data set selection by unfolding axioms
    Aiguier, Marc
    Arnould, Agnes
    Boin, Clement
    Le Gall, Pascale
    Marre, Bruno
    FORMAL APPROACHES TO SOFTWARE TESTING, 2006, 3997 : 203 - 217
  • [32] Automated Code Repair Based on Inferred Specifications
    Klieber, William
    Snavely, Will
    2016 IEEE CYBERSECURITY DEVELOPMENT (IEEE SECDEV 2016), 2016, : 130 - 137
  • [33] Test-based specifications of components and systems
    Hamlet, Dick
    USIC 2007: PROCEEDINGS OF THE SEVENTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, 2007, : 388 - 395
  • [34] A clustering technique based on the specifications of software components
    Vodithala, Swathy
    Pabboju, Suresh
    ICACCS 2015 PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON ADVANCED COMPUTING & COMMUNICATION SYSTEMS, 2015,
  • [35] Synthesizing Traffic Scenarios from Formal Specifications for Testing Automated Vehicles
    Klischat, Moritz
    Althoff, Matthias
    2020 IEEE INTELLIGENT VEHICLES SYMPOSIUM (IV), 2020, : 2058 - 2065
  • [36] Proving sufficient completeness of constructor-based algebraic specifications
    Nakamura, Masaki
    Gaina, Daniel
    Ogata, Kazuhiro
    Futatsugi, Kokichi
    Lecture Notes in Electrical Engineering, 2015, 373 : 15 - 21
  • [37] ALGEBRAIC DATA TYPE AND PROCESS SPECIFICATIONS BASED ON PROJECTION SPACES
    EHRIG, H
    PARISIPRESICCE, F
    BOEHM, P
    RIECKHOFF, C
    DIMITROVICI, C
    GROSSERHODE, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 332 : 23 - 43
  • [38] ALGEBRAIC SPECIFICATIONS WITH GENERATING CONSTRAINTS
    EHRIG, H
    WAGNER, EG
    THATCHER, JW
    LECTURE NOTES IN COMPUTER SCIENCE, 1983, 154 : 188 - 202
  • [39] PROPAGATING CHANGES IN ALGEBRAIC SPECIFICATIONS
    NAKAGAWA, AT
    FUTATSUGI, K
    SOFTWARE ENGINEERING JOURNAL, 1991, 6 (06): : 476 - 486
  • [40] DEVELOPMENT OF ALGEBRAIC SPECIFICATIONS WITH CONSTRAINTS
    OREJAS, F
    SACRISTAN, V
    CLERICI, S
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 393 : 102 - 123
12345