This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2009 WRI World Congress on Computer Science and Information Engineering
Research on Axiom System and transition Rules of Software Reliability and Safety
Los Angeles, California USA
March 31-April 02
ISBN: 978-0-7695-3507-4
In software system, reliability and safety are the most important attributes.In the past, many researches focused on two methods-probability and stochastic processes to predicte the attributes respectively. Comprehensive study of the two attributes is less than other problems,and the methods are often simple and single.In this paper,We study the reliability and safety of software from the states whose changes caused by environmental factors .The axiom system of software reliability and safety is given by formal methods,the transition rules between the two attributes will also be presented .Finally,we will give the logical proof about these rules.
Index Terms:
software reliability; software safety; axiom, system; formal methods
Citation:
Gong Min-qing, Wang Pei, Fan Lin-bo, Zhao Ming, "Research on Axiom System and transition Rules of Software Reliability and Safety," csie, vol. 7, pp.427-431, 2009 WRI World Congress on Computer Science and Information Engineering, 2009
Usage of this product signifies your acceptance of the Terms of Use.