Static Analysis of Software
The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis. This book presents real examples of the formal techniques called qabstract interpretationq currently being used in various industrial fields: railway, aeronautics, space, automotive, etc. The purpose of this book is to present students and researchers, in a single book, with the wealth of experience of people who are intrinsically involved in the realization and evaluation of software-based safety critical systems. As the authors are people currently working within the industry, the usual problems of confidentiality, which can occur with other books, is not an issue and so makes it possible to supply new useful information (photos, architectural plans, real examples).Manual. static. analysis. In the context of this section, we present the two techniques of manual static analysis. These are inspection (documentary inspection, code inspection) and software error effects analysis (sEEA). ... inspection. This will enable us to verify: a the quality instructions described in the referential of the company (QAM, procedure, standards and applicable frames of reference) and the project plans (QAP, SQAP, VVP, SAP, CMP)l have indeed been taken into account;anbsp;...
| Title | : | Static Analysis of Software |
| Author | : | Jean-Louis Boulanger |
| Publisher | : | John Wiley & Sons - 2013-02-07 |
You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.
Once you have finished the sign-up process, you will be redirected to your download Book page.
How it works:- 1. Register a free 1 month Trial Account.
- 2. Download as many books as you like (Personal use)
- 3. Cancel the membership at any time if not satisfied.
