By incorporating software testing and analysis techniques into modern practice, Mauro Pezzè, PhD, is Professor of Computer Science at the University of. Software Testing and Analysis: Process, Principles and Techniques Mauro Pezzè, Mattia Vivanti, Dynamic data flow testing of object oriented systems. Full-Text Paper (PDF): Software Testing and Analysis: Process, Principles, Mauro Pezzè at University of Lugano Software Testing and Analysis: Process.

Author: Tojaran Kagabar
Country: Oman
Language: English (Spanish)
Genre: Finance
Published (Last): 13 December 2010
Pages: 26
PDF File Size: 19.50 Mb
ePub File Size: 18.31 Mb
ISBN: 287-9-70348-402-1
Downloads: 14631
Price: Free* [*Free Regsitration Required]
Uploader: Gami

Software Testing and Analysis: Process, Principles and Techniques

Structural Testing [ ppt pdf ] Chapter It is widely used, and is the example model checker in Chapter 8. Related resource Table of contents only at http: Contents Software Test and Analysis in a Nutshell. From inside the book. Skip to content Skip to search.

Parramatta South Campus Library. Swinburne University of Technology. Process, Principles, and Techniques is the first book to present a range of complementary software test and analysis techniques in an integrated, coherent fashion.

University of Wollongong Library. Then set up a personal list of libraries amd your profile page by clicking on your user name at the top right of any screen.

He earned a doctorate in information and computer science software testing and analysis mauro pezze University of California, Irvine. University of Queensland Library.

Lists What software testing and analysis mauro pezze lists? Contents 1 Software test and analysis in a nutshell 2 A framework for test and analysis 3 Basic principles 4 Test and analysis activities within a software process 5 Finite models 6 Dependence and data flow models 7 Symbolic execution and proof of properties 8 Finite state verification 9 Test case selection and adequacy 10 Functional testing 11 Combinatorial testing 12 Structural testing 13 Data flow testing 14 Model-based testing 15 Testing object-oriented software 16 Fault-based testing 17 Test execution 18 Inspection 19 Program analysis 20 Planning and monitoring ;ezze process 21 Integration and component-based software testing 22 System, acceptance, and regression testing 23 Automating analysis and test 24 Documenting analysis and test.

The first comprehensive book on software test and analysis You can’t “test quality into” a software product, but neither can you build a quality software product without test and analysis. Software testing and analysis: Computer software — Testing. Other Authors Young, Michal. The emphasis throughout is on selecting a complementary set of practical techniques to achieve an acceptable level of quality at an acceptable cost.

Be the first to add this to a list. Open to the public ; Software testing and analysis: Login to add to list. Queensland University of Technology. Exercises reinforce the instruction and ensure that you master each topic before proceeding. It lists several tools both commercial and open source and links to some articles.

Wiley- Computers – pages. We don’t promise to take all suggestions, but we do appreciate your help. University of Qnd Sydney. Software testing and analysis mauro pezze 3 locations in Victoria: Alloy is the name of a notation and a checker for pezzr notation.

Testing Object-Oriented Software [ ppt pdf ] Chapter Includes bibliographical references pages and index.

Software Testing and Analysis

This single location in Australian Capital Territory: In our experience it can be used software testing and analysis mauro pezze classroom projects, but students need a lot of guidance to build appropriately abstract models.

Software Testing and Analysis: You also mauuro like to try some of these bookshopswhich may or may not sell this item. Software Testing and Analysis: Functional Testing [ ppt pdf ] Chapter He also has an active consulting practice.

Tags What are tags? Do you have a teaching approach or software testing and analysis mauro pezze to share with other instructors using this text? Fault-Based Testing [ ppt pdf ] Chapter Model-Based Testing [ ppt pdf ] Chapter We welcome labs and exercises from other instructors. It covers a full spectrum of topics from basic principles and underlying theory to testung and process issues in real-world application.

Open to the public.