Page 204 - 《软件学报》2020年第9期

张策 等:可靠性模型中故障检测率研究述评 2825

[6] 张策,孟凡超,崔刚,等.SRGM 中 TE 建模机制与模型比较分析.哈尔滨工业大学学报,2015,47(5):32−39. [doi: 10.11918/j.issn.
0367-6234.2015.05.006]
[7] 张策,孟凡超,万锟,等.SRGM 建模类别与性能分析.哈尔滨工业大学学报,2016,48(8):171−178. [doi: 10.11918/j.issn.0367-6234.
2016.08.029]
[9] 刘宏伟,杨孝宗,曲峰,等.一个基于响铃形故障检测率函数的软件可靠性增长模型.计算机学报,2005,28(5):908−913. [doi:
10.3321/j.issn:0254-4164.2005.05.020]
[12] 许家俊,姚淑珍.软件可靠性增长模型的不确定性量化研究.软件学报,2017,28(7):1746−1758. http://www.jos.org.cn/1000-9825/
5108.htm [doi: 10.13328/j.cnki.jos.005108]
[13] 王金勇,张策,米晓萍,等.Weibull 分布引进故障的软件可靠性增长模型.软件学报,2019,30(6):1759−1777. http://www.jos.org.cn/
1000-9825/5427.htm [doi: 10.13328/j.cnki.jos.005427]
[30] 徐仁佐.软件可靠性工程.北京:清华大学出版社,2007.18−20.
[34] 王金勇,吴智博,舒燕君,等.故障检测率不规则变化的软件可靠性模型.软件学报,2015,26(10):2465−2484. http://www.jos.org.cn/
1000-9825/4746.htm [doi: 10.13328/j.cnki.jos.004746]
[56] 李海峰,李秋英,陆民燕.考虑 S 型测试工作量函数与不完美排错的软件可靠性模型.哈尔滨工程大学学报,2011,32(11):
1460−1467. [doi: 10.3969/ j.issn.1006-7043.2011.11.012]
[57] 李秋英,李海峰,陆民燕,等.基于 S 型测试工作量函数的软件可靠性增长模型.北京航空航天大学学报,2011,37(2):149−154. [doi:
10.13700/j.bh.1001-5965.2011.02.025]
[58] 李海峰,李秋英,陆民燕.基于 Logistic 测试覆盖率函数的软件可靠性建模研究.计算机研究与发展,2011,48(2):232−240.
[59] 李海峰,王学成,李秋英,等.考虑不完美排错的 Logistic 测试覆盖率软件可靠性模型.计算机研究与发展,2010,47(增刊):216−223.
[60] 李海峰,王栓奇,刘畅,等.考虑测试工作量与覆盖率的软件可靠性模型.软件学报,2013,(4):749−760. http://www.jos.org.cn/1000-
9825/4257.htm [doi: 10.3724/SP.J.1001.2013.04257]
[84] 谢景燕,安金霞,朱纪洪.考虑不完美排错情况的 NHPP 类软件可靠性增长模型.软件学报,2010,21(5):942−949. http://www.jos.
org.cn/1000-9825/3539.htm [doi: 10.3724/SP.J.1001.2010.03539]

张策(1978－),男,博士,副教授,CCF 专业 王金勇(1974－),男,博士,副教授,主要研
会员,主要研究领域为软件测试,软件可靠 究领域为软件可靠性.
性建模与评估,容错计算,可信计算.

刘宏伟(1971－),男,博士,教授,博士生导 吕为工(1967－),男,副教授,主要研究领域
师,CCF 高级会员,主要研究领域为计算机 为物联网,嵌入式系统,分布式人工智能.
体系结构,容错计算机设计方法,云计算系
统资源分配与优化,云计算系统评测技术
与理论,软件可靠性建模.

白睿(1999－),女,学士,主要研究领域为软 孟凡超(1974－),男,博士,副教授,CCF 高
件可靠性建模与评测. 级会员,主要研究领域为服务计算,云计
算,软件工程,软件体系结构.

王瞰宇(1999－),男,学士,主要研究领域为
分布计算,可信计算与信息安全.