文档介绍:i
Verification, Validation
and Testing in
Software Engineering
Aristides Dasso, Universidad Nacional de San Luis, Argentina
Ana Funes, Universidad Nacional de San Luis, Argentina
IDEA GROUP PUBLISHING
Hershey • London • Melbourne • Singapore
ii
Acquisitions Editor: Michelle Potter
Development Editor: Kristin Roth
Senior Managing Editor: Jennifer Neidig
Managing Editor: Sara Reed
Copy Editor: Chuck Pizar
Typesetter: Sharon Berger
Cover Design: Lisa Tosheff
Printed at: Integrated Book Technology
Published in the United States of America by
Idea Group Publishing (an imprint of Idea Group Inc.)
701 E. Chocolate Avenue
Hershey PA 17033
Tel: 717-533-8845
Fax: 717-533-8661
E-mail: ******@idea-
Web site: .com
and in the United Kingdom by
Idea Group Publishing (an imprint of Idea Group Inc.)
3 Henrietta Street
Covent Garden
London WC2E 8LU
Tel: 44 20 7240 0856
Fax: 44 20 7379 0609
Web site:
Copyright © 2007 by Idea Group Inc. All rights reserved. No part of this book may be reproduced,
stored or distributed in any form or by any means, electronic or mechanical, including photocopying,
without written permission from the publisher.
Product pany names used in this book are for identification purposes only. Inclusion of the
names of the products panies does not indicate a claim of ownership by IGI of the trademark
or registered trademark.
Library of Congress Cataloging-in-Publication Data
Verification, validation and testing in software engineering / Aristides Dasso and Ana Funes, editors.
p. cm.
Summary: "This book explores different applications in V&V that spawn many areas of software
development -including real time applications- where V&V techniques are required, providing in all cases
examples of the applications"--Provided by publisher.
ISBN 1-59140-851-2 (hardcover) -- ISBN 1-59140-852-0 (softcover) -- ISBN 1-59140-853-9
(ebook)
1. Computer software--Validation. 2. Computer software--Verification. 3.