基于Object-Z与Markov链的校园卡系统测试用例

摘要：

　　针对提高校园卡系统准确性和可靠性测试的要求，提出了Object-Z与Markov链结合的测试用例自动生成算法。使用Object-Z对系统进行形武化规约，生成测试场景和操作顺序图；将操作顺序图转换为Markov链使用模型；根据测试场景和Markov链使用模型生成数量相对合理的测试用例。该方法无需对系统进行运行，在需求分析与测试阶段就能对系统的功能进行测试。生成的校园卡系统测试用例证明该方法是有效的，并且在提高测试覆盖率的同时，使用Markov链也能保证对系统的可靠性测试。

关键词： 校园卡系统 测试用例 测试场景 Markov链 使用模型

作者: 仲晓敏 侯建花 杨长青

作者单位: 淮海工学院计算机工程学院,江苏 连云港 222005 淮海工学院理学院,江苏 连云港 222005

会议类型: 国内会议

会议名称: 2011年江苏省人工智能学术会议

会议地点: 徐州

会议语种:中文

页码: 73-77

在线出版日期: 2011-10-22（万方平台首次上网日期，不代表论文的发表时间）