ソフトウェア認証および検証<br>Software Verification and Validation : An Engineering and Scientific Approach

ソフトウェア認証および検証
Software Verification and Validation : An Engineering and Scientific Approach

  • ただいまウェブストアではご注文を受け付けておりません。 ⇒古書を探す
  • 製本 Hardcover:ハードカバー版/ページ数 350 p.
  • 言語 ENG
  • 商品コード 9780387327259

基本説明

Includes crucial information for methods and techniques that not only develop the system, but ensure that the system was developed correctly.

Full Description

The World is lacking an in-depth technical book describing the meth­ ods and techniques used to provide confidence in our system software. Not only is the U.S. government more focused on software safety in to­ day's market, but private industry and academia are as well. The methods and techniques that provide such confidence are commonly called software verification and validation. Software Verification and Validation: An Engineering and Scientific Approach, a professional book, fills the critical need for an in-depth tech­ nical reference providing the methods and techniques for building and maintaining confidence in many varieties of system software. The intent of this volume is to help develop reliable answers to such critical questions as: 1) Are we building the right software for the need? 2) Are we building the software right? Software Verification and Validation: An Engineering and Scientific Approach is structured for research scientists and practitioners in industry.

Contents

Preface.- Introduction.- Managing Verification and Validation.- The Axioms of Leadership.- Planning.- Managing the Plan.- Risk Management.- Communication Structures.- Risks and Issue Management.- Communication Structures.- The Verification and Validation Life Cycle.- Traceability Analysis.- Interface Analysis.- Phase Dependent Analysis.- V&V Testing.- Systems Verification and Validation.- Index.

最近チェックした商品