Software Testing And Analysis: Process, Principles, And Techniques

0.0

Software Testing & Analysis teaches readers how to test and analyze software to achieve an acceptable level of quality at an acceptable cost. Readers will be able to minimize software failures, increase quality, and effectively manage costs. By incorporating modern topics and strategies, this book will be the standard software-testing textbook. Software Testing and Analysis integrates software testing and analysis techniques into modern software development practice.

0.0

Dr. Michal Young is an Associate Professor of Computer Science at the University of Oregon. In 1996 he directed the Tecnopadova Master of Software Engineering Program in Padua, Italy. He received a Ph.D. degree in Information and Computer Science from University of California, Irvine in 1989. He is a principal investigator on the DARPA-sponsored Arcadia and Perpetual Testing projects. He received an NSF Presidential Young Investigator award in 1991. He was Program Chair for the 1998 ACM/Sigsoft International Symposium on Software Testing and Analysis, and an associate editor of IEEE Transactions on Software Engineering. He has served on the program committees for the ACM Symposium on Foundations of Software Engineering, the International Conference on Software Engineering, IEEE International Conference on Engineering of Complex Computer Systems, and several other conferences. Mauro Pezz PhD, is Professor of Software Engineering at the University of Milano Bicocca and at the University of Lugano. He received his PhD degree in computer science from Politecnico di Milano (Italy). Dr. Pezz is serving as associate editor of ACM Transactions on Software Engineering, and has served as technical program chair of the 2006 ACM International Symposium on Software Testing and Analysis. He has been technical lead for several multi- year international research and development projects in close collaboration with leading European information and communication companies. He also has an active consulting practice. Table of Contents Part I: Fundamentals of Test and Analysis Software Test and Analysis in a Nutshell A Framework for Test and Analysis Basic Principles Test and Analysis Activities within a Software Process Part II: Basic Techniques Finite Models Dependence and Data Flow Models Symbolic Execution and Proof of Properties Finite State Verification Part III: Problems and Methods Test Case Selection and Adequacy Functional Testing Combinatorial Testing Structural Testing Data Flow Testing Model-Based Testing Testing Object-Oriented Software Fault-Based Testing Test Execution Inspection Program Analysis Part IV Process Planning and Monitoring the Process Integration and Component-based Software Testing System, Acceptance, and Regression Testing Automating Analysis and Test Documenting Analysis and Test Bibliography Index