Construction of an educational system that supports four-phases checking method for algorithms and programs

[I]我们构建了一个由以下组件组成的网络教育环境：[算法编辑器]-我们评估了算法编辑器的可用性，并考虑到初学者的使用情况对其进行了扩展。-我们开发了一个功能，教师可以根据他/她设置的练习自由定义词汇，而且学习者可以通过使用词汇来表示他们的算法。[算法编译器]-我们扩展了它，使其能够编译由教师定义的词汇表示的算法。[算法和程序比较单元]-我们开发了一些启发式方法，以使单元的处理速度更快。-我们扩展了单元，使其能够执行‘本地化比较’。它意味着只将教师指定的算法表示的部分与学习者的程序进行比较。[算法与程序的对应查看器]-我们实现了查看器，并对其进行了扩展，使其可用性更好。[Quality t…为学习者的课程提供更多帮助]-我们使用针对内置程序代码的鉴定工具为学习者生成建议。然而，对于初学者来说，这些建议太多了，也很难。因此，我们开发了一个额外的工具来减少建议。此外，我们开发了一个过滤工具，可以更容易地重写建议。[2]我们对我们的系统进行了实验评估。-我们将我们的系统应用到一所大学的一个实际编程课堂上。首先，学习者通过算法编辑器编写算法。然后，他们编译算法以获得可执行文件。他们执行它们并确认结果的有效性。在那之后，他们编写源代码。我们观察了学习者的行为，并通过问卷调查了他们对系统的可用性。因此，我们发现我们的系统具有一定的教学效果。-我们要求新手和中级编程班级的教师使用我们的系统对学习者的程序进行评估。我们发现了我们系统的一些优点。例如，提高了他们评估的准确性。较少

[I]We constructed a network-based educational environment composed of the following components:[Algorithm editor]- We evaluated usability of our algorithm editor, then extended it considering novice learners' usage.- We developed a function that teacher can define vocabularies freely based on the exercises that he/she sets, and that learners can representtheir algorithm by using the vocabularies.[Algorithm compiler]- We extended it to be able to compile algorithms represented by the vocabularies defined by teachers.[Comparing unit between algorithm and programs]- We developed some heuristics in order to make the processing speed of the unit quicker.- We extended the unit to be able to perform 'localized comparing'. It means comparison in which only the parts of an algorithm representation designated by a teacher are compared with learners' programs.[Correspondence viewer between algorithm and programs]- We implemented the viewer, and extend it to make its usability better.[Qualifying t … More ool for learners' programs]- We use a qualifying tool for built-in program codes to generate advices for learners. However, the advices are too many and difficult for novice learners. Therefore, we developed an additional tool for reducing advices. Moreover, we developed a filtering tool that rewrites the advices easier.[2] We evaluated our system experimentally.- We applied our system to an actual class of programming in a university. At first learners writes algorithm by algorithm editor. Then they compile the algorithm to get executable files. They execute them and confirm validity of the results. After that, they write source codes. We observed learners' behavior and asked them usability of the system by questionnaire. Consequently, we found our system has a certain pedagogical effectiveness.- We asked teachers of novice and intermediate programming class to evaluate learners' programs by our system. We found some advantages of our system. For example, correctness of their evaluation is increased. Less