Concurrent programming in ERLANG (2nd ed.)
Concurrent programming in ERLANG (2nd ed.)
Buffering and caching in large-scale video servers
COMPCON '95 Proceedings of the 40th IEEE Computer Society International Conference
Scenario-Based Reliability Analysis of Component-Based Software
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
Research on Model and Scheduling Algorithm for Double-Mode VoD Servers
ICCNMC '03 Proceedings of the 2003 International Conference on Computer Networks and Mobile Computing
Dynamic Buffer Allocation in Video-on-Demand Systems
IEEE Transactions on Knowledge and Data Engineering
Automatic Generation of Markov Chain Usage Models from Real-Time Software UML Models
QSIC '04 Proceedings of the Quality Software, Fourth International Conference
A cost comparison of distributed and centralized approaches to video-on-demand
IEEE Journal on Selected Areas in Communications
Hi-index | 0.00 |
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.