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

Programming of a Language Interpreting System Based on Checking Information Description

作　　者：马永进[1,2] 陈怀义[1] 金炳尧[2] 骆红波[2] 

机构地区：[1]国防科学技术大学 [2]浙江师范大学

出　　处：《微机发展》2005年第12期4-6,共3页Microcomputer Development

基　　金：浙江省自学考试委员会"十五"规划项目(021536)

摘　　要：自动阅卷首先必须考虑准确性,但如何提高阅卷代码的重用性、增加阅卷的灵活性是进一步应考虑的问题。文中介绍一个以阅卷信息形式化描述为背景的语言系统的设计过程。该系统有常量、变量、表达式运算、函数运算I、F结构、循环结构等,是一个短小精悍的应用语言系统。借助该系统可以描述复杂的阅卷要求,同时实现了代码和试题的分离,提高了阅卷的开发性和灵活性,在实际应用中取得了良好的效果。该语言系统可进一步应用于开放式考试系统与练习系统平台的设计。The accuracy should be considered while checking,but the reusability of code and the flexibility while checking is another focus. In this paper, recommend the advantage of formal description of check information when it is applied to checking- system, including constant, variable, expression operation, function operation, IF structure, and circulation structure etc. Also recommend the way of its realization. Through this language system, can describe and reach the requirements of complicatedness of checking. This means increases the independence, flexibility of checking system and prolong its l ifecycle.

关 键 词：形式化语言 语言解释系统 考试系统 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]