[1] |
Lü Jianghua, Ma Shilong, Li Xianjun, et al. Formal semantics model for automatic test of safety[J].Journal of Software,2014,25(3):489505.(in Chinese)
|
[2] |
Li Zheng,Bian Yi,Zhao Ruilian,et al.A finegrained parallel multiobjective test case prioritization on GPU[J].Search Based Software Engineering Lecture Notes in Computer Science,2013,8084:111125.
|
[3] |
Castillos K C,Botella J.Scenario based test generation using test designer[C]∥Proc of the 4th IEEE International Conference on Software Testing,Verification and Validation Workshops,2011:7988.
|
[4] |
Zhao Xiuli,Niu Shuangcheng,Wang Ziling, et al.Research on a fault dictionary reasoning algorithm of the diagnosedrive test mode [J].Computer Engineering & Science,2012,34(6):7073.(in Chinese)
|
[5] |
Huang C Y,Lyu M R.Estimation and analysis of some generalized multiple changepoint software reliability models[J].IEEE Transactions on Reliability,2011,60(2):498514.doi:10.1109/TR.2011.2134350.
|
[6] |
Li Haifeng,Wang Shuanqi,Liu Chang, et al.Software reliability model considering both testing effort and testing coverage[J].Journal of Software,2013,24(4):749760.(in Chinese)
|
[7] |
Huang Long,Yang Yuhang,Li Hu.Research on algorithm of parameter pair wise and nway combinatorial coverage[J].Chinese Journal of Computers,2012,35(2):22572269.(in Chinese)
|
[8] |
Zhao Yiding, Liu Fenghua, Zheng Qiusheng, et al.Study on complementation of passive testing and active testing on simulation software[J].Computer Science,2012,39(12):125132.(in Chinese)
|
[9] |
Zhao Baohua,Guo Xionghui,Qian Lan, et al.On the problem of how to place the observers in passive testing[J].Journal of Computer Research and Development,2005,42(10):18151819.(in Chinese)
|
[10] |
Zhao Yiding, Zhang Xiguang, Li Zhimin, et al. A method of complementation of active testing and passive testing on simulation system:China,CN201210453195.6 [P].20141029.(in Chinese)
|
[11] |
Zhao Yiding,Li Zhimin,Fan Yinting.A method to estimate the parameters of a mathematical model for the simulation of industrial processes:China,CN201310045058.3 [P].2015422.(in Chinese)
|
|
附中文参考文献:
|
[1] |
吕江花,马世龙,李先军,等.安全苛刻系统自动化测试的形式化语义模型[J].软件学报,2014,25(3):489505.
|
[4] |
赵秀丽,牛双诚,王子玲,等.面向诊断驱动测试模式的故障字典推理算法研究[J].计算机工程与科学,2012,34(6):7073.
|
[6] |
李海峰,王栓奇,刘畅,等.考虑测试工作量与覆盖率的软件可靠性模型[J].软件学报,2013,24(4):749760.
|
[7] |
黄陇,杨宇航,李虎.参数配对及nway组合覆盖算法研究[J].计算机学报,2012,35(2):22572269.
|
[8] |
赵一丁,刘凤华,郑秋生,等.仿真软件的被动测试与主动测试互补的研究[J].计算机科学,2012,39(12):125132.
|
[9] |
赵保华,郭雄辉,钱兰,等.被动测试中观察者放置问题[J].计算机研究与发展,2005,42(10):18151819.
|
[10] |
赵一丁,张西广,李志民,等.一种针对仿真系统的主动被动混合测试方法:中国,CN201210453195.6 [P].20141029.
|
[11] |
赵一丁,李志民,樊银亭,等.一种工业过程仿真数学模型参数的估计方法:中国,CN201310045058.3 [P].2015422.
|