A Method of Metamorphic Relations Constructing for Object-oriented Software Testing

被引：0
|
作者：
Zhang, Xinglong [1 ]
Yu, Lei [1 ]
Hou, Xuemei [1 ]
机构：
[1] State Key Lab Math Engn & Adv Comp, Zhengzhou 450001, Peoples R China
来源：
2016 17TH IEEE/ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING AND PARALLEL/DISTRIBUTED COMPUTING (SNPD) | 2016年
关键词：
Object oriented; metamorphic relation; algebraic specification;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
To solve the Oracle problem of methods sequence in object-oriented software testing, a method of metamorphic relations constructing for object-oriented software testing based on algebraic specification was proposed. Firstly, metamorphic relations constructing criteria for object-oriented testing was defined based on the characteristics of object-oriented software program. Then metamorphic relations were constructed based on GFT algorithm (Generating a Finite Number of Test Case). Finally the metamorphic relations were improved according to these criteria. The improved method was verified through constructing IntStrack class and SavAcc class metamorphic relations. The experiment results show that the metamorphic relations redundancy is decreased significantly. So the new method has a low metamorphic relations redundancy and improves the efficiency of software testing.
引用
收藏
页码：399 / 405
页数：7
相关论文
共 50 条
  • [1] OBJECT-ORIENTED SOFTWARE TESTING
    BINDER, RV
    [J]. COMMUNICATIONS OF THE ACM, 1994, 37 (09) : 28 - 29
  • [2] Analysis and Research on Object-Oriented Software Testing Method
    Liu, Xin
    Zou, Weimei
    Bai, Junjie
    Luo, Chunqing
    Tong, Dejiang
    [J]. INTERNATIONAL CONFERENCE ON ELECTRICAL AND CONTROL ENGINEERING (ICECE 2015), 2015, : 594 - 598
  • [3] Testing object-oriented software: a survey
    RBSC Corp, Chicago, United States
    [J]. Software Testing Verification and Reliability, 1996, 6 (3-4) : 125 - 252
  • [4] Automatic testing of object-oriented software
    Meyer, Bertrand
    Ciupa, Ilinca
    Leitner, Andreas
    Liu, Lisa Ling
    [J]. SOFSEM 2007: THEORY AND PRACTICE OF COMPUTER SCIENCE, PROCEEDINGS, 2007, 4362 : 114 - +
  • [5] Extension of Object-Oriented Software Testing Techniques to Agent Oriented Software Testing
    Srivastava, Praveen Ranjan
    Anand, Karthik, V
    Rastogi, Mayuri
    Yadav, Vikrant
    Raghurama, G.
    [J]. JOURNAL OF OBJECT TECHNOLOGY, 2008, 7 (08): : 155 - 163
  • [6] AN OBJECT-ORIENTED METHOD FOR SOFTWARE MAINTENANCE
    CHEN, JY
    CHANG, SCV
    [J]. JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1994, 6 (08): : 46 - 51
  • [7] Integration object-oriented software testing and metrics
    Chung, CM
    Shih, TK
    Wang, CC
    Lee, MC
    [J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1997, 7 (01) : 125 - 144
  • [8] Integrating verification and testing of object-oriented software
    Engel, Christian
    Gladisch, Christoph
    Klebanov, Vladimir
    Rummer, Philipp
    [J]. TESTS AND PROOFS, 2008, 4966 : 182 - 191
  • [9] TESTING MAJOR OBJECT-ORIENTED SOFTWARE SYSTEMS
    JUTTNER, P
    KOLB, S
    SIEBER, S
    ZIMMERER, P
    [J]. SIEMENS REVIEW, 1994, : 25 - 29
  • [10] A new model of object-oriented software testing
    Gu, YL
    Wang, LF
    [J]. OBJECT-ORIENTED TECHNOLOGY, 1997, : 22 - 25
12345