[1]熊利 周宽久.基于使用模型的嵌入式软件测试用例生成研究[J].计算机技术与发展,2010,(05):92-95.
　XIONG Li,ZHOU Kuan-jiu.Research of Embedded Software Generation of Test Cases Based on Usage Model[J].,2010,(05):92-95.
点击复制

基于使用模型的嵌入式软件测试用例生成研究()
分享到：

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:
期数:
2010年05期
页码:
92-95
栏目:
智能、算法、系统工程
出版日期:
1900-01-01

文章信息/Info

Title:
Research of Embedded Software Generation of Test Cases Based on Usage Model
文章编号:
1673-629X（2010）05-0092-04
作者:
熊利 周宽久
大连理工大学软件学院嵌入式系统工程系
Author(s):
XIONG Li; ZHOU Kuan-jiu
Dept.of Embedded Systems Eng.,Sch.of Software,Dalian Univ. of Techn.
关键词:
Markov使用模型; 嵌入式软件; 测试用例生成
Keywords:
Markov chain usage model;  embedded software;  generation of test cases
分类号:
TP311.5
文献标志码:
A
摘要:
基于Markov链使用模型的软件统计测试是产生高效测试用例,实现软件可靠性定量评估的有效方法。介绍了基于使用模型的统计测试方法,论述了使用模型的概念和特点,以及从使用模型中可以计算出的静态参数和它们在统计测试和软件开发中所起的作用。提出Markov链使用模型用于嵌入式软件的测试,从理论上得到嵌入式软件的可靠性。具体阐述了嵌入式软件的Markov链使用模,型自动生成测试模型的方法。同时使用改进的Kullback判别式探讨测试的可靠性问题,从理论上证明了测试链到使用链收敛的必然性。理论分析和初步的实例证明该方
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 u

相似文献/References:

[1]程广河 郝凤琦 张让勇 韩路跃 罗旋 任绪才.嵌入式环境中的软件构件化研究[J].计算机技术与发展,2007,(09):139.
　CHENG Guang-he,HAO Feng-qi,ZHANG Rang-yong,et al.Research of Software Component for Embedded Environment[J].,2007,(05):139.
[2]王蕾.嵌入式火控软件时间性能测试[J].计算机技术与发展,2014,24(03):250.
　WANG Lei.Test of Embedded Fire Software Time Performance[J].,2014,24(05):250.
[3]赵正旭,梅成芳,张强.嵌入式软件静态测试方法研究[J].计算机技术与发展,2019,29(03):64.[doi:10.3969/ j. issn.1673-629X.2019.03.013]
　ZHAO Zheng-xu,MEI Cheng-fang,ZHANG Qiang.Research on Static Testing Method of Embedded Software[J].,2019,29(05):64.[doi:10.3969/ j. issn.1673-629X.2019.03.013]

备注/Memo

备注/Memo:
大连市信息产业IT专项基金（DL20080243）熊利（1983-），男，硕士研究生，研究方向为嵌入式系统；周宽久，博士，副教授，硕士生导师．CCF高级会员，研究方向为可信嵌入式系统、嵌入式系统应用。
更新日期/Last Update: 1900-01-01