Coverart for item
The Resource Software testing : concepts and operations, Ali Mili, Fairouz Tehier

Software testing : concepts and operations, Ali Mili, Fairouz Tehier

Label
Software testing : concepts and operations
Title
Software testing
Title remainder
concepts and operations
Statement of responsibility
Ali Mili, Fairouz Tehier
Creator
Subject
Language
eng
Summary
  • Explores and identifies the main issues, concepts, principles and evolution of software testing, including software quality engineering and testing concepts, test data generation, test deployment analysis, and software test managementThis book examines the principles, concepts, and processes that are fundamental to the software testing function. This book is divided into five broad parts. Part I introduces software testing in the broader context of software engineering and explores the qualities that testing aims to achieve or ascertain, as well as the lifecycle of software testing. Part II covers mathematical foundations of software testing, which include software specification, program correctness and verification, concepts of software dependability, and a software testing taxonomy. Part III discusses test data generation, specifically, functional criteria and structural criteria. Test oracle design, test driver design, and test outcome analysis is covered in Part IV. Finally, Part V surveys managerial aspects of software testing, including software metrics, software testing tools, and software product line testing. Presents software testing, not as an isolated technique, but as part of an integrated discipline of software verification and validation Proposes program testing and program correctness verification within the same mathematical model, making it possible to deploy the two techniques in concert, by virtue of the law of diminishing returns Defines the concept of a software fault, and the related concept of relative correctness, and shows how relative correctness can be used to characterize monotonic fault removal Presents the activity of software testing as a goal oriented activity, and explores how the conduct of the test depends on the selected goal Covers all phases of the software testing lifecycle, including test data
  • Generation, test oracle design, test driver design, and test outcome analysis Software Testing: Concepts and Operations is a great resource for software quality and software engineering students because it presents them with fundamentals that help them to prepare for their ever evolving discipline
Member of
Cataloging source
DLC
http://library.link/vocab/creatorName
Mili, Ali
Dewey number
005.1/4
Index
index present
LC call number
QA76.76.T48
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
Series statement
Quantitative software engineering series
http://library.link/vocab/subjectName
  • Computer software
  • COMPUTERS
  • Computer software
