Software reliability: measurement, prediction, application
Software reliability: measurement, prediction, application
Handbook of software reliability engineering
Handbook of software reliability engineering
Evaluating Testing Methods by Delivered Reliability
IEEE Transactions on Software Engineering
Inference of message sequence charts
Proceedings of the 22nd international conference on Software engineering
Architecture-based approach to reliability assessment of software systems
Performance Evaluation
Early reliability assessment of UML based software models
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
Operational Profiles in Software-Reliability Engineering
IEEE Software
Synthesis of Behavioral Models from Scenarios
IEEE Transactions on Software Engineering
Towards Dependability Modeling of FT-CORBA Architectures
EDCC-4 Proceedings of the 4th European Dependable Computing Conference on Dependable Computing
Structural models for software reliability prediction
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Reliability Simulation of Component-based Software Systems
ISSRE '98 Proceedings of the The Ninth International Symposium on Software Reliability Engineering
Scenario-Based Reliability Analysis of Component-Based Software
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
A Bayesian Approach to Reliability Prediction and Assessment of Component Based Systems
ISSRE '01 Proceedings of the 12th International Symposium on Software Reliability Engineering
A Model Driven Approach for Software Systems Reliability
Proceedings of the 26th International Conference on Software Engineering
Incremental elaboration of scenario-based specifications and behavior models using implied scenarios
ACM Transactions on Software Engineering and Methodology (TOSEM)
A User-Oriented Software Reliability Model
IEEE Transactions on Software Engineering
LTSA-MSC: tool support for behaviour model elaboration using implied scenarios
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Stochastic dependability analysis of system architecture based on UML models
Architecting dependable systems
Sensitivity analysis for a scenario-based reliability prediction model
WADS '05 Proceedings of the 2005 workshop on Architecting dependable systems
Web service orchestration and verification using MSC and CP nets
Proceedings of the 2007 ACM symposium on Applied computing
Reliability Analysis of Concurrent Systems Using LTSA
ICSE COMPANION '07 Companion to the proceedings of the 29th International Conference on Software Engineering
Early quality monitoring in the development of real-time reactive systems
Journal of Systems and Software
Towards accurate probabilistic models using state refinement
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
An execution-level component composition model based on component testing information
CBSE'07 Proceedings of the 10th international conference on Component-based software engineering
Path-based error propagation analysis in composition of software services
SC'07 Proceedings of the 6th international conference on Software composition
SHARP: a scalable approach to architecture-level reliability prediction of concurrent systems
Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems
Probabilistic automata for architecture-based reliability assessment
Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems
Using implied scenarios in security testing
Proceedings of the 2010 ICSE Workshop on Software Engineering for Secure Systems
RESISTing reliability degradation through proactive reconfiguration
Proceedings of the IEEE/ACM international conference on Automated software engineering
Dependability analysis in the Ambient Assisted Living Domain: An exploratory case study
Journal of Systems and Software
Reliability prediction in model-driven development
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Component based e-learning system using item analysis
Edutainment'06 Proceedings of the First international conference on Technologies for E-Learning and Digital Entertainment
Architecture-level reliability prediction of concurrent systems
ICPE '12 Proceedings of the 3rd ACM/SPEC International Conference on Performance Engineering
Model-based verification of quantitative non-functional properties for software product lines
Information and Software Technology
Hi-index | 0.00 |
Scenarios are a popular means for capturing behavioural requirements of software systems early in the lifecycle. Scenarios show how components interact to provide system level functionality. If component reliability information is available, scenarios can be used to perform early system reliability assessment. In this paper we present a novel automated approach for predicting software system reliability. The approach involves extending a scenario specification to model (1) the probability of component failure, and (2) scenario transition probabilities derived from an operational profile of the system. From the extended scenario specification, probabilistic behaviour models are synthesized for each component and are then composed in parallel into a model for the system. Finally, a user-oriented reliability model described by Cheung is used to compute a reliability prediction from the system behaviour model. The contribution of this paper is a reliability prediction technique that takes into account the component structure exhibited in the scenarios and the concurrent nature of component-based systems. We also show how implied scenarios induced by the component structure and system behaviour described in the scenarios can be used to evolve the reliability prediction.