Test Case Generator for Campus-wide Card System Based on Object-Z and Markov

ZHONG Xiao-min; HOU Jian-hua; YANG Chang-qing

Chinese

您当前的位置：

首页 >

文章列表页 >

Test Case Generator for Campus-wide Card System Based on Object-Z and Markov

更新时间：2026-09-04

- Test Case Generator for Campus-wide Card System Based on Object-Z and Markov
- Vol. 29, Issue 3, Pages: 73-77(2012)
- 作者机构：
  
  1. 1 淮海工学院计算机工程学院,江苏,连云港,222005
  2. 2 淮海工学院机构理学院,江苏,连云港,222005
- 作者简介：
- 基金信息：
- DOI：
  CLC：
- Published：2012
- 稿件说明：
移动端阅览
仲晓敏, 侯建花, 杨长青. 基于Object-Z与Markov链的校园卡系统测试用例[J]. 微电子学与计算机, 2012, 29(3): 73-77.

ZHONG Xiao-min, HOU Jian-hua, YANG Chang-qing. Test Case Generator for Campus-wide Card System Based on Object-Z and Markov[J]. 2012, 29(3): 73-77.
仲晓敏, 侯建花, 杨长青. 基于Object-Z与Markov链的校园卡系统测试用例[J]. 微电子学与计算机, 2012, 29(3): 73-77. DOI：

ZHONG Xiao-min, HOU Jian-hua, YANG Chang-qing. Test Case Generator for Campus-wide Card System Based on Object-Z and Markov[J]. 2012, 29(3): 73-77. DOI：

摘要

针对提高校园卡系统准确性和可靠性测试的要求

提出了Object-Z与Markov链结合的测试用例自动生成算法.使用Object-Z对系统进行形式化规约

生成测试场景和操作顺序图;将操作顺序图转换为Markov链使用模型;根据测试场景和Markov链使用模型生成数量相对合理的测试用例.该方法无需对系统进行运行

在需求分析与测试阶段就能对系统的功能进行测试.生成的校园卡系统测试用例证明该方法是有效的

并且在提高测试覆盖率的同时

使用Markov链也能保证对系统的可靠性测试.

Abstract

For improving the accuracy and reliability of the Campus card system test requirement

test cases generator based on Object-Z and Markov chain is proposed in this paper.The formal specification of the system is gained by using Object-Z

then test scenarios and operation sequence diagrams are generated.Operation sequence diagrams are converted into a Markov chain usage model.According to the test scenarios and the Markov chain model to produce a relatively reasonable amount of test cases.The method dont need to run the system

and could be able to test the functionality of the system in the time of requirements analysis.The results of generated test cases for campus-wide card system show the method is effective

and using the Markov chain ensures the reliability of the system test.

关键词

Keywords

references

Views

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Design of ultra-low power real-time clock circuits

Aerial vehicle detection algorithm based on multi-scale fusion and small-object enhancement

Research on the design of blockchain-based AI-generated content traceability framework

Simulation on the DC characteristics of double heterojunction p-GaN HEMT with AlN/GaN hybrid buffer layer

Monte carlo analysis of V-layout trench SiC neutron detector

Related Author

No data

Related Institution

No data

AI问答

Postal code：100079
Tel：（010）53879206 Email：tmw@bjxintong.com.cn
Technical support is provided by Beijing Founder electronics co., LTD 京ICP备09082226号-64 京公网安备11010602201714号
It is recommended to read the content of this site in Chrome&IE9+. Please switch to extreme mode in browser 360.
Cookies We use cookies to help provide and enhance our service and tailor content. By continuing, you agree to the use of cookies.

⁰