Darko Marinov February 5, 2009

Slides:



Advertisements
Similar presentations
Introduction to Software Testing Chapter 1
Advertisements

Introduction to Software Testing Chapter 3.3 Logic Coverage for Source Code Paul Ammann & Jeff Offutt
Introduction to Software Testing Chapter 3.3 Logic Coverage from Source Code Paul Ammann & Jeff Offutt.
CS527: Advanced Topics in Software Engineering (Software Testing and Analysis) Darko Marinov September 18, 2008.
Introduction to Software Testing Chapter 1 Paul Ammann & Jeff Offutt SUMMARY OF PARTS 1 AND 2 FROM LAST WEEK.
Introduction to Software Testing Chapter 2.6 Graph Coverage for Use Cases Paul Ammann & Jeff Offutt
Introduction to Software Testing Chapter 2.6 Graph Coverage for Use Cases Paul Ammann & Jeff Offutt
Introduction to Software Testing Chapter 9.1 Syntax-based Testing Paul Ammann & Jeff Offutt
COMP 151: Computer Programming II Spring Course Topics Review of Java and basics of software engineering (3 classes. Chapters 1 and 2) Recursion.
Introduction to Software Testing Chapter 9.4 Model-Based Grammars Paul Ammann & Jeff Offutt
Introduction to Software Testing Chapter 9.3 Challenges in Testing Software Test Criteria and the Future of Testing Paul Ammann & Jeff Offutt
FEBRUARY 14 1.WRITE DOWN EXAMPLES OF NUMBERS THAT ARE INTEGERS. 2.WRITE DOWN EXAMPLES OF NUMBERS THAT ARE IRRATIONAL. 3.WHICH NUMBERS, IRRATIONAL OR INTEGERS,
Introduction to Software Testing Chapter 2.3 Graph Coverage for Source Code Paul Ammann & Jeff Offutt
Paul Ammann & Jeff Offutt
Cs498dm Software Testing Darko Marinov January 15, 2008.
Software Testing and Maintenance 1 Today’s Agenda  Syllabus.
Cs498dm Software Testing Darko Marinov January 22, 2008.
Introduction to Software Testing Chapter 8.1 Building Testing Tools –Instrumentation Paul Ammann & Jeff Offutt
CS527: Advanced Topics in Software Engineering (Software Testing and Analysis) Darko Marinov August 28, 2008.
Engineering Secure Software. Vulnerability of the Day  Each day, we will cover a different type of code-level vulnerability Usually a demo How to avoid,
Introduction to Software Testing Chapter 5.1 Syntax-based Testing Paul Ammann & Jeff Offutt
Cs498dm Software Testing Darko Marinov January 17, 2012.
Introduction to Software Testing Chapter 2.3 Graph Coverage for Source Code Paul Ammann & Jeff Offutt
Introduction to Software Testing Chapter 2.3 Graph Coverage for Source Code Paul Ammann & Jeff Offutt.
An Undergraduate Course on Software Bug Detection Tools and Techniques Eric Larson Seattle University March 3, 2006.
1 Input Space Partitioning(2). Reading Assignment P. Ammann and J. Offutt “Introduction to Software Testing” ◦ Chapter 4  Section 4.1  Section
Cs498dm Software Testing Darko Marinov January 24, 2008.
Mrs. McConaughyGeometry1 Pythagorean Triples Objective: To determine missing measures by finding and using Pythagorean Triples.
Cs498dm Software Testing Darko Marinov January 27, 2009.
Software Testing and Maintenance Lecture 3 Graph Coverage for Source Code Paul Ammann & Jeff Offutt Instructor: Hossein Momeni Mazandaran.
Cs498dm Software Testing Darko Marinov January 24, 2012.
Introduction to Software Testing (2nd edition) Chapter 5 Criteria-Based Test Design Paul Ammann & Jeff Offutt
Cs498dm Software Testing Darko Marinov January 26, 2012.
Paul Ammann & Jeff Offutt
Paul Ammann & Jeff Offutt
Paul Ammann & Jeff Offutt
Paul Ammann & Jeff Offutt
Paul Ammann & Jeff Offutt
Paul Ammann & Jeff Offutt
Starting to use it with the ACM problems
Paul Ammann & Jeff Offutt
Cs498st Software Testing Tao Xie.
Introduction to Software Testing Chapter 9.2 Program-based Grammars
Paul Ammann & Jeff Offutt
Paul Ammann & Jeff Offutt
Paul Ammann & Jeff Offutt
Coverage-Based Test Design CS 4501 / 6501 Software Testing
Paul Ammann & Jeff Offutt
Software engineering – 1
Testing & Testing Tools
Mid-term Exam Account for 20% of the grade 100 points in total
CS527: (Advanced) Topics in Software Engineering (Software Testing and Analysis) Darko Marinov August 25, 2011.
Introduction to Software Testing Chapter 5.1 Syntax-based Testing
Introduction to Software Testing Chapter 2 Model-Driven Test Design
Introduction to Software Testing
Paul Ammann & Jeff Offutt
Paul Ammann & Jeff Offutt
Paul Ammann & Jeff Offutt
Introduction to Software Testing Chapter 5.2 Program-based Grammars
Test Driven Lasse Koskela Chapter 9: Acceptance TDD Explained
Paul Ammann & Jeff Offutt
CS5103 Software Engineering
Introduction to Software Testing Chapter 5.1 Syntax-based Testing
Paul Ammann & Jeff Offutt
Paul Ammann & Jeff Offutt
Paul Ammann & Jeff Offutt
Paul Ammann & Jeff Offutt
UNIT TESTING TOOLS Workshop on Integrating Software
Paul Ammann & Jeff Offutt
About the Course Software Testing & Verification
Presentation transcript:

Darko Marinov February 5, 2009 cs498dm Software Testing Darko Marinov February 5, 2009

Administrative Info Mailing list confirmed Wiki permissions set up Textbook: Introduction to Software Testing by Paul Ammann and Jeff Offutt Next lectures will be based on the textbook Project: testing refactorings Consider forming groups of 2-3 students Consider which refactorings you’d like to test

Previous Lectures Introduction on “Bugs” Refactoring Why look for bugs? What are bugs? Where they come from? How to detect them? Refactoring What it is? Why you need it? How to perform it? Example Interactive Testing Session TriTyp: Given three integers for the lengths of the sides of a triangle, find the type of triangle Testing fun/hard? Terminology? Testing goal?

Coverage Criteria Did we have any test plan or purpose? Did we specify any test requirements? How good are our tests? Did we generate enough tests? Criterion: rule that imposes test requirements Coverage: satisfaction of test requirements

Why JUnit (or a Similar Tool)? We want to test (early and often) Automated testing Regression testing Alternatives have some cons Different language for scripting A lot of printing if no checking of result Using “main” does not compose well

Today’s Lecture: Coverage Statement coverage

Problem Set 1 Will go out this week Four problems on Chapter 1 and JUnit Two problems on refactorings Total of 120 points, but you need only 100 for maximum score Grading will be strict! Prioritize your work

Next Lecture Tuesday, February 10 Graph Coverage for Code Continuing past statement coverage Project assignment: try some refactorings Think which you’d like to test for your project Discuss ideas with me