使用循环种子的聚焦实时编程

视频

DOI

实时编程是一种范式，程序员可以在每次程序更改时可视化程序的运行时值。实时编程的前景依赖于使用测试用例来运行程序，从而提供这些运行时值。在本文中，我们表明在某些情况下测试用例在根本层面上是不够的，因为没有测试输入可以驱动某些不完整的循环来产生有用的数据，我们称之为循环数据空白问题。这个问题源于循环内部的有用数据可能只在循环完全写入后才能产生。为了解决这个问题，我们提出了使用循环种子的聚焦实时编程范式，在这种范式中，程序员提供假设值来启动循环迭代，然后编程环境将实时可视化聚焦在这个假设循环迭代上。我们介绍循环数据空白问题，详细展示我们的解决方案，然后展示用户研究的结果。