【摘 要】
：
基于使用模型的统计测试是统计方法在净室软件测试上的一种应用.本文根据马可夫理论建立银行凭证系统的使用模型,并对基于状态转移矩阵和激励矩阵的马可夫链表示模型进行定量
论文部分内容阅读
基于使用模型的统计测试是统计方法在净室软件测试上的一种应用.本文根据马可夫理论建立银行凭证系统的使用模型,并对基于状态转移矩阵和激励矩阵的马可夫链表示模型进行定量分析.通过比较该模型使用链和测试链之间的差异度,结合定量分析方法为自动化测试的充分性证明提供依据;采用discriminant值和测试人员的基准经验数据,提高软件自动化验证效率,结果表明该方法具有较好的测试收敛性.
其他文献
以福建省海洋污染基线调查所得近岸各水域水体沉积物中油含量数据为依据 ,对福建省沿岸水体与沉积物中油类的分布进行研究 .结果表明 ,调查期间 ,福建省沿岸水体油的含量范围
选取我院微创手术治疗的370例小儿疝气患者作为观察组,另选同期行传统手术治疗的170例小儿疝气患者作为对照组。观察并比较两组患儿手术的时间、术后的住院天数、术中的出血
回归生活理念是义务教育思想品德课程标准(2011年版)的重要理念和重要特征之一。新修订的课标在课程性质、课程特性、课程内容与实施建议上更能体现回归生活的理念。转变教学
<正>笔者长期在中学一线承担竞赛主教练的工作,因此对《数学通报》中的数学问题栏目尤其偏爱,于是养成一个习惯,对其每一期中的每一个数学问题都进行推理,然后期盼对照下一期
课堂是师生情感交流碰撞的舞台,在体育课堂教学中,应推进阳光评价理念进学科、进课堂。教师适宜的课堂评价语言能推动教学过程的顺利进行,更能激发学生的学习热情。阳光评价
<正>一、缘起:我们需要怎样的"集体备课"?在很长一段时间里,我们在业务管理上普遍存在只重形式,只抓表面,不注重过程、不注重实效的情况。推行"集体备课"开始一段时间,老师们
"课改"的重心是构建适应学生生存和发展需要的课程体系,而不是"改课"。一线教师是"改课"的主角,而非"课改"的主体。不是"课改"一定要"改课"而是"改课"一定要"课改"。
高职院校教师在目前的发展中表现出极大的滞后性,尤其是在教师的先进性方面有待提高,教师队伍整体缺乏专业化。目前我国的高职院校教师整体专业素质不高,同时在实际的教学能
优化小学数学教学,可尝试以"贴近认知基础"为切入点,培养数学思维能力;以"研读教材文本"为切入点,发展数学思维能力;以"积累活动经验"为切入点,提升数学思维能力。
讨论了网络负载平衡集群系统下,基本的平衡算法和动态负载平衡机制。在LVS的基础上配合轮询算法实现了集群的动态负反馈机制,给出了一个基本的动态平衡模型并加以分析。