软件Markov测试的使用链及测试充分性研究
曹鹏1
罗自强2
1.海军工程大学管理科学工程系,武汉,4300332.海军工程大学文理学院,武汉,430033
摘要：基于有限Markov链理论,形式化的描述了软件统计测试,提出了一种频率计数算法,它能够同时解决软件Markov测试中存在的两个难题:1.建立精确的使用链(或用户剖面);2.确定满足测试充分性的最优用例数.算例表明该算法是十分有效的.
关键词：Markov测试使用链测试充分性
分类号：TP311(计算技术、计算机技术)
论文发表日期：2004-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：4( 69-72 )
英文信息