[1] Michael R. Lyu. Handbook of software reliability engineering[M]. New York:IEEE Computer Society , 1996
[2] Bansal A, Pundir S. A. review on approaches and models proposed for software reliability testing[J]. International Journal of Computer & Communication Technology, 2013, 4(2): 7-9
[3] Xavier J, Macêdo A, Matias R, et al. A survey on research in software reliability engineering in the last decade[C]// Proc of the 29th Annual ACM Symp on Applied Computing. New York:ACM, 2014: 1190-1191
[4] Duran J W,Wiorkowski J J. Capture-recapture sampling for estimating software error content [J]. IEEE Trans on Software Engineering, 1981: 147-148
[5] Nathan I. A deteministric model to predict “error-free” status of complex software development [C]//Proc of Workshop on Quantitative Software Models for Software Reliability, Complexity and Cost: An Assessment of the State of the Art
[6] Musa J. Operational profiles in software-reliability engineering[J]. IEEE Software, 1993, 10(2): 14-32
[7] Littlewood B, Verrall J L. Likelihood function of a debugging model for computer software reliability [J].IEEE Trans on Reliability, 1981: 145-148
[8] Goel A L,Okumotu K. Time-dependent error detection rate model for software reliability and other performance measures [J]. IEEE Trans on Reliability, 1979: 206-211
[9] Renzuo Xu. The Testing Method Based on Software Knowledge [J]. Journal of Wuhan University:Natural Science Edition, 2000, 46(1):61-62
[10] de Santiago Junior V A, Vijaykumar N L. Generating model-based test cases from natural language requirements for space application software[J]. Software Quality Journal, 2012, 20(1): 77-143
[11] Stephen H Kan. Metrics and Models in Software Quality Engineering [M]. New York: Addison Wesley, 2003
[12] Covert R P, Philip G C. An EOQ model for items with Weibull distribution deterioration[J]. AIIE Transactions, 1973, 5(4): 323-326