论文部分内容阅读
测试互操作标准(即 CELTS.10)是为满足学习系统中试题的互用目的而提出的一项最新技术规范。文章在深入分析该标准的基础上,采用形式化测试方法,提出了针对该标准的一致性测试框架结构和流程,将形式化的理论、方法和技术引入到测试系统的开发工程中,实现了一致性测试的形式化。
CELTS.10标准一致性测试系统
【摘 要】
：
测试互操作标准(即 CELTS.10)是为满足学习系统中试题的互用目的而提出的一项最新技术规范。文章在深入分析该标准的基础上,采用形式化测试方法,提出了针对该标准的一致性测试框架结构和流程,将形式化的理论、方法和技术引入到测试系统的开发工程中,实现了一致性测试的形式化。
【机 构】
：
湖南大学计算计机与通信学院
【出 处】
：
计算机工程
【发表日期】
：
2004年20期
【基金项目】
：
面向21世纪教育振兴行动计划(985计划)，中央财政专项基金
其他文献
叙述了无线局域网的多输入多输出天线系统的技术特点,分析了OFDM无线局域网中的多输入多输出天线系统容量,探讨了多输入多输出OFDM无线局域网的实现.
目前ERP系统在构建上主要存在两个问题：一是ERP系统一般均采用C/S结构，界面与商业逻辑混合在一起，导致系统维护困难；二是多数软件都是根据某一行业管理思想定制的，软件的通用性差
介绍了使用LDAP(轻量级目录访问协议)在Web上实现RBAC的框架.该框架使用LDAP目录服务器作为存放角色的角色服务器,Web服务器可以通过两种方式(user-pull和server-pull)从角色
说明一种基于系统调用分析的入侵检测方法.首先介绍了此算法的原理及设计,接着介绍了一个基于此检测方法的入侵检测系统的设计.最后,通过对运行于Linux操作系统下的wu-ftpd服
【中图分类号】G63 【文献标识码】A 【文章编号】2095-3089（2017）27-0135-01 评价是教师教育学生常用的一种工具和手段。如何认识和实施评价，发挥评价在教育中的特殊作用，是一个值得研究的问题。作为教师，我们都希望运用恰当的评价，以产生积极的影响，促进学生的发展，因此，教师一定要认真研究和慎重行使对学生的评价，科学运用评价这种教育手段，引导学生走向成功。如何才能使教师对学生的
气固两相流广泛存在于自然界和工业生产过程中,对其参数的准确测量有利于提高生产效率、降低能耗以及减少环境污染。由于气固两相流具有流动复杂、参数分布不均匀的特征,气固
随着社会的快速发展，统计学作为一门应用类。的学科，近几年发展的相当迅速，已经渗透到各个领域的相关行业。 而传统的课堂教学满足不了人们快速，便捷的学习相关专业知识的速度。
我国的石油钻采现状向着低渗透油气层、深井超深井的趋势发展,水力压裂工艺因其独特的优点备受重视。压裂泵作为水力压裂工艺中的核心设备,其工作性能的优劣直接关系到压裂工
语文是小学生的一门重要的课程，在小学语文中，最重要的就是小学作文的写作。同时，由于小学生心智还不成熟，所以写出来的作文存在很多的语法错误，让语文教师哭笑不得。目前，随着新课
“互联网+”时代背景下，每个行业都在适应时代的发展不断进行改进和创新，其中也包含大学英语课程的教学。互联网在英语教学中的应用一方面能够创新英语的教学方式，另一方面也可