IEEE 1012-2017 en System Software and Hardware Verification and Validation (IEEE Computer Society).pdf

1、 IEEE Standard for System, Software, and Hardware Verification and Validation Sponsored by the Software and Systems Engineering Standards Committee IEEE 3 Park Avenue New York, NY 10016-5997 USA IEEE Computer Society IEEE Std 1012-2016 (Revision of IEEE Std 1012-2012/ Incorporates IEEE Std 1012-2016

2、/Cor1-2017) IEEE Std 1012-2016 (Revision of IEEE Std 1012-2012/ Incorporates IEEE Std 1012-2016/Cor1-2017) IEEE Standard for System, Software, and Hardware Verification and Validation Sponsor Software and Systems Engineering Standards Committee of the IEEE Computer Society Approved 28 September 2017

3、 IEEE-SA Standards Board Abstract: Verification and validation (V fitness for a particular purpose; non-infringement; and quality, accuracy, effectiveness, currency, or completeness of material. In addition, IEEE disclaims any and all conditions relating to: results; and workmanlike effort. IEEE sta

4、ndards documents are supplied “AS IS” and “WITH ALL FAULTS.” Use of an IEEE standard is wholly voluntary. The existence of an IEEE standard does not imply that there are no other ways to produce, test, measure, purchase, market, or provide other goods and services related to the scope of the IEEE st

5、andard. Furthermore, the viewpoint expressed at the time a standard is approved and issued is subject to change brought about through developments in the state of the art and comments received from users of the standard. In publishing and making its standards available, IEEE is not suggesting or ren

6、dering professional or other services for, or on behalf of, any person or entity nor is IEEE undertaking to perform any duty owed by any other person or entity to another. Any person utilizing any IEEE Standards document, should rely upon his or her own independent judgment in the exercise of reason

7、able care in any given circumstances or, as appropriate, seek the advice of a competent professional in determining the appropriateness of a given IEEE standard. IN NO EVENT SHALL IEEE BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LI

8、MITED TO: PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE PUBLICATION, USE OF, OR RELI

9、ANCE UPON ANY STANDARD, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE AND REGARDLESS OF WHETHER SUCH DAMAGE WAS FORESEEABLE. Translations The IEEE consensus development process involves the review of documents in English only. In the event that an IEEE standard is translated, only the English ve

10、rsion published by IEEE should be considered the approved IEEE standard. Official statements A statement, written or oral, that is not processed in accordance with the IEEE-SA Standards Board Operations Manual shall not be considered or inferred to be the official position of IEEE or any of its comm

11、ittees and shall not be considered to be, or be relied upon as, a formal position of IEEE. At lectures, symposia, seminars, or educational courses, an individual presenting information on IEEE standards shall make it clear that his or her views should be considered the personal views of that individ

12、ual rather than the formal position of IEEE. Comments on standards Comments for revision of IEEE Standards documents are welcome from any interested party, regardless of membership affiliation with IEEE. However, IEEE does not provide consulting information or advice pertaining to IEEE Standards doc

13、uments. Suggestions for changes in documents should be in the form of a proposed change of text, together with appropriate supporting comments. Since IEEE standards represent a consensus of concerned interests, it is important that any responses to comments and questions also receive the concurrence

14、 of a balance of interests. For this reason, IEEE and the members of its societies and Standards Coordinating Committees are not able to provide an instant response to comments or questions except in those cases where the matter has previously been addressed. For the same reason, IEEE does not respo

15、nd to interpretation requests. Any person who would like to participate in revisions to an IEEE standard is welcome to join the relevant IEEE working group. Comments on standards should be submitted to the following address: Secretary, IEEE-SA Standards Board 445 Hoes Lane Piscataway, NJ 08854 USA L

16、aws and regulations Users of IEEE Standards documents should consult all applicable laws and regulations. Compliance with the provisions of any IEEE Standards document does not imply compliance to any applicable regulatory requirements. Implementers of the standard are responsible for observing or r

17、eferring to the applicable regulatory requirements. IEEE does not, by the publication of its standards, intend to urge action that is not in compliance with applicable laws, and these documents may not be construed as doing so. Copyrights IEEE draft and approved standards are copyrighted by IEEE und

18、er U.S. and international copyright laws. They are made available by IEEE and are adopted for a wide variety of both public and private uses. These include both use, by reference, in laws and regulations, and use in private self-regulation, standardization, and the promotion of engineering practices

19、 and methods. By making these documents available for use and adoption by public authorities and private users, IEEE does not waive any rights in copyright to the documents. Photocopies Subject to payment of the appropriate fee, IEEE will grant users a limited, non-exclusive license to photocopy por

20、tions of any individual standard for company or organizational internal use or individual, non-commercial use only. To arrange for payment of licensing fees, please contact Copyright Clearance Center, Customer Service, 222 Rosewood Drive, Danvers, MA 01923 USA; +1 978 750 8400. Permission to photoco

21、py portions of any individual standard for educational classroom use can also be obtained through the Copyright Clearance Center. Updating of IEEE Standards documents Users of IEEE Standards documents should be aware that these documents may be superseded at any time by the issuance of new editions

22、or may be amended from time to time through the issuance of amendments, corrigenda, or errata. An official IEEE document at any point in time consists of the current edition of the document together with any amendments, corrigenda, or errata then in effect. Every IEEE standard is subjected to review

23、 at least every ten years. When a document is more than ten years old and has not undergone a revision process, it is reasonable to conclude that its contents, although still of some value, do not wholly reflect the present state of the art. Users are cautioned to check to determine that they have t

24、he latest edition of any IEEE standard. In order to determine whether a given document is the current edition and whether it has been amended through the issuance of amendments, corrigenda, or errata, visit the IEEE-SA Website at http:/ieeexplore.ieee.org/xpl/standards.jsp or contact IEEE at the add

25、ress listed previously. For more information about the IEEE SA or IEEEs standards development process, visit the IEEE-SA Website at http:/standards.ieee.org. Errata Errata, if any, for all IEEE standards can be accessed on the IEEE-SA Website at the following URL: http:/standards.ieee.org/findstds/e

26、rrata/index.html. Users are encouraged to check this URL for errata periodically. Patents Attention is called to the possibility that implementation of this standard may require use of subject matter covered by patent rights. By publication of this standard, no position is taken by the IEEE with res

27、pect to the existence or validity of any patent rights in connection therewith. If a patent holder or patent applicant has filed a statement of assurance via an Accepted Letter of Assurance, then the statement is listed on the IEEE-SA Website at http:/standards.ieee.org/about/sasb/patcom/patents.htm

28、l. Letters of Assurance may indicate whether the Submitter is willing or unwilling to grant licenses under patent rights without compensation or under reasonable rates, with reasonable terms and conditions that are demonstrably free of any unfair discrimination to applicants desiring to obtain such

29、licenses. Essential Patent Claims may exist for which a Letter of Assurance has not been received. The IEEE is not responsible for identifying Essential Patent Claims for which a license may be required, for conducting inquiries into the legal validity or scope of Patents Claims, or determining whet

30、her any licensing terms or conditions provided in connection with submission of a Letter of Assurance, if any, or in any licensing agreements are reasonable or non-discriminatory. Users of this standard are expressly advised that determination of the validity of any patent rights, and the risk of in

31、fringement of such rights, is entirely their own responsibility. Further information may be obtained from the IEEE Standards Association. Copyright 2017 IEEE. All rights reserved. 6 Participants IEEE Std 1012-2016 At the time IEEE Std 1012-2016 was completed, the P1012 Working Group had the followin

32、g membership: Roger U. Fujii, Chair Michael E. Waterman, Vice Chair Edward A. Addy, Secretary Rossnyev Alvarado Steven Baird, Jr. Arde Bedjanian Luis Betancourt Susan M. Burgess Tiffany Burgess William Burgess Norbert Carte Lisa Castelli Jiayu Chen Larry Chi Ivan Chow Pong C. Chung Darrell Cooksey K

33、en Costello David H. Daniel Harpal Dhama Ronald F. Dean, Sr. Jun Ding Stephen Driskell Eva Freund Jon D. Hagar Libing He Yanjun He John W. Hefler David Hooten George R. Hughes Yu-chih Ko Thomas M. Kurihara Lingpo Li Gang Ma Charles R. Martin Robert R. Moniri Owen Nelson Adefeyike Odutayo Stan Potocz

34、ny William Roggenbrodt Shirley A. Savarino Scott W. Schield Raymond R. Senechal Li Shi Maryna Y. Tyrpak Murat S. Uzman Yichun Wu Steve Yang Xiaobai Yu The following members of the individual balloting committee voted on this standard. Balloters may have voted for approval, disapproval, or abstention

35、. Edward A. Addy Robert Aiello Johann Amsenga T. Scott Ankrum Lee Armstrong Steven Baird, Jr. Bakul Banerjee Pieter Botman Susan M. Burgess Juan Carreon Sue Carroll Keith Chow Raul Colcher Paul Croll Geoffrey Darnton Ronald F. Dean, Sr. Grazia DElia Harpal Dhama Teresa Doran Sourav Dutta Andrew Fiel

36、dsend Eva Freund David Friscia Roger U. Fujii David Fuschi Gregg Giesler Randall Groves Jon D. Hagar John Harauz David Herrell Werner Hoelzl Bernard Homes George R. Hughes Theresa Hunt Noriyuki Ikeuchi Atsushi Ito Mark Jaeger Paul Joannou Cheryl Jones Piotr Karocki Yuri Khersonsky Thomas M. Kurihara

37、 Susan Land David Leciston Edward McCall James Moore Michael Newman Warren Odess-Gillett James Pritchett Iulian Profir Laura Pullum Annette Reilly Robert Robinson Terence Rout Bartien Sayogo Robert Schaaf Hans Schaefer Scott W. Schield Maud Schlich Stephen Schwarm Carl Singer James Sivak Michael Smi

38、th Thomas Starai Walter Struppler Gerald Stueve Marcy Stutzman Thomas Tullia Maryna Y. Tyrpak Mark-Rene Uchida Murat S. Uzman John Vergis David Walden Michael E. Waterman Stephen Webb Steve Yang Jian Yu Oren Yuen Shuhui Zhang Daidi Zhong Copyright 2017 IEEE. All rights reserved. 7 When the IEEE-SA S

39、tandards Board approved this standard on 15 May 2016, it had the following membership: Jean-Philippe Faure, Chair Ted Burse, Vice Chair John D. Kulick, Past Chair Konstantinos Karachalios, Secretary Chuck Adams Masayuki Ariyoshi Stephen Dukes Jianbin Fan J. Travis Griffith Gary Hoffman Ronald W. Hot

40、chkiss Michael Janezic Joseph L. Koepfinger* Hung Ling Kevin Lu Annette D. Reilly Gary Robinson Mehmet Ulema Yingli Wen Philip Winston Howard Wolfman Don Wright Yu Yuan Daidi Zhong *Member Emeritus Copyright 2017 IEEE. All rights reserved. 8 Participants IEEE Std 1012-2016/Cor1-2017 At the time IEEE

41、 Std 1012-2016/Cor1-2017 was completed, the P1012 Working Group had the following membership: Roger U. Fujii, Chair Michael E. Waterman, Vice Chair Edward A. Addy, Secretary Rossnyev Alvarado Steven Baird, Jr. Arde Bedjanian Luis Betancourt Susan M. Burgess Tiffany Burgess William Burgess Norbert Ca

42、rte Lisa Castelli Jiayu Chen Larry Chi Ivan Chow Pong C. Chung Darrell Cooksey Ken Costello David H. Daniel Harpal Dhama Ronald F. Dean, Sr. Jun Ding Stephen Driskell Eva Freund Dirk Guijt Jon D. Hagar Libing He Yanjun He John W. Hefler David Hooten George R. Hughes Yu-chih Ko Thomas M. Kurihara Lin

43、gpo Li Gang Ma Charles R. Martin Robert R. Moniri Owen Nelson Adefeyike Odutayo Stan Potoczny William Roggenbrodt Shirley A. Savarino Scott W. Schield Raymond R. Senechal Li Shi Maryna Y. Tyrpak Murat S. Uzman Yichun Wu Steve Yang Xiaobai Yu The following members of the individual balloting committe

44、e voted on Corrigendum 1 of this standard. Balloters may have voted for approval, disapproval, or abstention. Edward Addy Robert Aiello Johann Amsenga Steven Baird, Jr. Ulas Baloglu Patti Brideson Demetrio Bucaneg, Jr. Paul Cardinal Juan Carreon Keith Chow Paul Croll Ronald F. Dean, Sr. Sourav Dutta

45、 Dale Dzielski Eva Freund David Friscia Roger Fujii David Fuschi Randall Groves Louis Gullo Jon D. Hagar John Harauz Mark Henley David Herrell Frank Hill Werner Hoelzl Bernard Homes Noriyuki Ikeuchi Atsushi Ito Cheryl Jones Piotr Karocki Thomas M. Kurihara George Kyle David Leciston Claire Lohr Igna

46、cio Marin-Garcia Edward McCall Andrew Nack Michael Newman James Pritchett Annette D. Reilly Robert Robinson Terence Rout Robert Schaaf Hans Schaefer Scott W. Schield Maud Schlich Stephen Schwarm Raymond R. Senechal Carl Singer Michael Smith Kendall Southwick Luca Spotorno Thomas Starai John Stevens

47、Walter Struppler Vincent Tume Maryna Y. Tyrpak Mark-Rene Uchida Murat S. Uzman John Vergis David Walden Jian Yu Oren Yuen Shuhui Zhang 9 Copyright 2017 IEEE. All rights reserved. When the IEEE-SA Standards Board approved this standard on 28 September 2017, it had the following membership: Jean-Phili

48、ppe Faure, Chair Gary Hoffman, Vice Chair John D. Kulick, Past Chair Konstantinos Karachalios, Secretary Chuck Adams Masayuki Ariyoshi Ted Burse Stephen Dukes Doug Edwards J. Travis Griffith Michael Janezic Thomas Koshy Joseph L. Koepfinger* Kevin Lu Daleep Mohla Damir Novosel Ronald C. Petersen Ann

49、ette D. Reilly Robby Robson Dorothy Stanley Adrian Stephens Mehmet Ulema Phil Wennblom Howard Wolfman Yu Yuan *Member Emeritus 10 Copyright 2017 IEEE. All rights reserved. Introduction This introduction is not part of IEEE Std 1012-2017, IEEE Standard for System, Software, and Hardware Verification and Validation. The Verification and Validation processes are technical processes of systems, software, and hardware engineering. The Verification process and the Validation process are interrelated and complementary processes, and are referenced together as verification and vali