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 条
  • [1] Automated unique input output sequence generation for conformance testing of FSMs
    Derderian, K
    Hierons, RM
    Harman, M
    Guo, Q
    COMPUTER JOURNAL, 2006, 49 (03): : 331 - 344
  • [2] Test case generation and reduction by automated input-output analysis
    Saraph, P
    Last, M
    Kandel, A
    2003 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5, CONFERENCE PROCEEDINGS, 2003, : 768 - 773
  • [3] Automated unique input output sequence generation or conformance testing of FSMs
    Derderian, Karnig
    Hierons, Robert M.
    Harman, Mark
    Guo, Qiang
    Computer Journal, 2006, 49 (03): : 331 - 344
  • [4] The Recognition of the Output Function of a Finite Automaton with Random Input
    Melnikov, S. Yu.
    Samouylov, K. E.
    DISTRIBUTED COMPUTER AND COMMUNICATION NETWORKS (DCCN 2018), 2018, 919 : 525 - 531
  • [5] Random walks on the world input-output network
    Piccardi, Carlo
    Riccaboni, Massimo
    Tajoli, Lucia
    Zhu, Zhen
    JOURNAL OF COMPLEX NETWORKS, 2018, 6 (02) : 187 - 205
  • [6] Random walks on the world input-output network
    Piccardi C.
    Riccaboni M.
    Tajoli L.
    Zhu Z.
    Journal of Complex Networks, 2018, 6 (02): : 187 - 205
  • [7] PADRAIG: Precise Android Automated Input Generation
    Doyle, Jordan
    Laurent, Thomas
    Ventresque, Anthony
    2024 IEEE 24TH INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY, QRS, 2024, : 72 - 83
  • [8] Automatic random variate generation for simulation input
    Hörmann, W
    Leydold, J
    PROCEEDINGS OF THE 2000 WINTER SIMULATION CONFERENCE, VOLS 1 AND 2, 2000, : 675 - 682
  • [9] Random Test Generation With Input Cube Avoidance
    Pomeranz, Irith
    Reddy, Sudhakar A.
    IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, 2009, 17 (01) : 45 - 54
  • [10] Employment generation in tourism industry: an input–output analysis
    Prasad N.
    Kulshrestha M.
    The Indian Journal of Labour Economics, 2015, 58 (4) : 563 - 575