基于不变量的软件可靠性计算

传统模型采用静态的失效数据评估软件的可靠性往往不够准确,为此提出一种基于不变量的可靠性计算方法。通过Daikon不变量工具收集失效不变量,依据函数调用关系图消除冗余,再输入Nelson模型进行可靠性计算。对西门子程序包中的28个错误程序进行了实验,计算不变量约简前后的可靠性,实验结果表明,基于不变量的可靠性计算方法约简后计算得到的可靠性结果较约简前平均提升50.502%,其中print_tokens2的最小方差可达到0,数据波动小。该方法将程序不变量作为失效数据,进一步完善了现有的可靠性评估技术。

基于Web的在线考试系统设计与实现

在教学日程中,考试是至关重要的一个环节。教师在考试中检验教学质量,学生在考试中裨补缺漏。教师在过去的教学中,考试一般需要经过出题、审卷、组织考试、刻印试卷、考生考试、阅卷、成绩核查和发布等过程。随着远程教育的兴起,广泛用于在线教育网站的在线考试系统也逐渐开始应用于高校课程的考核中。本文主要设计和开发在线考试系统,旨在帮助教师基于需求组卷和调整试卷,完成自动阅卷、成绩统计。与一般在线考试系统不同,除关键考试功能外,系统设计共享教学资源、班级管理、试题维护等功能,帮助教师和学生了解教学成果,提升教学效率。系统真正实现无纸化考试,保证考试公正性。其自动组卷、阅卷等功能也极大地减轻教师工作量。