Abstract: Based on the analysis and perception of Chinese e-Learning Technology Standards(CELTS) , this paper presents the formalized test method applicable for the CELTS conformance test. This method describes the abstract test suit of CELTSs according to the TTCN,which supports the auto-creatable and performable to the test suit. After the key techniques are analyzed and worked out, the test process and the framework of the test system are put forward. A general CELTS test suite is specified in a formal specification language which is defined to specify CELTS conformance test suites. The test system possesses intuitionistic and friendly graphic user interface and good flexibility. Now the prototype of the system has been implemented and the test activity about CELTS.10 and CELTS.15 has been performed.

摘要： 测试互操作标准(即 CELTS.10)是为满足学习系统中试题的互用目的而提出的一项最新技术规范。文章在深入分析该标准的基础上,采用形式化测试方法,提出了针对该标准的一致性测试框架结构和流程,将形式化的理论、方法和技术引入到测试系统的开发工程中,实现了一致性测试的形式化。

关键词: 网络教育, CELTS.10标准, 测试系统, 一致性测试

CLC Number: 

• TP391.6