相关实验视频

Updated: Jun 5, 2025

A Cross-Disciplinary and Multi-Modal Experimental Design for Studying Near-Real-Time Authentic Examination Experiences

A Cross-Disciplinary and Multi-Modal Experimental Design for Studying Near-Real-Time Authentic Examination Experiences

Published on: September 4, 2019

通过基于UPPAAL的可靠设计,确保电子考试的可靠性

Wenbo Zhou^1,2,3, Yujiao Zhao¹, Ye Zhang¹

¹School of Information Science and Technology, Northeast Normal University, Changchun, China.

PeerJ. Computer science

|December 9, 2024

概括

本研究引入了电子检查的正式模型,使用定时自动机来提高可靠性. UPPAAL模型验证了关键属性,确保可信的数字教育评估.

科学领域:

计算机科学计算机科学
教育技术的教育技术
正式方法正式方法

背景情况:

电子考试在评估学习成果方面提供了效率.
将计算机集成到考试中可以引入不可靠性和安全问题.
需要正式的验证方法来确保数字评估的完整性.

研究的目的:

提出使用定时自动化的电子考试的正式模式.
解决基于计算机的测试的复杂性和潜在的不可靠性.
通过可验证的评估模型,提高数字教育的可信度.

主要方法:

开发了电子考试的正式模型,使用UPPAAL定时自动机.
定义了四个代表关键角色的UPPAAL模板:候选人,管理员,监督员和考官.
编码了关键电子检查属性作为UPPAAL中的规格,用于验证.

主要成果:

拟议的UPPAAL模型成功地代表了电子考试过程.
对编码属性的验证证明了模型的有效性和可靠性.
该模型提供了一个结构化的方法来管理电子评估中的复杂性.

结论:

使用UPPAAL的可模拟和可验证的电子考试系统显示出显著的前景.
这种方法可以有助于建立更可信的数字教育环境.
进一步探索数字评估中的正式方法是有必要的.

关键词:

电子考试电子考试电子考试电子考试正式验证是正式的验证.系统设计系统设计时间自动机是定时自动机.值得信赖的数字教育

更多相关视频

Interactive and Visualized Online Experimentation System for Engineering Education and Research

Interactive and Visualized Online Experimentation System for Engineering Education and Research

Published on: November 24, 2021

Design to Implementation Study for Development and Patient Validation of Paper-Based Toehold Switch Diagnostics

Design to Implementation Study for Development and Patient Validation of Paper-Based Toehold Switch Diagnostics

Published on: June 17, 2022

相关概念视频

Reliability and Validity

Reliability and Validity

Reliability and validity are two important considerations that must be made with any type of data collection. Reliability refers to the ability to consistently produce a given result. In the context of psychological research, this would mean that any instruments or tools used to collect data do so in consistent, reproducible ways.

Data Validation

Data Validation

Method validation is a crucial process in analytical chemistry designed to confirm that a given method consistently produces reliable and high-quality results. This process is essential when a method is applied to different sample matrices or when procedural modifications are made, ensuring that the results meet acceptable standards across various applications.
Key parameters for method validation include:

Surveys

Surveys

Often, psychologists develop surveys as a means of gathering data. Surveys are lists of questions to be answered by research participants, and can be delivered as paper-and-pencil questionnaires, administered electronically, or conducted verbally. Generally, the survey itself can be completed in a short time, and the ease of administering a survey makes it easy to collect data from a large number of people.