Automatically Generating Test Cases for Specification Mining

被引：46

作者：

Dallmeier, Valentin ^{[1
]}

Knopp, Nikolai ^{[1
]}

Mallon, Christoph ^{[2
]}

Fraser, Gordon ^{[1
]}

Hack, Sebastian ^{[2
]}

Zeller, Andreas ^{[1
]}

机构：

[1] Univ Saarland, Saarland Univ Chair Software Engn, D-66123 Saarbrucken, Germany

[2] Univ Saarland, Saarland Univ Compiler Design Lab, D-66123 Saarbrucken, Germany

来源：

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 2012年 / 38卷 / 02期

关键词：

Specification mining; test case generation; typestate analysis;

D O I：

10.1109/TSE.2011.105

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Dynamic specification mining observes program executions to infer models of normal program behavior. What makes us believe that we have seen sufficiently many executions? The TAUTOKO ("Tautoko" is the Maori word for "enhance, enrich.") typestate miner generates test cases that cover previously unobserved behavior, systematically extending the execution space, and enriching the specification. To our knowledge, this is the first combination of systematic test case generation and typestate mining-a combination with clear benefits: On a sample of 800 defects seeded into six Java subjects, a static typestate verifier fed with enriched models would report significantly more true positives and significantly fewer false positives than the initial models.

引用

页码：243 / 257

页数：15

共 50 条

[1] Automatically generating test cases for specification mining
Saarland University, Universität des Saarlandes, Campus E1 1, Saarbrücken 66123, Germany
不详
IEEE Trans Software Eng, 2 (243-257):
[2] Generating test cases for specification mining
Saarland University - Computer Science, Saarbrücken, Germany
ISSTA - Proc. Int. Symp. Softw. Test. Anal., (85-95):
[3] Applying GA with Tabu list for Automatically Generating Test Cases Based on Formal Specification
Zhou, Yuqin
Sugihara, Taku
Sato, Yuji
STRUCTURED OBJECT-ORIENTED FORMAL LANGUAGE AND METHOD, 2015, 8979 : 17 - 31
[4] AUTOMATICALLY GENERATING TEST DATA FROM A BOOLEAN SPECIFICATION
WEYUKER, E
GORADIA, T
SINGH, A
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1994, 20 (05) : 353 - 363
[5] AN ALGORITHM FOR AUTOMATICALLY GENERATING BLACK-BOX TEST CASES
Xu Baowen Nie Changhai Shi Qunfeng Lu Hong (Department of computer Science & Engineering
JournalofElectronics(China), 2003, (01) : 74 - 77
[6] Automatically generating error-traceable test cases based on compiler
He, Yanxiang
Chen, Yong
Wu, Wei
Xu, Chao
Wu, Libing
Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2012, 49 (09): : 1843 - 1851
[7] A "Vibration" Method for Automatically Generating Test Cases Based on Formal Specifications
Liu, Shaoying
Nakajima, Shin
2011 18TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2011), 2011, : 73 - 80
[8] Improving Failure Detection by Automatically Generating Test Cases Near the Boundaries
Zhou, Min
Cheng, Xi
Guo, Xinrui
Gu, Ming
Zhang, Hongyu
Song, Xiaoyu
PROCEEDINGS 2016 IEEE 40TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE WORKSHOPS, VOL 1, 2016, : 164 - 173
[9] Automatically Generating Test Templates from Test Names
Zhang, Benwen
Hill, Emily
Clause, James
2015 30TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE), 2015, : 506 - 511
[10] Automatically generating test cases for safety-critical software via symbolic execution
Kurian, Elson
Briola, Daniela
Braione, Pietro
Denaro, Giovanni
JOURNAL OF SYSTEMS AND SOFTWARE, 2023, 199

← 1 2 3 4 5 →