Abstract
It is necessary to assess the reliability of distributed safety-critical systems to a high degree of confidence before they are deployed in the field. However, distributed safety-critical software systems often include some rarely executed critical functions that are often inadequately tested in statistical testing based reliability estimation. This paper presents a method that can accelerate statistical testing of distributed safety-critical software. The method starts with the derivation of scenario usage diagram model (SUD) from UML diagrams annotated with usage related attributes and reliability attributes. Then the statistical testing accelerating method based on importance sampling is presented. When both the critical scenarios and the entire software are adequately tested, the method can still compute the unbiased software reliability from the test results with much less test cases. Thus, the statistical testing cost of distributed safety-critical software can be reduced effectively.
This work is supported by National Natural Science Foundation of China under Grant No. 60233020 and No. 90104007, National Hi-Tech Program of China under Grant No. 2001AA113202 and No. 2001AA113190, and Huo Ying Dong Education Foundation under Grant No.71064.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Binder, R.: Testing Object-Oriented Systems. Addison-Wesley, Reading (1999)
Bruegge, B., Dutoit, A.H.: Object-Oriented Software Engineering: Conquering Complex and Changing Systems. Prentice-Hall, Englewood Cliffs (2000)
Butler, R.W., Finelli, G.B.: The Infeasibility of Quantifying the Reliability of Life-critical Real-time Software. IEEE Transactions on Software Engineering 19(1), 3–12 (1993)
Cheung, R.C.: A User-Oriented Software Reliability Model. IEEE Transactions on Software Engineering 6(2), 118–125 (1980)
Cortellessa, V., Singh, H., Cukic, B.: Early reliability assessment of UML based software models. In: Proc. Of the Third International Workshop on Software and Performance (WOSP 2002), Rome, pp. 302–309 (2002)
Gutjahr, W.J.: Software dependability evaluation based on Markov usage models. Performance Evaluation 40(4), 199–222 (2000)
Rumbaugh, J., Jcobson, I., Booch, G.: The Unified Modeling Language Reference Manual. Addison-Wesley, Reading (1999)
Kirkpatric, S., Gelatt, C.D., Vecchi, M.P.: Optimization by simulated annealing. Science 220(4598), 671–680 (1983)
Krishnamurthy, S., Mathur, A.P.: On the Estimation of Reliability of a Software System Using Reliabilities of its Components. In: Proc. Of the eighth International. Symposium of Software Reliability Engineering (ISSRE 1997), pp. 146–155 (1997)
Miller, K.W.: Estimating the Probability of Failure when Testing Reveals No Failures. IEEE Transactions on Software Engineering 18(1), 33–41 (1992)
Prowell, S.J., Trammell, C.J., Linger, R.C., Poore, J.H.: Cleanroom Software Engineering: Technology and Process. Addison-Wesley, Reading (1999)
Smith, P.J., Shafi, H., Gao, H.: Quick simulation: a review of importance sampling techniques in communication systems. IEEE Journal on Selected Areas in Communications 15(5), 597–613 (1997)
Yacoub, S., Cukic, B., Ammar, H.: Scenario-Based Reliability Analysis of Component-Based Software. In: Proc. of the 10th International Symposium of Software Reliability Engineering (ISSRE 1999), pp. 22–31 (1999)
Yan, J., Wang, J., Chen, H.W.: Automatic Generation of Markov Chain Usage Models from Real-time Software UML Models. In: Proc of 4th International Conference On Quality Software (QSIC 2004), Braunschweig, Germany, pp. 22–31 (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Yan, J., Wang, J., Chen, Hw. (2004). UML Based Statistical Testing Acceleration of Distributed Safety-Critical Software. In: Cao, J., Yang, L.T., Guo, M., Lau, F. (eds) Parallel and Distributed Processing and Applications. ISPA 2004. Lecture Notes in Computer Science, vol 3358. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30566-8_52
Download citation
DOI: https://doi.org/10.1007/978-3-540-30566-8_52
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-24128-7
Online ISBN: 978-3-540-30566-8
eBook Packages: Computer ScienceComputer Science (R0)