J³ Model: A novel framework for improved Modified Condition/Decision Coverage analysis

详细信息    查看全文

• 作者：Sangharatna Godboley^a ; ^{sanghu1790@gmail.com} ; Arpita Dutta^a ; ^{arpitad10j@gmail.com} ; Durga Prasad Mohapatra^a ; ^{durga@nitrkl.ac.in} ; Rajib Mall^b ; ^{rajib@cse.iitkgp.ernet.in}
• 关键词：MC/DC ; CONCOLIC Testing ; JPCT ; JCUTE ; JCA
• 刊名：Computer Standards & Interfaces
• 出版年：2017
• 出版时间：February 2017
• 年：2017
• 卷：50
• 期：Complete
• 页码：1-17
• 全文大小：2501 K
• 卷排序：50

文摘

J3 Model is proposed to achieve high MC/DC percentage that shows the improvement of the existing concolic testing technique. JPCT is an efficient version of transformation technique as compare to existing technique. JCA is much more power full than existing coverage analyser for MC/DC, since it is developed by considering all MC/DC essential requirements. Implementation and Experiments are done for forty Java programs, and the results present the improvement in MC/DC.