|
该论文提出了一种基于Object-Z与Markov链的校园卡系统测试用例生成方法。通过Object-Z形式化方法对系统进行建模，确保需求描述的准确性；利用Markov链模拟用户行为和系统状态转移，提高测试用例的覆盖率和有效性。研究旨在提升校园卡系统的可靠性与安全性，为复杂系统的测试提供理论支持与实践指导。 文档为pdf格式，0.36MB，总共5页。
- 文件大小:
- 368.64 KB
- 下载次数:
- 60
- 基于Object-Z与Markov链的校园卡系统测试用例 - 2011年江苏省人工智能学术会议.pdf ...
-
高速下载
| 
