Software verification and validation for practitioners and managers:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Boston [u.a.]
Artech House
2001
|
| Ausgabe: | 2. ed. |
| Schriftenreihe: | Artech House computing library
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XXV, 387 S. graph. Darst. |
| ISBN: | 1580532969 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV013921644 | ||
| 003 | DE-604 | ||
| 005 | 20020327 | ||
| 007 | t | ||
| 008 | 010920s2001 d||| |||| 00||| eng d | ||
| 020 | |a 1580532969 |9 1-58053-296-9 | ||
| 035 | |a (OCoLC)634058296 | ||
| 035 | |a (DE-599)BVBBV013921644 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 050 | 0 | |a QA76.76.V47 | |
| 082 | 0 | |a 005.1/4 |2 21 | |
| 100 | 1 | |a Rakitin, Steven R. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Software verification and validation for practitioners and managers |c Steven R. Rakitin |
| 250 | |a 2. ed. | ||
| 264 | 1 | |a Boston [u.a.] |b Artech House |c 2001 | |
| 300 | |a XXV, 387 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Artech House computing library | |
| 650 | 4 | |a Computer software |x Validation | |
| 650 | 4 | |a Computer software |x Verification | |
| 650 | 0 | 7 | |a Qualitätskontrolle |0 (DE-588)4047968-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Software |0 (DE-588)4055382-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Software |0 (DE-588)4055382-6 |D s |
| 689 | 0 | 1 | |a Qualitätskontrolle |0 (DE-588)4047968-7 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009525877&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-009525877 | |
Datensatz im Suchindex
| _version_ | 1806142870040608768 |
|---|---|
| adam_text |
Titel: Software verification and validation for practitioners and managers
Autor: Rakitin, Steven R
Jahr: 2001
Contents
1 Software in Perspective 3
1.1 The Software Crisis 3
1.2 The Elusive Silver Bullet 5
1.3 Other Attempts to Resolve the Crisis 5
1.3.1 Formal Proof of Correctness 5
1.3.2 Independent Verification and Validation 6
1.3.3 Software Quality Assurance 6
1.3.4 Cleanroom Process 6
1.4 Understanding the Nature of Software 7
1.5 Software Process Improvement Initiatives 8
1.5.1 SEI Capability Maturity Model (CMM W) 8
VI"
Software Verification and Validation for Practitioners and Managers
1.5.2 ISOSP1CE
1.5.3 Bootstrap
1.5.4 ISO 12207
1.5.5 Trillium
1.6 Summary
References
Web Resources
2 Software Development Life-Cycle Models
2.1 The Waterfall Model
2.2 Concurrent Development Model
2.3 The Rapid Prototyping Model
2.4 The Spiral Model
2.5 Hybrid Models
2.6 Model-Based Development
2.7 Object-Oriented Models
2.8 Summary
References
3 Software Development Process
3.1 Software Development Process FAQs
3.2 Summary
References
4 Economic Justification
4.1 Economic justification
4.2 Software Defect Cost Models
4.3 Measuring the Cost of Quality
4.4 Summary
References
9
10
11
11
12
13
14
J7
18
21
22
24
27
27
29
32
32
_35
36
42
42
45
47
49
53
54
55
Contents
ix
Selected Bibliography 55
Part H Overview of Software Verification Activities 57
Reference 58
5 The Inspection Process 59
5.1 Inspection Process FAQs 61
5.2 Summary 71
References 71
Selected Bibliography 71
Web Resources 72
6 Applying the Inspection Process 73
6.1 Attributes of a Good Process 73
6.1.1 Institutionalizing Inspections 74
6.1.2 Real-Life Experiences 75
6.2 Requirements Inspections 76
6.2.1 Objectives and Prerequisites 77
6.2.2 Requirements Inspection Process 77
6.3 Design Inspection 79
6.3.1 Objectives and Prerequisites 80
6.3.2 Design Inspection Process 80
6.4 Code Inspection 83
6.4.1 Objectives and Prerequisites 83
6.4.2 Code Inspection Process 83
6.5 Test Script Inspection 86
6.5.1 Objectives and Prerequisites 86
6.5.2 Test Procedure Inspection Process 86
6.6 Summary 88
References 88
7 Software Quality Metrics 91
Software Verification and Validation for Practitioners and Managers
7.1 Strategy for Implementing a Software Metrics
92
Program y
7.2 Software Quality Metrics Framework 93
7.2.1 Definitions - 94
7.2.2 The Framework 94
7.2.3 Applying the Software Quality Metrics
Methodology 95
7.3 Metrics That Support Software Verification
Activities 193
7.3.1 Complexity 193
7-3.2 Defect Metrics 105
7.3-3 Product Metrics 109
7.3.4 Process Metrics 106
7.4 Summary 107
References 108
Web References 108
8 Configuration Management 109
8.1 Software Configuration Managment Basics 111
8.1.1 Definitions 112
8.1.2 Example of a Manufacturing Process 112
8.2 Identification 114
8.2.1 Naming and Labeling 115
8.2.2 Version Control 116
8.2.3 Software Configuration Items 118
8.3 Baseline Management 118
8.3.1 Workspace Management 123
8.3.2 Baseline Change Assessment 124
8.3.3 Version Management 124
8.4 Auditing and Reporting 124
8.4.1 Auditing 225
8.4.2 Configuration Status Accounting 125
8.4.3 sports, Record Collection, and Retention 126
Contents xi
8.5 Summary 126
References 128
Part III Overview of Software Validation Activities 129
Reference 130
9 Testing 131
9.1 Levels, Methods, and Types of Tests 133
9.1.1 Test Levels 133
9.1.2 Test Methods 140
9.1.3 Test Types 141
9.2 Concurrent Development/Validation Testing Model 144
9.2.1 Informal Validation 145
9.2.2 Validation Readiness Review 146
9.2.3 Formal Validation 147
9.3 Test Planning 149
9.3.1 Test Plan 149
9.3.2 Test Procedure 154
9.3.3 Test Report 155
9.4 Summary 155
References 156
Web Resources 157
10 Validation Metrics 159
10.1 Time Measures
10.1.1 Find-Fix Cycle Time
10.1.2 Cumulative Test Time
10.2 Test Coverage Metrics
10.2.1 Code Coverage
10.2.2 Requirements Coverage
10.3 Quality Metrics
10.3.1 Defect Removal Percentage
10.3.2 Defects Reported in Each B
160
160
161
161
161
163
163
164
¦aseline 164
Software Verification and Validation for Practitioners and Managers _
10.3.3 Defect Detection Efficiency 164
10.4 Summary
References
11 Software Reliability Growth
11.1 Definitions - 168
11.2 The Test-Analyze-Fix Process 168
11.3 Reliability Growth Modeling 169
11.3.1 Objectives of Modeling 170
11.3.2 Types of Models 170
11.3.3 Model Assumptions 172
11.3.4 Model Selection Process 173
11.3.5 Applying the Selected Model 174
11.3.6 Reliability Modeling Tools 174
11.4 Summary 176
References 177
Web Resources 177
Part IV Predictable Software Development 179
Reference 180
12 Motivation for Becoming Predictable 181^
12.1 Introduction to Predictable Software Development 182
12.2 Characteristics of Unpredictable Organizations 186
12.3 Characteristics of Predictable Organizations 188
12.4 Management Can Change the Organization 188
12.5 Summary 192
References 19^
13 Balancing Quality, Features, and Schedule 195
13.1 Quality jcjy
13.1.1 The Impact of Poor Quality 19g
Contents xiii
13.1.2 Quality and Risk 200
13.2 Features 202
13.3 Schedules 203
13.3.1 Most Projects Are Scheduled Backwards 204
13.3.2 We Don't Teach Estimating and Scheduling Skills 204
13.3.3 We Don't Cultivate Software Project Management
Skills 205
13.3.4 We Don't Manage Risk and Commitments 206
13.3.5 We Don't Manage Change 206
13.4 Balancing Quality, Features, and Schedule 207
13.5 Summary 207
References 211
Selected Bibliography 212
14 Accurate Estimating and Scheduling 213
14.1 Why Estimates and Schedules Are Wrong Most
of the Time 214
14.2 A Typical Scheduled Backwards Project 217
14.3 Software Estimating Techniques 218
14.3.1 Function Points and Feature Points 219
14.3.2 COCOMOII 219
14.3.3 Wideband Delphi Method 220
14.4 Scheduling Techniques 222
14.4.1 PERT and CPM 222
14.4.2 The Yellow Sticky Method 224
14.5 Summary 225
References 226
Selected Bibliography 226
Web Resources 227
15 Balancing People, Process, and Product 229
15.1
Process
229
Software Verification and Validation for Practitioners and Managers
15.1.1
Economic Motivation !
230
15.1.2
The Process-Oriented Organization
231
15.1.3
Finding the Right Process
233
15.2
People ; . t
235
15.2.1
Provide Motivation - .
237
15.2.2
Reduce Turnover
239
15.2.3
Build Effective Teams
239
15.2.4
Best Practices for Managing People :
240
15.3
Product
242
15.3.1
Project Postmortems
244
15.3.2
Triage Process
245
15.3.3
Root-Cause Analysis
245
15.4
Summary
246
References
247
16
Managing Commitment and Risk
249
16.1
Managing Commitments
249
16.2
Risk
252
16.3
Risk-Management Techniques
252
16.4
Summary
256
References
256
Appendix A:
Inspection Roles and Responsibilities
257
A.l
Roles
257
A.2
Responsibilities
258
A.2.1
Moderator
258
A.2.2
Producer
259
A.2.3
Reader
260
A.2.4
Inspectors
260
A.2.5
Recorder (Optional Role)
261
A.2.6
Manager
261
Contents
xv
Appendix B:
A Sample Inspection Process
263
B.l
Planning
264
B.l.l
Objectives
264
B.1.2
Entry Criteria
264
B.l.3
Activities
264
B.l.4
Exit Criteria
265
B.l.5
Metrics
266
B.2
Overview Meeting (Optional)
266
B.2.1
Objective
266
B.2.2
Entry Criteria
266
B.2.3
Activities
266
B.2.4
Exit Criteria
266
B.2.5
Metrics
267
B.3
Preparation
267
B.3.1
Objective
267
B.3.2
Entry Criteria
267
B.3.3
Activities
267
B.3.4
Exit Criteria
268
B.3.5
Metrics
268
B.4
Inspection Meeting
268
B.4.1
Objective
268
B.4.2
Entry Criteria
268
B.4.3
Activities
268
B.4.4
Exit Criteria
269
B.4.5
Metrics
270
B.5
Follow-Up
270
B.5.1
Objective
270
B.5.2
Entry Criteria
270
B.5.3
Activities
270
B.5.4
Exit Criteria
270
B.5.5
Metrics
271
Software Verification and Validation for Practitioners and Managers
Appendix C:
273
Inspection Process Forms
Appendix D:
277
Inspection Checklists
D.l
Requirements Inspection Checklist
277
D.2
Design Inspection Checklist: High-Level Design
278
D.3
Design Inspection Checklist: Detailed Design
279
D.4
Code Inspection Checklist for C Code
282
D.5
A C++ Code Inspection Checklist
284
D.5.1
Variable Declarations
284
D.5.2
Data Usage
287
D.5.3
Initialization
288
D.5.4
Macros
288
D.5.5
Sizing of Data
289
D.5.6
Dynamic Allocation
290
D.5.7
Pointers
291
D.5.8
Casting
291
D.5.9
Computation
291
D.5.10
Conditionals
292
D.5.11
Flow Control
293
D.5.12
Assignment
294
D.5.13
Argument Passing
295
D.5.14
Return Values
295
D.5.15
Function Calls
296
D.5.16
Files
296
D.5.17
Errors Due to Implicit Type Conversions
297
D.5.18
Errors Due to Loss of "Precision" in Return Values
298
D.5.19
Loop Checklist
299
D.5.20
Copyright Notices
299
D.6
Test Procedure Inspection Checklist
300
Contents xvii
Appendix E:
Attributes of Good Requirements Specifications 301
Appendix F:
Sample Criteria for Selecting Modules for
Code Inspection
303
Appendix G:
Sample Software Development Process Based
on the Waterfall Model
305
G.l
Requirements Analysis Phase
305
G.2
Requirements Definition Phase
307
G.3
Design Phase
308
G.4
Coding Phase
310
G.5
Testing Phase
312
G.6
Maintenance Phase
313
Appendix H:
Document Outlines
315
H.l
Product Concept Document
316
H.2
Software Requirements Specification (SRS)
316
H.3
Software Design Description (SDD)
318
H.4
Software Development Plan
319
H.5
Software Quality Assurance Plan
323
H.6
Software Validation Test Plan
324
H.7
Software Validation Test Procedure
326
H.8
Software Validation Test Report
326
H.9
Software Validation Test Script
327
H.10 Software Configuration Management Plan
Software Verification and Validation for Practitionersand Managers
H. 11 Software Release Procedure
Reference
330
Appendix 1: Test Cases for the Triangle Program 331
332
' Appendix Ji
Software Reliability Models
J.l Jelinski-Moranda Model ^33
J.2 Geometric Model -
J.3 Schick-Wolverton Model ^5
J.4 Goel-Okumoto Nonhoniogeneous Poisson Process 335
J.5 Generalized Poisson Model ' ^36
J.6 Brooks-Motley Model ^36
Appendix K:
The Yellow Sticky Method 339
K.l Start with a Complete Software Requirements
Specification 340
K.l Group Requirements into "Must Haves"
and "Wants" 340
K.3 Commit to Deliver Only the Must Haves, Not
the Wants 341
K.4 Yellow Sticky Estimating Rules 341
K.5 Identifying Tasks and Creating Initial Estimates 342
K.6 Building the Schedule Going Forward 343
K.7 Negotiate Based on Factual Information 345
K.8 Manage the Project to the Schedule 346
K.9 Benefits 346
Appendix L:
Software Development Best Practices
Contents
xix
L.l Define Requirements First 349
L.2 Binary Quality Gates at the Inch-Pebble Level 354
L.3 Risk Management 357
L.4 Peer Reviews 357
L.5 Project-wide Visibility of Project Plan 357
L.6 Defect Tracking Against Quality Targets 357
L.7 People-Aware Management 360
References 361
Appendix M:
Software Quality Best Practices 363
Selected Bibliography 366
Appendix N:
Project Postmortems 367
Appendix 0;
Root-Cause Analysis 371
Reference 374
About the Author 375
Index 377 |
| any_adam_object | 1 |
| author | Rakitin, Steven R. |
| author_facet | Rakitin, Steven R. |
| author_role | aut |
| author_sort | Rakitin, Steven R. |
| author_variant | s r r sr srr |
| building | Verbundindex |
| bvnumber | BV013921644 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.76.V47 |
| callnumber-search | QA76.76.V47 |
| callnumber-sort | QA 276.76 V47 |
| callnumber-subject | QA - Mathematics |
| ctrlnum | (OCoLC)634058296 (DE-599)BVBBV013921644 |
| dewey-full | 005.1/4 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1/4 |
| dewey-search | 005.1/4 |
| dewey-sort | 15.1 14 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| edition | 2. ed. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV013921644</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20020327</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">010920s2001 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1580532969</subfield><subfield code="9">1-58053-296-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)634058296</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013921644</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.76.V47</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1/4</subfield><subfield code="2">21</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Rakitin, Steven R.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Software verification and validation for practitioners and managers</subfield><subfield code="c">Steven R. Rakitin</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2. ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Boston [u.a.]</subfield><subfield code="b">Artech House</subfield><subfield code="c">2001</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XXV, 387 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Artech House computing library</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield><subfield code="x">Validation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield><subfield code="x">Verification</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Qualitätskontrolle</subfield><subfield code="0">(DE-588)4047968-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Software</subfield><subfield code="0">(DE-588)4055382-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Software</subfield><subfield code="0">(DE-588)4055382-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Qualitätskontrolle</subfield><subfield code="0">(DE-588)4047968-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009525877&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009525877</subfield></datafield></record></collection> |
| id | DE-604.BV013921644 |
| illustrated | Illustrated |
| indexdate | 2024-08-01T00:27:46Z |
| institution | BVB |
| isbn | 1580532969 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009525877 |
| oclc_num | 634058296 |
| open_access_boolean | |
| owner | DE-703 |
| owner_facet | DE-703 |
| physical | XXV, 387 S. graph. Darst. |
| publishDate | 2001 |
| publishDateSearch | 2001 |
| publishDateSort | 2001 |
| publisher | Artech House |
| record_format | marc |
| series2 | Artech House computing library |
| spelling | Rakitin, Steven R. Verfasser aut Software verification and validation for practitioners and managers Steven R. Rakitin 2. ed. Boston [u.a.] Artech House 2001 XXV, 387 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Artech House computing library Computer software Validation Computer software Verification Qualitätskontrolle (DE-588)4047968-7 gnd rswk-swf Software (DE-588)4055382-6 gnd rswk-swf Software (DE-588)4055382-6 s Qualitätskontrolle (DE-588)4047968-7 s DE-604 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009525877&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Rakitin, Steven R. Software verification and validation for practitioners and managers Computer software Validation Computer software Verification Qualitätskontrolle (DE-588)4047968-7 gnd Software (DE-588)4055382-6 gnd |
| subject_GND | (DE-588)4047968-7 (DE-588)4055382-6 |
| title | Software verification and validation for practitioners and managers |
| title_auth | Software verification and validation for practitioners and managers |
| title_exact_search | Software verification and validation for practitioners and managers |
| title_full | Software verification and validation for practitioners and managers Steven R. Rakitin |
| title_fullStr | Software verification and validation for practitioners and managers Steven R. Rakitin |
| title_full_unstemmed | Software verification and validation for practitioners and managers Steven R. Rakitin |
| title_short | Software verification and validation for practitioners and managers |
| title_sort | software verification and validation for practitioners and managers |
| topic | Computer software Validation Computer software Verification Qualitätskontrolle (DE-588)4047968-7 gnd Software (DE-588)4055382-6 gnd |
| topic_facet | Computer software Validation Computer software Verification Qualitätskontrolle Software |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009525877&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT rakitinstevenr softwareverificationandvalidationforpractitionersandmanagers |