A Review of Software Reliability Testing Techniques

被引：0
作者：
Jiang Z. [1 ]
Li H. [1 ]
Wang R. [1 ]
Zhang J. [1 ]
Li X. [1 ]
Zhang M. [1 ]
Wang P. [1 ]
机构：
[1] Jiang, Zhouxian
[2] Li, Honghui
[3] Wang, Rui
[4] Zhang, Junwen
[5] Li, Xiuru
[6] Zhang, Meng
[7] Wang, Penghao
来源：
Jiang, Zhouxian (zhouxianjiang@bjtu.edu.cn) | 1600年 / University of Zagreb, Faculty of Political Sciences卷 / 28期
关键词：
evaluation methods; intelligent software; software reliability; test framework; test methods;
D O I：
10.20532/cit.2020.1005155
中图分类号：
学科分类号：
摘要：
In the era of intelligent systems, the safety and reliability of software have received more attention. Software reliability testing is a significant method to ensure reliability, safety and quality of software. The intelligen software technology has not only offered new opportunities but also posed challenges to software reliability technology.The focus of this paper is to explore the software reliability testing technology under the impact of intelligent software technology. In this study, the basic theories of traditional software and intelligent software reliability testing were investigatedvia related previous works, and a general software reliability testing framework was established. Then, the technologies of software reliability testing were analyzed, including reliability modeling, test case generation, reliability evaluation, testing criteria and testing methods. Finally, the challenges and opportunities of software reliability testing technology were discussed at the end of this paper. © 2020, Journal of Computing and Information Technology. All Rights Reserved.
引用
收藏
页码：147 / 164
页数：17
相关论文
共 148 条
  • [31] Garg S., Et al., Analysis of Software Rejuvena-tion Using Markov Regenerative Stochastic Petri Net', Proc. of the International Symposium on Software Reliability Engineering, (1995)
  • [32] Bowen J. P., Et al., ZUM '98: The Z Formal Spec-ification Notation, (1998)
  • [33] Jiang Z., Et al., An Improved Reliability Testing Model Based on SOFL, (2017)
  • [34] Maurer P. M., The Design and Implementation of a Grammar-Based Data Generator, Software-Practice and Experience, 22, 3, pp. 223-244, (1992)
  • [35] Li X., Et al., Consistency Checking of UML Re-quirements, Proc. of the 10th IEEE Interna-tional Conference on Engineering of Complex Computer System, pp. 411-420, (2005)
  • [36] Lohmann M., Et al., Executable Visual Con-tracts, Proc. of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computin, pp. 63-70, (2005)
  • [37] Tian X., Et al., Web Service Reliability Test Method Based on Log Analysis, Proc. of the 2017 IEEE International Conference on Software Quality, Reliability and Security Companion, pp. 195-199, (2017)
  • [38] Johansson M., Olofsson T., Bayesian Model Selection for Markov, Hidden Markov, and Mul-tinomial Models, IEEE Signal Processing Let-ters, 14, 2, pp. 1291-132, (2007)
  • [39] Pievatolo A., Et al., A Bayesian Hidden Mar-kov Model for Imperfect Debugging, Reliabil-ity Engineering & System Safety, 103, pp. 11-21, (2012)
  • [40] Assoudou S., Essebbar B., A Bayesian Model for Markov Chains via Jeffrey's Prior, Commu-nications in Statistics -Theory and Methods, 32, 11, pp. 2163-2184, (2003)
12345678910