Method of the Object-oriented Program Exact Testing

被引：0
|
作者：
Wang, Xiaolan [1 ]
Zhang, Yanshuai [1 ]
He, Hong [1 ]
机构：
[1] Shandong Univ Weihai, Dept Informat & Engn, Weihai, Peoples R China
来源：
PROCEEDINGS OF INTERNATIONAL SYMPOSIUM ON COMPUTER SCIENCE AND COMPUTATIONAL TECHNOLOGY (ISCSCT 2009) | 2009年
关键词：
Object-Oriented program; Error Tracking; Symbolic Execution; Exact Testing;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Object-oriented programming Exact Testing is an important research direction on testing. But there haven't been any effective methods of error tracking and positioning in object-oriented programming exact testing. In this paper, a method, based on symbolic execution and constraint solving, is proposed to build the dependency graph of the error statement. Compared with other studies, this method is more accurate. Experiments show that this method can be used to track and position error in testing procedures for small and medium-size process. It has a wide application in many areas, such as program testing, debugging and code optimization, etc.
引用
收藏
页码：39 / 44
页数：6
相关论文
共 50 条
  • [41] ELIXIR: Effective Object-Oriented Program Repair
    Saha, Ripon K.
    Lyu, Yingjun
    Yoshida, Hiroaki
    Prasad, Mukul R.
    [J]. PROCEEDINGS OF THE 2017 32ND IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE'17), 2017, : 648 - 659
  • [42] Forward dynamic object-oriented program slicing
    Song, YT
    Huynh, DT
    [J]. ASSET'99: 1999 IEEE SYMPOSIUM ON APPLICATION-SPECIFIC SYSTEMS AND SOFTWARE ENGINEERING & TECHNOLOGY - PROCEEDINGS, 1999, : 230 - 237
  • [43] An object-oriented dependency graph for program slicing
    Chen, JL
    Wang, FJ
    Chen, YL
    [J]. TOOLS 24: TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES, PROCEEDINGS, 1998, 24 : 121 - 130
  • [44] Visualizing dynamic objects in object-oriented program
    Netisopakul, P
    [J]. 7TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL XIII, PROCEEDINGS: SYSTEMICS, CYBERNETICS AND INFORMATICS: TECHNOLOGIES AND APPLICATIONS, 2003, : 321 - 325
  • [45] AN EXTENSIBLE PROGRAM REPRESENTATION FOR OBJECT-ORIENTED SOFTWARE
    MALLOY, BA
    MCGREGOR, JD
    KRISHNASWAMY, A
    MEDIKONDA, M
    [J]. SIGPLAN NOTICES, 1994, 29 (12): : 38 - 47
  • [46] VIRTUAL INSTRUMENTS - OBJECT-ORIENTED PROGRAM SYNTHESIS
    BHASKAR, KS
    PECKOL, JK
    BEUG, JL
    [J]. SIGPLAN NOTICES, 1986, 21 (11): : 303 - 314
  • [47] Software visualisation for object-oriented program comprehension
    Pacione, MJ
    [J]. ICSE 2004: 26TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS, 2004, : 63 - 65
  • [48] Elixir: Effective object-oriented program repair
    Saha, Ripon K.
    Lyu, Yingjun
    Yoshida, Hiroaki
    Prasad, Mukul R.
    [J]. arXiv, 2021,
  • [49] Object-oriented finite element program framework
    Wei, Yongtao
    Yu, Jianhua
    Chen, Junkai
    [J]. Chengdu Kejidaxue Xuebao/Journal of Chengdu University of Science and Technology, 2000, 32 (03): : 34 - 38
  • [50] Enhancing the process of testing object-oriented systems
    Alkadi, I
    Alkadi, G
    Alkadi, G
    [J]. 2004 IEEE AEROSPACE CONFERENCE PROCEEDINGS, VOLS 1-6, 2004, : 3129 - 3143
12345