摘要
基于有限Markov链理论,形式化的描述了软件统计测试,提出了一种频率计数算法,它能够同时解决软件Markov测试中存在的两个难题1.建立精确的使用链(或用户剖面);2.确定满足测试充分性的最优用例数。算例表明该算法是十分有效的。
Based on Limited Markov Chains theories,formally describs statistical software testing,and presents a kind of frequency count method which addresses two hard nut to the Markov software testing simultaneously:1.establishing accurate user profiles(i.e. usage probabilities);2.incurring lengthy testing times which be sufficient for testing adequacy.The elgorithm synthesizes to consider the execution time,and calculates and example to express that method is extremely efficient.
出处
《舰船电子工程》
2004年第5期69-72,共4页
Ship Electronic Engineering
