Where exactly are the difficulties in reasoning logically about code? experimentation with an online system
Where exactly are the difficulties in reasoning logically about code? experimentation with an online system
复制标题
对代码进行逻辑推理的困难到底在哪里？
DOI：
10.1145/3197091.3197133
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
M. Sitaraman
中科院分区：
文献类型：
--
作者：
Michelle Cook;Megan Fowler;J. Hallstrom;J. Hollingsworth;Tim Schwab;Yu;M. Sitaraman
计算机科学的学生通常可以推理出一段代码在特定输入下的作用。虽然这是一个有用的起点，但毕业生还必须能够从逻辑上分析，理解和预测代码的行为，无论输入是什么。从一个在线教育系统的数据收集和分析的结果表明，它可以帮助确定在这样做的困难，为个别学生和团体，并划分他们的困难，使教学干预可能更有针对性的群体。与传统的调试不同，这个在线系统有助于揭示推理中的困难，因为它配备了验证引擎。
CS students can typically reason about what a piece of code does on specific inputs. While this is a useful starting point, graduates must also be able to logically analyze, comprehend, and predict the behavior of their code in more general terms, no matter what the inputs are. Results of data collection and analysis from an online educational system show it can help to pinpoint the difficulties in doing this for individual students and groups, and to partition the groups in terms of their difficulties so that instructional interventions may be better targeted. Unlike traditional debugging, this online system helps reveal difficulties in reasoning in more general terms because it is equipped with a verification engine.