软件可靠性工程手册

所需积分/C币:35 2015-12-22 08:56:39 17.69MB PDF

软件可靠性工程手册(Handbook Of Software Reliabilty Engineering); 【作者】:(美)[M.R.柳]Michael R.Lyu主编; 刘喜成,钟婉懿等译
Computing McGraw-Hil HANDBOOK OF SOFTWARE RELIABILITY ENGINEERING 软件可靠性 工程手册 〔美eHA铁骤LYU主编 浏藏航婚等译 COMPUTER SOCIETYPRESS 電子工業出厥 PUBUSHING HOUSE OF ELECTRONICS INDUST 5)Y上 ARS OF SERⅤICE·1946-199 Url:http://www.phei.co.cn 软件可靠性工程手册 HANDBOOK OF SOFTWARE RELIABILITY ENGINEERING 〔美〕 Michael R.Iyu主编 刘喜成钟婉懿等译 / 電子工紫出版社 PUBLISHING HOUSE OF ELEGTRONICS INDUSTRY o .A1 tnformation About Current Software Reliablllty Estimation Tools ( Continued) Release data Program structure 256K 5.0 0et-93Oct-83 More than FORTRAN 77 X 5995 500K 1.0 May-88 May-88 Unknown foRTRAN 1.0 Jun-93 1987 UnknownC x Call Bellco 120K10|May-9tMay91|>200 X Free with 200K 1.0 May-91 1 May-91 Unknown Pascal FRee fall docu needs entatic in French) 8 MB 1.3 1994 1995Unknown FORTRAN 100 553 R A1 Informatlon About Current Software Reliability Estimatlon Tools m时 Naval Surface Dr william Farr w00 Cyber】70760,DEeM NSWCDD-B10 Muga baric DEC VAX MS DOS 8. 0 NSWC) 0)663-8888 Geometric Execution Time NhPP SMERFS) Generalized Musa/Okumot IBM PC MS DOS 3.0 Reliability Statistical Center for sofware Duane Consultants, Ltd gelin由 tiMor盘ndaM SRMP) don EC1VOHB, Bayesian JM lewd Keillerilitt]e Data &z Analysis DACS Goel/okumot IBM PC S DOS 2.11 (DACS) UticE. NY 13503 STM nications Dr. Sid Dalal Goel/Okumoto with Sun, HP, Dee UNIX Sy criteria N] 57960 (201)829-4292 AT&T SRE AT&T Bel Dr Michael lyu MG see a oooraLiieR oratories Musa/Okum running UNIX tem vor Murray Hill, N 07974 (908)582-5366 LAAS-CNRS 7, avenue du colonel tia coproceBBoT Rock Yanada s-gha 10T7 Toulouse Cedex 33)6L33623 NASA MB, KAren Newcomb Littlewooderrall BM PC MS-DOS 5.0 elinski-Morand Windows Nt Execution Time nhpp eerl记zedP%0D SShaped 552 [Wong93] Wong, WE,"On Mutation and Data Flow, "dissertation, available as Technical Report SERC-TR 49-P. Software er I Wrig86] Wright, N C., Dissimilar Software,"Workshopon Diversity in Action, Haden, Austria June 1986, see summary in Voge87b LWrig88] Wright, D.R.,"A Modified u-Plot applied to Failure Count Prediction, " Technical Report, Centre for oftware Reliability, City Ui LWrig93] Wright, D.R., Recalibrated Prediction of Some Software Failure Count Sequences, PDCS2 Project (ESPRIT Project 6362)First Year Report, chap 4, part 4.1, Centre for Software Reliabilit L Xie9la] Xie, M. Software Reliability Modeling, World Scientific Publishing Company, 1991 .Xie91b] Xie, M, and Zhao, M, On Some Reliability Growth Models with SxmpleGraphical Interpretations Institute of Technology, Linkoeping, Swoden, ISSN 0281-5001.1991 [ Xie93a Xie, M oftware Reliability Models A Selected Bibliography, "Jounal of oitware Testing Terification and Beliability, no. 3, 1993, pp. 32-8 [Kie男b] Xie,M.,and Zhao, M, "On Some Reliability Growth Models with Simple Graphical interpretations, Mtcroclectrorics and Reliability, Yol. 33, no. 2, 1993, pp. 149-167 Yamada, S, Ohba, M., and Osaki, S., SShuped Reliability Growth Modeling for Software error Detection. IEEE T on Reliabitity, vol R-32, no, 5, December 1983, pp. 475-478 and Osaki, S, Software Reliability Growth Modeling: Modelsand s,IEE SeI 1,no. 12. December 1985 14311437 [Yama86 Computer Programs, The Transactions of the IECE of Japan, wol. E69, no. 11, pp. 1217-1224, [Yame91] Yamada, S,, Tanio, Y, and Osaki, S, "Software Reliability Measurement and Assessment Method during Operational Phase and Their Comparisons, Transactions Inst. Electronic inf Communication Engineering, vol. J74-DI, March 1991, Pp. 240-248, in Japanese [Yau75] Yau, S.S., and Cheung, R.C.,"Design of Solf Checking Software, "Proceedings of the 1975 Yount, L.J., Use of Diversity in Boeing Airplanes, "Workshop on Design Diversity in Action Baden, Austria, June 1986 L] Yourdon, E., Modern Structured Analysis, Prentice Hall, Englewood Cliffs. 820 References [zave Zave, P, Feature Interactions and Formal Specifications in Telecommunications, "IEEE Computer, [Zinna] Zinnel, K.C., Using Software Reliability Growth Models to Guide Release Decisions,"Proceedings nf he 1990 International Symposium on Software Reliability Engineering, Washington, D. C., L 91] Zuse, H, Sofiware Complexity: Measures and Methods, Walter De Gruyter, New York. 1991 551 I Youl90b Youk, M. A, Paradkar, A, and McAilister, D,, "Modeling Execution Time ofMaIltistage N-Version Fault-Tolerant Software,"Proceedings COMPSAC 90, October 1990, pp. 505-511. Reprinted in Faulttoler Techniques and Applications, Hoang Pham ed ) IEEE △ ociety pres,1992 I Voul90c] Vouk, M. A, " Back-to-Back Testing, "Information and Sofiware tcchnology, vol. 32, no. 1, 1990, Vouk, M.A eliability Medels During Testing with Non Operational Profiles, Proceedings Second Workshop on lasues in SoftwareReltabtity Estimation, October 12-13, 1992, Bellcore LVouk]3a Vouk, M.A., Mealie F, Eckhardt, D, E, and K im, K,An Empirical Evaluation of Consensus Voting and Consensus Recovery Block Reliabilityin the Presence of Fail tre Creation Journal of Computer and Software Engineering, vol. 1. no. 4, 1993, pP. 367-388 [ Voul93b ouk, m. a K. C,Some lssues in Multiphase Software Reliability Modeling, dings CAsCoN 93, October 1993 L Wago73] Wagoner, W The Hinal Report on a Software Relzability Measunement Study, The Aerospace Corp.,EI Segundo, Calif, Report No. TOR-0074(4112)-1, August 15,1973 L Wall843 Wallace, J J, and Barmes, WW,Designing for Ultrahigh Availability: The Unix RTR Operating System, IEEE Computer, August 1984, pp. 3 1-39 L Wals85] Walsh, P.J., "A Measure of Test Case Completeness, "Ph. D. dissertation, State University of New I Wang93] Wang, Y.M.,Huang, Y, and Fuchs,wK Distributd Systems, Proceedings of the 23rd Intermational Sym Fault- Tolerant Computing L Wat 91 Watson , G. F in Cities: Bell Companie, Manufacturers Join to Cure Phone Outages, The instttute, EEE Press, September 1991, pp. 1 and 7 E,Software Quality Measurement Based on FaultDet Da,” EEE Thansactions Softw r194 L Weiqi] Wei,L,A Model based Suudy ofwokload influence on Computing SystemDependability, Ph. D I Weibs1] Weibull, W, " A Statistical Distrihntion Function of Wide application, "J Appl. Mech., vol. 18 1951,pp.293-297 B. Approach, Stanford University, TR Stanford-PDP-90-01, April 1990 I Wein90] Wein, A.S., and Sathaye, A, "Validating Complex Computer System Availability Models, "IEEE I Weiss Weiss, S.N., and Weyuker,EJ., An Extended sed Model of Software Reliability SF-14,no.12,1988 15121524 [We74 P,"Beyond Regression: New Tools for Prediction and Analysis inthe Behavioral Sciences W83] Williams, J F, Yount, L.J., and Flanningan, J.B., Advanced Autopil to Flight Director System outer Architecture for Boeing 737-300 Aircraft, "Proceedings of the sth Digital Avionics Systems L Wil189] Williams, R, and Zipser, D, "A Leaning Algorithn fur Continually Running Fully Recurrent Neural Networks, Meural computation, vol. 1, no. 2, 1989 550 T8a083] Tsao, M.M., and Siewiorek, D. P, "Trend Analysis on System Error Files, Proceedings of the 13th intermational Symposium on Fault Tolerant Computing, June 1983,pp. 116-119 [To86] Tso. K A, and Kelly, J. PJ Recovery in Multi Version Software Proceedings IFAC SMECOMP86, Sarlat, France, 1986, pp 35-41 To87] Tao, K S, and Avizienis, A., Community Error Recovery in N-Version Software: A with Experimentation, Proceedings ofthe 17th FaultTolerant Computing Symposium, 1987, pp. I Tukey, J. W, Exploratory Data Analysis, Addison Wesley, Reading, Mass, 1977 Tuner, d, B and Hecht, H Travel, IEEE Spectrum, vol. 24, no. 2, February 1987, pp 58-63 I Uem90] Uemura, M., Yamada, S, and Fujino, K, Software Reliability Method Application of delayed S. Shaped NHPP Model and Other Related Models, Intemational Symposium on Reliability and 467-472. L Upad863 Upadhyaya, S, and saluja, K,,A Watchdog Procesaor Based General Rolback Technique with Multiple Retries, IEEE Transactions on Software Engineering, vol. SE-12, 1986, pp. 87-95 [USAT93] USA TOday, April 15, 1993, Pp. 6B-7B a Vale88 Valette,V, An Environment for Software Relability Evaluation, Proceedings of software Engineering di lts applic LVale92 Valette,V, and Vallee, F, Software Quality Metrics in Space SystemB, Proceedings of the Third [ Vela843 Velardi, P, and lyer, R.K., A Study of Software Failures and Recovery in the mvs Operating System, IEEE Transactions on Cornputers, vol. C-33, no. 6, June 1984 sers Guide to a Computerized Implementation of the goel Okumoto Non-Homogeneous Poisson Process Software Reliahility Model, IiT Research Institute, Data Analysis Center for Software (DACS) 90002 November 1 20f nd FaultTolerant Systems, A. Avizienis, H Kopetz, and J -C. Laprie (eds ) springen verlag, Wien d New York, 1987 V吗ge,U,“ Flight Applications, ge87l],1987,p.87 L Voge 87c] Voges, U, "Use of Diversity in Experimental Reactor Safety Systems, "in[ Voge87a], 1987, pp 29 wouk Vouk, M. A. McAllister. D. F. and Tai, K,C.ldentification of comelated Failures of fault Tolerant Software Systems, in Proceedings COMPSAC85, 1985, pp. 437- 444 Vouk-86a Vouk, M A, McAilister, D F, and Tai, K c of the eff Randon Teating of Fault-Tolerant Sotware, Proceedings of the Workshop on Software Testing, Banff, Canada, IEEE CS Presa, July 1986, pp. 74-81 ouk86b] Vouk, M.A., Helsabeck, M L, Tai, K.C., and McAlister, D F, On Testing of Functionally Equivalent Components of Fault-Tolerant Software, Proceedings COMPSAC 86, 1986, pp. 414-419 IVouk88] Vouk, M A, " On Engineering of Fault-Tolerant Software, "10th Intemational at the ur cayt Voul9OaI Vouk, M. A, Caglayan, A.,Eckhardt, D.E., Kelly,J.,Knight,J,McAHister,D,and Walker, L,Analysis of Faults Detected in a Large-Scale Multiversion Software Develd Experiment, Proceedings DASC 90,1990,pp. 378-385 549 and Iyu, M.R., A Generalized Technique for IEEE Sofware, March 1996 L Tay1801 Taylor, D.J., Morgan, D.E., and Black, jP,"Redundancy in Data Structures: Improving Software Fault-Tolerance, IEEE Transactions on Sofiware Engineering, vol. SE-6, 1980, Pp. 585-594 [Thay783 Thayer, TA, Lipow, M., and Nelson, E. C, Software Reliability, North Holland Publishing I They91] Thevenod-Fosse P,"Software Validation by Means of Statistical Testing: Retrospect and Future Direction, Dependable Computing and FaultToler ant Systems, Vol. 4, A. Avizvienis and J-C. Laprie (eds), Springen Verlag, Wien, Anstria and New York, 1991 [Thn90】hmon,wE., and chelson,po.,“ On the Spe Software Reliability roceedings ofthe 1980 Anmual Reliability and Maintainability Symposium, IEEE, New York, 1980 P.379-383 Tian,J, and Lu,P,Measuring and Modeling Software Reliability: Data, Models, Tools, and a Support Environment, Technical Report, TR-74. 117, IBM Canada Laboratory, March 1993 P,“So Reliability Me 8e8 Commercial Software, Proceedings of the FourthInternational Symposium on Software Reliab enver Colo. November 36, 1993, pp. 253-260 Number of Residual Faults Based on the Hyper Geometric Distribution, IEEE Thansactions on Software Enginecring, vol SEr-15, no. 3, March 1989, pp. 345-355 ata,Y, and Yamamoto, M., Hyper-Geometric Distribution Model to 610-617 [Tohm91] Tohma, Y, Yamano, H, Ohba, M, and Jacoby, R., Parameter Estimation ofthe Hyper-Geometri Distribution Model for Real Test/ Debug Data,P,, oceedings ofthe 1991 IEEE Intemational Symposium Blocks, "IEEE Transactions on Software Engineerinorr, vol. 19, no. 11, 1993, Pp. 1071-10> L.A, Muppala,Ⅸ, and Trivedi,K.S.,“ Modelin Toy&5 Toy, WN., Modular Redundancy Concept, Problems and Solutions, EPRI Seminan Digital Control ault-'Tolerant Comput Scottsdale. Ari A General Theory of Software Reliability Modeling, IEEE Transactions on ReliabiLity, R-39, no. 1, 1990, pp. 92-96 [Trav871 Traverse, P, "AIRBUS and ATR System Architecture and Specification, "in[ vage87a], 1987, pp 95104 Cormputer Software Reliability: Mary State Markow Modeling Techniques,"Ph. D dissertation, Polrtechnic institute of Brooklyn, June, 1975 [Ti82] Trivedi, K.S., Probability and Statistics with Reliability, Queuzng, and Computer Science Applications, Prentice-Hall, Englewood Cliffs, New Jersey, 1982 L Triv2] Trivedi,KS, Muppala, JK, Woolel, S P, and Haverkort, B.R., Composite Performance and [] Troy, R, and Baluteau, C. Assessment of Software Quality for the Airbus A310 Antoctxatic Pilot Proceedings ofthe 15th International Symposium on Fault Tolerant Computing, Ann A rbor, Mich IEEE CS Press, June 1985, 438-443 548

...展开详情
试读 127P 软件可靠性工程手册

评论 下载该资源后可以进行评论 2

zhy_care 整个文件顺序反了
2020-02-03
回复
维特里奥斯 还不错,中文的看着舒服
2019-03-17
回复
img
thn_6

关注 私信 TA的资源

上传资源赚积分,得勋章
    最新推荐
    软件可靠性工程手册 35积分/C币 立即下载
    1/127
    软件可靠性工程手册第1页
    软件可靠性工程手册第2页
    软件可靠性工程手册第3页
    软件可靠性工程手册第4页
    软件可靠性工程手册第5页
    软件可靠性工程手册第6页
    软件可靠性工程手册第7页
    软件可靠性工程手册第8页
    软件可靠性工程手册第9页
    软件可靠性工程手册第10页
    软件可靠性工程手册第11页
    软件可靠性工程手册第12页
    软件可靠性工程手册第13页
    软件可靠性工程手册第14页
    软件可靠性工程手册第15页
    软件可靠性工程手册第16页
    软件可靠性工程手册第17页
    软件可靠性工程手册第18页
    软件可靠性工程手册第19页
    软件可靠性工程手册第20页

    试读已结束,剩余107页未读...

    35积分/C币 立即下载 >