High reliability testing method for real-time multitasking software

doi:10.3778/j.issn.1002-8331.2008.24.026

Computer Engineering and Applications ›› 2008, Vol. 44 ›› Issue (24): 90-94.DOI: 10.3778/j.issn.1002-8331.2008.24.026

• 研发、设计、测试 • Previous Articles Next Articles

High reliability testing method for real-time multitasking software

QIN Zhi-dong¹,LUO Xin¹,WANG Shao-yu¹,XIONG Guang-ze²

1.School of Computer Science and Technology，University of Donghua，Shanghai 201620，China
2.School of Computer Science and Engineering，University of Electronic Science and Technology，Chengdu 610054，China

Received:2008-05-26 Revised:2008-06-30 Online:2008-08-21 Published:2008-08-21
Contact: QIN Zhi-dong

实时多任务软件高可靠性测评方法

覃志东¹,罗辛¹,王绍宇¹,熊光泽²

1.东华大学计算机科学与技术学院，上海 201620
2.电子科技大学计算机科学与工程学院，成都 610054

通讯作者: 覃志东

Abstract

Abstract: In order to solve the problem that the classical reliability testing method，which treats the testing target software as a monolithic block，can’t satisfy the requirements of high reliability testing due to the long testing duration，a hierarchical reliability testing approach was provided in this paper based on the characteristics of real-time multitasking software.The method unified architecture-based system reliability modeling，maximum entropy principle and Bayesian inference.Numeral simulation shows that it is effective to reduce the testing duration without abating the confidence level for the testing results.

Key words: software reliability, software testing, reliability testing

摘要： 为了克服传统可靠性测试方法在验证高可靠性指标时测试持续期太长的困难，针对实时多任务软件的特点，提供了一种融基于体系结构的系统可靠性建模、最大熵原理、贝叶斯统计推断为一体的多级高可靠性测评方法。数值仿真表明，该方法在不降低验证测试置信水平的基础上，能有效缩短验证测试持续期。

关键词: 软件可靠性, 软件测试, 可靠性测试

QIN Zhi-dong¹,LUO Xin¹,WANG Shao-yu¹,XIONG Guang-ze². High reliability testing method for real-time multitasking software[J]. Computer Engineering and Applications, 2008, 44(24): 90-94.

覃志东¹,罗辛¹,王绍宇¹,熊光泽². 实时多任务软件高可靠性测评方法[J]. 计算机工程与应用, 2008, 44(24): 90-94.

[1]	TAN Lijuan, ZHENG Wei, LIU Youlin, FAN Xin, YANG Fengyu. Survey of Airborne Software Test and Verification Methods for Airworthiness Standards [J]. Computer Engineering and Applications, 2021, 57(15): 9-22.
[2]	LIU Youlin, ZHENG Wei, TAN Lijuan, FAN Xin, YANG Fengyu. Summary of Airborne Software Testing and Verification Tools for Airworthiness Standards [J]. Computer Engineering and Applications, 2021, 57(11): 1-10.
[3]	JING Tiancai, FANG Jinglong, WEI Dan. Research for Markov chain modeling based on UML [J]. Computer Engineering and Applications, 2018, 54(4): 60-65.
[4]	WANG Ying. Software testing with uncertain requirements [J]. Computer Engineering and Applications, 2018, 54(20): 35-41.
[5]	XUE Meng, JIANG Shujuan, WANG Rongcun. Systematic review of test data generation based on intelligent optimization algorithm [J]. Computer Engineering and Applications, 2018, 54(17): 16-23.
[6]	HE Haijiang. Software fault localization model based on linear classification algorithm [J]. Computer Engineering and Applications, 2017, 53(21): 42-48.
[7]	WANG Xinying1, JIANG Xiajun2. Generating test scenarios from UML activity diagram using hybrid genetic algorithm [J]. Computer Engineering and Applications, 2017, 53(1): 57-62.
[8]	ZHANG Ke, ZHANG Deping. Fault localization based on gene expression programming [J]. Computer Engineering and Applications, 2016, 52(9): 6-11.
[9]	FENG Lulu, DING Zuohua. Study to improve coverage-based fault localization based on discovery of coincidental correctness test cases [J]. Computer Engineering and Applications, 2015, 51(22): 252-257.
[10]	SHAO Mingzheng1, QI Jianfeng1, HAN Zhen2. Software reliability estimate method based on function-path [J]. Computer Engineering and Applications, 2015, 51(16): 265-270.
[11]	XUE Lixing, ZUO Decheng, ZHANG Zhan. Software reliability analysis model incorporating system calls and multiple failure modes [J]. Computer Engineering and Applications, 2014, 50(9): 5-11.
[12]	LIU Bo, LI Shuyu. Study of ISTREM software testing reliability evaluation method [J]. Computer Engineering and Applications, 2014, 50(22): 65-68.
[13]	ZHANG Yi, PAN Zhengjun. Method of constructing multi slice fault testing constrains based on optimal fusion set [J]. Computer Engineering and Applications, 2014, 50(20): 264-270.
[14]	SHI Zhu, ZHENG Zhong. Study and practice on applications of software reliability models [J]. Computer Engineering and Applications, 2013, 49(7): 52-54.
[15]	ZHANG Hao1, ZHAN Haiyan1, DENG Yuetang2, JIANG Ming3. Automatic fault localization with bitstream modification for H.264 decoders [J]. Computer Engineering and Applications, 2013, 49(19): 177-179.

High reliability testing method for real-time multitasking software

实时多任务软件高可靠性测评方法

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics