Random Input and Automated Output Generation in Submitty

被引:0
|
作者
Maicus, Evan [1 ]
Patel, Drumil [1 ]
Peveler, Matthew [2 ]
Cutler, Barbara [1 ]
机构
[1] Rensselaer Polytech Inst, Troy, NY 12181 USA
[2] Indian Institue Technol, Roorkee, Uttar Pradesh, India
关键词
Autograding; Testing; Fuzz Testing;
D O I
10.1145/3328778.3372685
中图分类号
TP39 [计算机的应用];
学科分类号
081203 ; 0835 ;
摘要
"Fuzzing," testing a codebase against a set of randomly generated inputs, has become a promising model of testing across the industry due to its ability to reveal difficult to detect bugs. Separately, the use of randomized inputs when testing student code submissions removes the potential for student "hard-coding" behavior. Motivated by these factors, we present a solution for the automated generation of testcase inputs and expected outputs within Submitty, an open source automated grading system from Rensselaer Polytechnic Institute. We detail an enhanced workflow that allows instructors to provide our testing system with an assignment-specific input generation script and an assignment solution. The input generation script is run at student test-time, providing students with either entirely generated inputs or a combination of generated and hand-crafted testcases. The instructor solution is run against the same inputs to produce expected results. This model of testcase specification carries the benefit of simple regeneration of expected output files if an assignment's specification changes after submissions open or between semesters. We present preliminary results of the use of random input generation in our large introductory programming courses, and evaluate the ability of random inputs to curb student hardcoding behavior as it relates to an "early submission incentive" system, which grants students an extension for achieving a target assignment score early in the week an assignment is due. We examine random input generation's ability to reveal bugs in student submissions from previous semesters.
引用
收藏
页码:1372 / 1372
页数:1
相关论文
共 50 条
  • [21] Automated Generation of Counterterrorism Policies Using Multiexpert Input
    Sawant, Anshul
    Dickerson, John P.
    Hajiaghayi, Mohammad T.
    Subrahmanian, V. S.
    ACM TRANSACTIONS ON INTELLIGENT SYSTEMS AND TECHNOLOGY, 2015, 6 (04)
  • [22] Automated Test Input Generation for Android: Are We There Yet?
    Choudhary, Shauvik Roy
    Gorla, Alessandra
    Orso, Alessandro
    2015 30TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE), 2015, : 429 - 440
  • [23] Automated Transient Input Stimuli Generation for Analog Circuits
    Ahmadyan, Seyed Nematollah
    Vasudevan, Shobha
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2016, 35 (05) : 858 - 871
  • [24] Towards Automated Input Generation for Sketching Alloy Models
    Jovanovic, Ana
    Sullivan, Allison
    IEEE/ACM 10TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE 2022), 2022, : 58 - 68
  • [25] Evaluating Random Input Generation Strategies for Accessibility Testing
    Santos, Diogo Oliveira
    Durelli, Vinicius H. S.
    Endo, Andre Takeshi
    Eler, Marcelo Medeiros
    ICEIS: PROCEEDINGS OF THE 23RD INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS - VOL 2, 2021, : 66 - 75
  • [26] Innovation input-output and output-lagged input relationships of the next-generation information industry in China
    Chen, Si
    Huang, Weilun
    INFORMATION PROCESSING & MANAGEMENT, 2022, 59 (06)
  • [27] Automated adaptation of input and output data for a weightless artificial neural network
    McElroy, Ben
    Howells, Gareth
    International Journal of Database Theory and Application, 2011, 4 (03): : 49 - 58
  • [28] Automated Adaptation of Input and Output Data for a Weightless Artificial Neural Network
    McElroy, Ben
    Howells, Gareth
    INTERNATIONAL JOURNAL OF GRID AND DISTRIBUTED COMPUTING, 2011, 4 (03): : 37 - 46
  • [29] THE AUTOMATED SYSTEM FOR PARAMETRIC CHARACTERIZATION OF THE INPUT AND OUTPUT BLOCKS IN DIGITAL ICs
    Davydov, G. G.
    Kolosova, A. S.
    Sogoyan, A. V.
    Artamonov, A. S.
    Boychenko, D. V.
    2016 INTERNATIONAL SIBERIAN CONFERENCE ON CONTROL AND COMMUNICATIONS (SIBCON), 2016,
  • [30] Automated CPU Design by Learning from Input-Output Examples
    Cheng, Shuyao
    Jin, Pengwei
    Guo, Qi
    Du, Zidong
    Zhang, Rui
    Hu, Xing
    Zhao, Yongwei
    Hao, Yifan
    Guan, Xiangtao
    Han, Husheng
    Zhao, Zhengyue
    Liu, Ximing
    Zhang, Xishan
    Chu, Yuejie
    Mao, Weilong
    Chen, Tianshi
    Chen, Yunji
    PROCEEDINGS OF THE THIRTY-THIRD INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2024, 2024, : 3843 - 3853