Linux虚拟化技术

Linux下的实时调度算法.pdf

Software Testing and Analysis: Process, Principles and Techniques byMauro PezzandMichal Young John Wiley & Sons 2008 (510 pages) ISBN:9780471455936 Providing students and professionals with strategies for reliable, cost-effective software development, this guide covers a full spectrum of topics from basic principles and underlying theory to organizational and process issues in real-world application. Table of Contents Software Testing and Analysis-Process, Principles, and Techniques Preface Part I - Fundamentals of Test and Analysis Chapter 1 - Software Test and Analysis in a Nutshell Chapter 2 - A Framework for Test and Analysis Chapter 3 - Basic Principles Chapter 4 - Test and Analysis Activities Within a Software Process Part II - Basic Techniques Chapter 5 - Finite Models Chapter 6 - Dependence and Data Flow Models Chapter 7 - Symbolic Execution and Proof of Properties Chapter 8 - Finite State Verification Part III - Problems and Methods Chapter 9 - Test Case Selection and Adequacy Chapter 10 - Functional Testing Chapter 11 - Combinatorial Testing Chapter 12 - Structural Testing Chapter 13 - Data Flow Testing Chapter 14 - Model-Based Testing Chapter 15 - Testing Object-Oriented Software Chapter 16 - Fault-Based Testing Chapter 17 - Test Execution Chapter 18 - Inspection Chapter 19 - Program Analysis Part IV - Process Chapter 20 - Planning and Monitoring the Process Chapter 21 - Integration and Component-based Software Testing Chapter 22 - System, Acceptance, and Regression Testing Chapter 23 - Automating Analysis and Test Chapter 24 - Documenting Analysis and Test Bibliography Index List of Figures List of Tables List of Sidebars