文档介绍：Software Verification and Validation
for Practitioners and Managers
Second Edition
For a listing of recent titles in the Artech puting Library,
turn to the back of this book.
Software Verification and Validation
for Practitioners and Managers
Second Edition
Steven R. Rakitin
Artech House
Boston • London
Library of Congress Cataloging-in-Publication Data
Rakitin, Steven R.
Software verification and validation for practitioners and managers /Steve Rakitin.—2nd ed.
p. cm.—Rev. ed. of: Software verification and validation.
Includes bibliographical references and index.
ISBN 1-58053-296-9 (alk. paper)
1. Computer software—Verification. 2. Computer software—Validation.
I. Rakitin, Steven R. Software verification and validation. II. Title.
R35 2001
’4—dc21 2001022884
British Library Cataloguing in Publication Data
Rakitin, Steven R.
Software verification and validation for practitioners and managers. — 2nd ed.
1. Computer software—Validation 2. Computer software—Verification
I. Title
’4
ISBN1-58053-473-2
Cover design by Igor Valdman
© 2001 ARTECH HOUSE, INC.
685 Canton Street
Norwood, MA 02062
All rights reserved. Printed and bound in the United States of America. No part of this book
may be reproduced or utilized in any form or by any means, electronic or mechanical, in-
cluding photocopying, recording, or by any information storage and retrieval system, with-
out permission in writing from the publisher.
All terms mentioned in this book that are known to be trademarks or service marks have
been appropriately capitalized. Artech House cannot attest to the accuracy of this informa-
tion. Use of a term in this book should not be regarded as affecting the validity of any trade-
mark or service mark.
International Standard Book Number: 1-58053-296-9
Library of Congress Catalog Card Number: 2001022884
**********
To Eileen, my wife, my best friend, my soul mate.
And to Jason and Sarah, w