|
个人信息Personal Information
教授
博士生导师
硕士生导师
任职 : 大连理工大学软件评测中心主任
性别：男
毕业院校：哈尔滨工业大学
学位：博士
所在单位：软件学院、国际信息与软件学院
学科：软件工程. 计算机系统结构
办公地点：开发区校区综合楼409
联系方式：zhoukj@dlut.edu.cn 13804248599
电子邮箱：zhoukj@dlut.edu.cn
扫描关注
基于使用模型的嵌入式软件测试用例生成研究
点击次数：
论文类型：期刊论文
发表时间：2010-05-10
发表刊物：计算机技术与发展
收录刊物：ISTIC
卷号：20
期号：5
页面范围：92-95,99
ISSN号：1673-629X
关键字：Markov使用模型;嵌入式软件;测试用例生成
摘要：基于Markov链使用模型的软件统计测试是产生高效测试用例,实现软件可靠性定量评估的有效方法.介绍了基于使用模型的统计测试方法,论述了使用模型的概念和特点,以及从使用模型中可以计算出的静态参数和它们在统计测试和软件开发中所起的作用.提出Markov链使用模型用于嵌入式软件的测试,从理论上得到嵌入式软件的可靠性.具体阐述了嵌入式软件的Markov链使用模,型自动生成测试模型的方法.同时使用改进的Kullback判别式探讨测试的可靠性问题,从理论上证明了测试链到使用链收敛的必然性.理论分析和初步的实例证明该方法是可行的和有前途的.