Sketch of Implements for Mining Contracts Based on Framework of Software Quality Assurance

被引：0
|
作者：
Liu, ShuKun [1 ]
Yang, XiaoHua [2 ]
Chen, JiFeng [1 ]
机构：
[1] Hunan Int Econ Univ, Dept Comp, Changsha, Hunan, Peoples R China
[2] Univ South China, Dept Comp Sci & Technol, Hengyang, Peoples R China
来源：
ADVANCED MATERIALS AND ITS APPLICATION | 2012年 / 460卷
关键词：
software quality; contract; compile; trace file;
D O I：
10.4028/www.scientific.net/AMR.460.240
中图分类号：
T [工业技术];
学科分类号：
08 ;
摘要：
In this paper, the main function of program contract in the software quality assurance is showed combined with the technology of static analyzing and dynamical analyzing. And the meaning of contract is described as well. Daikon and Diduce which are the main tools for detecting the program contract are introduced carefully. Not only the work process of Daikon and Diduce is explicated but also the main characters of them are showed. Combined with the framework of software quality assurance, the main differences between Daikon and Diduce are listed and the theoretical model of detecting contract is expressed in detail.
引用
收藏
页码：240 / +
页数：2
相关论文
共 50 条
  • [1] Definition framework of software quality assurance platform based on CMM
    Yin, Xin-Chun
    Yan, Fen
    Tang, Ke-Ming
    Chen, Lin
    Xiaoxing Weixing Jisuanji Xitong/Mini-Micro Systems, 2002, 23 (11):
  • [2] Mining Software Contracts for Software Evolution
    Yan, Yan
    Menarini, Massimiliano
    Griswold, William
    2014 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION (ICSME), 2014, : 471 - 475
  • [3] Software quality assurance: An update - is software quality assurance different?
    Forrester, M.
    Quality assurance London, 1988, 14 (03): : 86 - 89
  • [4] A framework for the development of measurement and quality assurance in software-based medical rehabilitation systems
    Ahamed, Nizam Uddin
    Sundaraj, Kenneth
    Ahmad, R. Badlishah
    Rahman, Matiur
    Ali, Asraf
    INTERNATIONAL SYMPOSIUM ON ROBOTICS AND INTELLIGENT SENSORS 2012 (IRIS 2012), 2012, 41 : 53 - 60
  • [5] QAMaster: A new software framework for phantom-based computed tomography quality assurance
    Karius, Andre
    Bert, Christoph
    JOURNAL OF APPLIED CLINICAL MEDICAL PHYSICS, 2022, 23 (04):
  • [6] Metric based software quality assurance system
    Xu, D
    Liu, ZT
    Zhu, B
    Xing, DH
    Current Trends in High Performance Computing and Its Applications, Proceedings, 2005, : 551 - 555
  • [7] Software Quality Assurance Based on Game Theory
    Yu, Y. H.
    Wu, L.
    2015 INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND TECHNOLOGY (ICCST 2015), 2015, : 416 - 420
  • [8] Quality Assurance of Component Based Software Systems
    Sharma, Ravi Kumar
    Gandhi, Parul
    PROCEEDINGS OF THE 10TH INDIACOM - 2016 3RD INTERNATIONAL CONFERENCE ON COMPUTING FOR SUSTAINABLE GLOBAL DEVELOPMENT, 2016, : 3850 - 3854
  • [9] Research on Software Quality Assurance Based on Software Quality Standards and Technology Management
    Shen, Peng
    Ding, Xiaoming
    Ren, Wenjun
    Yang, Chujun
    2018 19TH IEEE/ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING AND PARALLEL/DISTRIBUTED COMPUTING (SNPD), 2018, : 385 - 390
  • [10] A security assurance framework for component based software development
    Kumar, Ashwin M.V.N.
    Singh, Arun K.
    Babu S., Ramesh
    Informatica (Ljubljana), 2001, 25 (04) : 509 - 515
12345