Label
Software testing : concepts and operations, Ali Mili, Fairouz Tehier
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
  • Title Page; Copyright Page; Contents; Preface; Part I Introduction to Software Testing; Chapter 1 Software Engineering: A Discipline Like No Other; 1.1 A YOUNG, RESTLESS DISCIPLINE; 1.2 AN INDUSTRY UNDER STRESS; 1.3 LARGE, COMPLEX PRODUCTS; 1.4 EXPENSIVE PRODUCTS; 1.5 ABSENCE OF REUSE PRACTICE; 1.6 FAULT-PRONE DESIGNS; 1.7 PARADOXICAL ECONOMICS; 1.7.1 A Labor-Intensive Industry; 1.7.2 Absence of Automation; 1.7.3 Limited Quality Control; 1.7.4 Unbalanced Lifecycle Costs; 1.7.5 Unbalanced Maintenance Costs; 1.8 CHAPTER SUMMARY; 1.9 BIBLIOGRAPHIC NOTES; Chapter 2 Software Quality Attributes
  • 2.1 FUNCTIONAL ATTRIBUTES2.1.1 Boolean Attributes; 2.1.2 Statistical Attributes; 2.2 OPERATIONAL ATTRIBUTES; 2.3 USABILITY ATTRIBUTES; 2.4 BUSINESS ATTRIBUTES; 2.5 STRUCTURAL ATTRIBUTES; 2.6 CHAPTER SUMMARY; 2.7 EXERCISES; 2.8 BIBLIOGRAPHIC NOTES; Chapter 3 A Software Testing Lifecycle; 3.1 A SOFTWARE ENGINEERING LIFECYCLE; 3.2 A SOFTWARE TESTING LIFECYCLE; 3.3 THE V-MODEL OF SOFTWARE TESTING; 3.4 CHAPTER SUMMARY; 3.5 BIBLIOGRAPHIC NOTES; Part II Foundations of Software Testing; Chapter 4 Software Specifications; 4.1 PRINCIPLES OF SOUND SPECIFICATION; 4.1.1 A Discipline of Specification
  • 4.2 RELATIONAL MATHEMATICS4.2.1 Sets and Relations; 4.2.2 Operations on Relations; 4.2.3 Properties of Relations; 4.3 SIMPLE INPUT OUTPUT PROGRAMS; 4.3.1 REPRESENTING SPECIFICATIONS; 4.3.2 ORDERING SPECIFICATIONS; 4.3.3 SPECIFICATION GENERATION; 4.3.4 SPECIFICATION VALIDATION; 4.4 RELIABILITY VERSUS SAFETY; 4.5 STATE-BASED SYSTEMS; 4.5.1 A Relational Model; 4.5.2 AXIOMATIC REPRESENTATION; 4.5.3 SPECIFICATION VALIDATION; 4.6 CHAPTER SUMMARY; 4.7 EXERCISES; 4.8 PROBLEMS; 4.9 BIBLIOGRAPHIC NOTES; Chapter 5 Program Correctness and Verification; 5.1 CORRECTNESS: A DEFINITION
  • 5.2 CORRECTNESS: PROPOSITIONS5.2.1 Correctness and Refinement; 5.2.2 Set Theoretic Characterizations; 5.2.3 Illustrations; 5.3 VERIFICATION; 5.3.1 Sample Formulas; 5.3.2 An Inference System; 5.3.3 Illustrative Examples; 5.4 CHAPTER SUMMARY; 5.5 EXERCISES; 5.6 PROBLEMS; 5.7 BIBLIOGRAPHIC NOTES; Chapter 6 Failures, Errors, and Faults; 6.1 FAILURE, ERROR, AND FAULT; 6.2 FAULTS AND RELATIVE CORRECTNESS; 6.2.1 Fault, an Evasive Concept; 6.2.2 Relative Correctness; 6.3 CONTINGENT FAULTS AND DEFINITE FAULTS; 6.3.1 Contingent Faults; 6.3.2 Monotonic Fault Removal
  • 6.3.3 A Framework for Monotonic Fault Removal6.3.4 Definite Faults; 6.4 FAULT MANAGEMENT; 6.4.1 Lines of Defense; 6.4.2 Hybrid Validation; 6.5 CHAPTER SUMMARY; 6.6 EXERCISES; 6.7 PROBLEMS; 6.8 BIBLIOGRAPHIC NOTES; Chapter 7 A Software Testing Taxonomy; 7.1 THE TROUBLE WITH HYPHENATED TESTING; 7.2 A CLASSIFICATION SCHEME; 7.2.1 Primary Attributes; 7.2.2 Secondary Attributes; 7.3 TESTING TAXONOMY; 7.3.1 Unit-Level Testing; 7.3.2 System-Level Testing; 7.4 EXERCISES; 7.5 BIBLIOGRAPHIC NOTES; Part III Test Data Generation ; Chapter 8 Test Generation Concepts
Control code
904801344
Extent
1 online resource.
Form of item
online
Isbn
9781119065579
Lccn
2015010027
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other control number
40024995093
http://library.link/vocab/ext/overdrive/overdriveId
  • cl0500000649
  • c8161677-68b5-44e9-8a49-27a84631efe6
