Tool-Aided Loop Invariant Development: Insights into Student Conceptions and Difficulties
Tool-Aided Loop Invariant Development: Insights into Student Conceptions and Difficulties
复制标题
工具辅助循环不变开发：深入了解学生的概念和困难
DOI：
10.1145/3430665.3456351
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Hollingsworth, Joseph E.
中科院分区：
文献类型：
--
作者：
Fowler, Megan;Kraemer, Eileen;Sitaraman, Murali;Hollingsworth, Joseph E.
要开发符合其规范并可验证正确的代码，例如在软件工程课程中，学生必须能够理解正式合同，并使用断言(如循环不变量)来注释他们的代码。为了帮助开发合适的教师和自动化工具干预，本研究旨在超越简单的前置条件和后置条件，并深入了解学生学习涉及对象的循环不变量的情况。当学生在验证引擎支持的在线系统的帮助下为给定的代码开发合适的循环不变量时，学生的每一次尝试，无论是正确的还是不正确的，都会被自动收集和分析，并使用迭代过程进行分类，以捕获常见的困难。学生们还被要求解释他们的思维过程，以得出他们对每一份提交的答案。对收集到的解释进行了人工分析，发现这些解释有助于评估他们的理解水平，并为教师和自动辅导系统提取可操作的信息。定性结论包括媒介的影响。
To develop code that meets its specification and is verifiably correct, such as in a software engineering course, students must be able to understand formal contracts and annotate their code with assertions such as loop invariants. To assist in developing suitable instructor and automated tool interventions, this research aims to go beyond simple pre- and post-conditions and gain insight into student learning of loop invariants involving objects. As students develop suitable loop invariants for given code with the aid of an online system backed by a verification engine, each student attempt, either correct or incorrect, was collected and analyzed automatically, and catalogued using an iterative process to capture common difficulties. Students were also asked to explain their thought process in arriving at their answer for each submission. The collected explanations were analyzed manually and found to be useful to assess their level of understanding as well as to extract actionable information for instructors and automated tutoring systems. Qualitative conclusions include the impact of the medium.
登录
查看更多内容
将形式化方法工具整合到本科计算机科学课程中
DOI：
10.1145/637610.544500
发表时间：
2002
期刊：
Proceedings. Frontiers in Education. 36th Annual Conference
影响因子：
--
作者：
Sotiris Skevoulis;Maria Falidas
通讯作者：
Maria Falidas
影响因子：
2.4
作者：
Yizhou Qian;James Lehman
通讯作者：
James Lehman
工具辅助循环不变开发和分析
DOI：
10.1109/cseet.2016.28
发表时间：
2016
期刊：
2016 IEEE 29th International Conference on Software Engineering Education and Training (CSEET)
影响因子：
--
作者：
Caleb Priester;Yu;M. Sitaraman
通讯作者：
M. Sitaraman
使用网络集成验证编译器进行规范工程和模块化验证
DOI：
10.1109/icse.2012.6227243
发表时间：
2012
期刊：
2012 34th International Conference on Software Engineering (ICSE)
影响因子：
--
作者：
Charles T. Cook;Heather K. Harton;Hampton Smith;M. Sitaraman
通讯作者：
M. Sitaraman
使用描画和素描来解决编程问题：复制和扩展对学生所画内容的分析
DOI：
10.1145/3105726.3106190
发表时间：
2017
期刊：
Proceedings of the 2017 ACM Conference on International Computing Education Research
影响因子：
--
作者：
Kathryn Cunningham;Sarah Blanchard;Barbara Ericson;M. Guzdial
通讯作者：
M. Guzdial