Software reliability methods(Chinese Edition)

Paperback. Pub Date :2012-3-1 196 China Machine Press [celebrity] I first recommend reading this book. this book was immediately covered a wide range of deeply touched. it covering the Statute and modeling. interpretation of verification. model checking. process algebra. program testing. status and message sequence chart. In addition to a fairly in-depth introduction to the outside of each method. the book also discusses what method should be selected when and in the choice of these methods have to make tradeoffs. The book with the current tool. use a lot of challenging examples to illustrate various techniques. I have not seen any other books covering the same content can reach such depths. Meanwhile. the book describes the application of formal methods in the from the modeling and the statute. and then select an appropriate verification technique...