Specific material designation
remote
System control number
(OCoLC)904801344
Label
Software testing : concepts and operations, Ali Mili, Fairouz Tehier
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
  • Title Page; Copyright Page; Contents; Preface; Part I Introduction to Software Testing; Chapter 1 Software Engineering: A Discipline Like No Other; 1.1 A YOUNG, RESTLESS DISCIPLINE; 1.2 AN INDUSTRY UNDER STRESS; 1.3 LARGE, COMPLEX PRODUCTS; 1.4 EXPENSIVE PRODUCTS; 1.5 ABSENCE OF REUSE PRACTICE; 1.6 FAULT-PRONE DESIGNS; 1.7 PARADOXICAL ECONOMICS; 1.7.1 A Labor-Intensive Industry; 1.7.2 Absence of Automation; 1.7.3 Limited Quality Control; 1.7.4 Unbalanced Lifecycle Costs; 1.7.5 Unbalanced Maintenance Costs; 1.8 CHAPTER SUMMARY; 1.9 BIBLIOGRAPHIC NOTES; Chapter 2 Software Quality Attributes
  • 2.1 FUNCTIONAL ATTRIBUTES2.1.1 Boolean Attributes; 2.1.2 Statistical Attributes; 2.2 OPERATIONAL ATTRIBUTES; 2.3 USABILITY ATTRIBUTES; 2.4 BUSINESS ATTRIBUTES; 2.5 STRUCTURAL ATTRIBUTES; 2.6 CHAPTER SUMMARY; 2.7 EXERCISES; 2.8 BIBLIOGRAPHIC NOTES; Chapter 3 A Software Testing Lifecycle; 3.1 A SOFTWARE ENGINEERING LIFECYCLE; 3.2 A SOFTWARE TESTING LIFECYCLE; 3.3 THE V-MODEL OF SOFTWARE TESTING; 3.4 CHAPTER SUMMARY; 3.5 BIBLIOGRAPHIC NOTES; Part II Foundations of Software Testing; Chapter 4 Software Specifications; 4.1 PRINCIPLES OF SOUND SPECIFICATION; 4.1.1 A Discipline of Specification
  • 4.2 RELATIONAL MATHEMATICS4.2.1 Sets and Relations; 4.2.2 Operations on Relations; 4.2.3 Properties of Relations; 4.3 SIMPLE INPUT OUTPUT PROGRAMS; 4.3.1 REPRESENTING SPECIFICATIONS; 4.3.2 ORDERING SPECIFICATIONS; 4.3.3 SPECIFICATION GENERATION; 4.3.4 SPECIFICATION VALIDATION; 4.4 RELIABILITY VERSUS SAFETY; 4.5 STATE-BASED SYSTEMS; 4.5.1 A Relational Model; 4.5.2 AXIOMATIC REPRESENTATION; 4.5.3 SPECIFICATION VALIDATION; 4.6 CHAPTER SUMMARY; 4.7 EXERCISES; 4.8 PROBLEMS; 4.9 BIBLIOGRAPHIC NOTES; Chapter 5 Program Correctness and Verification; 5.1 CORRECTNESS: A DEFINITION
  • 5.2 CORRECTNESS: PROPOSITIONS5.2.1 Correctness and Refinement; 5.2.2 Set Theoretic Characterizations; 5.2.3 Illustrations; 5.3 VERIFICATION; 5.3.1 Sample Formulas; 5.3.2 An Inference System; 5.3.3 Illustrative Examples; 5.4 CHAPTER SUMMARY; 5.5 EXERCISES; 5.6 PROBLEMS; 5.7 BIBLIOGRAPHIC NOTES; Chapter 6 Failures, Errors, and Faults; 6.1 FAILURE, ERROR, AND FAULT; 6.2 FAULTS AND RELATIVE CORRECTNESS; 6.2.1 Fault, an Evasive Concept; 6.2.2 Relative Correctness; 6.3 CONTINGENT FAULTS AND DEFINITE FAULTS; 6.3.1 Contingent Faults; 6.3.2 Monotonic Fault Removal
  • 6.3.3 A Framework for Monotonic Fault Removal6.3.4 Definite Faults; 6.4 FAULT MANAGEMENT; 6.4.1 Lines of Defense; 6.4.2 Hybrid Validation; 6.5 CHAPTER SUMMARY; 6.6 EXERCISES; 6.7 PROBLEMS; 6.8 BIBLIOGRAPHIC NOTES; Chapter 7 A Software Testing Taxonomy; 7.1 THE TROUBLE WITH HYPHENATED TESTING; 7.2 A CLASSIFICATION SCHEME; 7.2.1 Primary Attributes; 7.2.2 Secondary Attributes; 7.3 TESTING TAXONOMY; 7.3.1 Unit-Level Testing; 7.3.2 System-Level Testing; 7.4 EXERCISES; 7.5 BIBLIOGRAPHIC NOTES; Part III Test Data Generation ; Chapter 8 Test Generation Concepts
Control code
904801344
Extent
1 online resource.
Form of item
online
Isbn
9781119065579
Lccn
2015010027
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other control number
40024995093
http://library.link/vocab/ext/overdrive/overdriveId
  • cl0500000649
  • c8161677-68b5-44e9-8a49-27a84631efe6
Specific material designation
remote
System control number
(OCoLC)904801344

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...