基于使用模型的嵌入式软件测试用例生成研究

摘要：

基于Markov链使用模型的软件统计测试是产生高效测试用例,实现软件可靠性定量评估的有效方法.介绍了基于使用模型的统计测试方法,论述了使用模型的概念和特点,以及从使用模型中可以计算出的静态参数和它们在统计测试和软件开发中所起的作用.提出Markov链使用模型用于嵌入式软件的测试,从理论上得到嵌入式软件的可靠性.具体阐述了嵌入式软件的Markov链使用模,型自动生成测试模型的方法.同时使用改进的Kullback判别式探讨测试的可靠性问题,从理论上证明了测试链到使用链收敛的必然性.理论分析和初步的实例证明该方法是可行的和有前途的.

关键词：Markov使用模型、嵌入式软件、测试用例生成

所属期刊栏目：20

分类号：TP311.5(计算技术、计算机技术)

资助基金：大连市信息产业IT专项基金DL20080243

在线出版日期：2010-06-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：92-95,99