一个阅卷信息描述语言解释系统的设计

作者：马永进; 陈怀义; 金炳尧; 骆红波

来源：计算机技术与发展, 2005, (12): 4-6.

• 形式化语言
• 语言解释系统
• 考试系统 formal language
• language interpreting system
• checking system

自动阅卷首先必须考虑准确性,但如何提高阅卷代码的重用性、增加阅卷的灵活性是进一步应考虑的问题。文中介绍一个以阅卷信息形式化描述为背景的语言系统的设计过程。该系统有常量、变量、表达式运算、函数运算I、F结构、循环结构等,是一个短小精悍的应用语言系统。借助该系统可以描述复杂的阅卷要求,同时实现了代码和试题的分离,提高了阅卷的开发性和灵活性,在实际应用中取得了良好的效果。该语言系统可进一步应用于开放式考试系统与练习系统平台的设计。

• 单位
  浙江师范大学; 国防科学技术大学