A Reliability Analysis Framework for Domain Software Based on Degree Model

Abstract:

For the reliability analysis of domain software researching to present a comprehensive reliability analysis method of domain software based on evidence,and to establish the working framework. To form reliability evidence through analyzing and measuring the evidence that collecting from the software lifecycle, and to build up a evaluation mode to expression the reliability requirements;to define reliability degree and mapping method based on evaluation mode, and to describe software reliability by reliability degree; to analysis modeling the reliability based on formal methods, as well as to verification and validation models. The method combined of informal evaluation and formal analysis modeling has good maneuverability and good practicability. It can describe the reliability of domain software clearly, and provide support for constructing complete formal high reliability software.

• Periodical: Advanced Materials Research (Volumes 765-767)
• Pages: 1151-1154
• DOI: https://doi.org/10.4028/www.scientific.net/AMR.765-767.1151
• Online since: September 2013
• Authors: Wu Cheng Wang, Tie Bao, Lu Han, Shu Fen Liu, Qu Chen
• Keywords: Degree Model, Software Engineering, Software Reliability, Working Framework

References

[1] C.A.R. Hoare. Viewpoint Retrospective: An Axiomatic Basis for Computer Programming [J]. Communications of the ACM. 2009 52: 30-32.

[2] Holzworth DP., Huth NI., and DeVoil PG. Simple software processes and tests improve the reliability and usefulness of a model [J]. Environmental modelling & software. 2011 26: 510-516.

DOI: 10.1016/j.envsoft.2010.10.014

[3] Bjorner D. Role of Domain Engineering in Software Development Why Current Requirements Engineering Is Flawed [J]. Perspectives of systems informatics. 2010 5947: 2-34.

[4] El Fallah-Seghrouchni A., Gomez-Sanz JJ., and Singh MP. Formal Methods in Agent-Oriented Software Engineering [J]. Agent-oriented software engineering. 2011 6038: 213-228.

DOI: 10.1007/978-3-642-19208-1_15

[5] Fujii T., Dohi T. Towards Quantitative Software Reliability Assessment in Incremental Development Processes [J]. 33rd International conference on software engineering. 2011: 41-50.

DOI: 10.1145/1985793.1985800

[6] Ryu SH., Casati F., Skogsrud H. Supporting the dynamic evolution of Web service protocols in service-oriented architectures [J]. ACM transactions on the Web. 2011 2: 213-228.

DOI: 10.1145/1346337.1346241

[7] Palviainen M., Evesti A., and Ovaska E. The reliability estimation, prediction and measuring of component-based software [J]. Journal of systems and software. 2011 84: 1054-1070.

DOI: 10.1016/j.jss.2011.01.048

[8] Brosch F., Koziolek H., Buhnova B. Architecture-Based Reliability Prediction with the Palladio Component Model [J]. IEEE transactions on software engineering. 2012 38: 1319-1339.

DOI: 10.1109/tse.2011.94

[9] Asthana A. and Okumoto K. Integrative Software Design for Reliability: Beyond Models and Defect Prediction [J]. Bell labs technical journal. 2012 17: 37-59.

DOI: 10.1002/bltj.21557