| 基于使用模型的嵌入式软件测试用例生成研究 |
| |
| 引用本文： | 熊利,周宽久.基于使用模型的嵌入式软件测试用例生成研究[J].微机发展,2010(5):92-95,99. |
| |
| 作者姓名： | 熊利 周宽久 |
| |
| 作者单位： | 大连理工大学软件学院嵌入式系统工程系; |
| |
| 基金项目： | 大连市信息产业IT专项基金(DL20080243) |
| |
| 摘 要： | 基于Markov链使用模型的软件统计测试是产生高效测试用例,实现软件可靠性定量评估的有效方法。介绍了基于使用模型的统计测试方法,论述了使用模型的概念和特点,以及从使用模型中可以计算出的静态参数和它们在统计测试和软件开发中所起的作用。提出Markov链使用模型用于嵌入式软件的测试,从理论上得到嵌入式软件的可靠性。具体阐述了嵌入式软件的Markov链使用模,型自动生成测试模型的方法。同时使用改进的Kullback判别式探讨测试的可靠性问题,从理论上证明了测试链到使用链收敛的必然性。理论分析和初步的实例证明该方法是可行的和有前途的。
|
| 关 键 词： | Markov使用模型 嵌入式软件 测试用例生成 |
Research of Embedded Software Generation of Test Cases Based on Usage Model |
| |
| XIONG Li,ZHOU Kuan-jiu.Research of Embedded Software Generation of Test Cases Based on Usage Model[J].Microcomputer Development,2010(5):92-95,99. |
| |
| Authors: | XIONG Li ZHOU Kuan-jiu |
| |
| Affiliation: | XIONG Li,ZHOU Kuan-jiu (Dept.of Embedded Systems Eng.,Sch.of Software,Dalian Univ. of Techn.,Dalian 116622 China) |
| |
| Abstract: | Statistical software testing based on the use of Markov chain model,is effective approach which can produce test case and implement the evaluation of software reliability quantitatively.Statistical testing based on a usage model as well as properties of usage model is introduced in this paper.The statistical theory is used on embedded software test to obtain the reliability of the embedded software theoretically.The paper also introduced how to automatically generated test case from the Markov chain usage m... |
| |
| Keywords: | Markov chain usage model embedded software generation of test cases |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
