Held: Wednesday, 4 February 2015

Back to Outline 09 - Side Effects: Images, Output, and More. On to Outline 11 - Testing Your Procedures, Revisited.

Summary

We consider testing: When, why, and how you might test the procedures and the programs you write.

Related Pages

• Reading: Testing Your Procedures
• Lab: Unit Testing with RackUnit
• Morning EBoard 10 (Source a.m. 10)
• Afternoon EBoard 10 (Source p.m. 10)

Overview

• Why test?
• Strategies for testing.
• The primary testing operations.

Administrivia

• Continue partners!
• Advice from last semester that didn't fit on the exam.
  • If you need tutoring, ask right away!
  • Engage more often with people.
  • Talk to Sam.
• Quiz Friday! Work from the past week (not including today).
  • Procedures.
  • Text output operations: display and newline
  • Image operations: image-load, drawing-render!, etc.
• Mentor session Thursday at 8:00 p.m.
• Review sessions (and exam Q&A sessions) Thursday at 9:00 and 1:15.
• We may try yet another class model. We'll spend some time working on lab, and then we'll get together as a class to discuss answers.
• Warning! This is a newly designed lab. There may be flaws.

Upcoming Work

• Exam 1.
  • Required prologue due Friday night.
  • Exam due in electronic form next Tuesday.
  • Exam due in printed form next Wednesday.
  • Required epilogue due next Wednesday night.
• Lab writeup for lab 10, due Friday, ... http://bit.ly/151-2015S-lab10
• Readings for Friday:
  • Design and Color

Extra Credit Opportunities

Academic

• TODAY Wednesday, February 4, 12:00 noon, JRC 101, Scholars' Convication: "The Fight for Economic Justice from the Streets of Chicago" by Virginia Parks.
• Any other event in this Rosenfield symposium.
• Thursday extra this week.
• Friday, February 6, 12:00 noon, Science 3821, CS Table, Summer Research Opportunities for CS Students
• TEDx Grinnell, sometime in February.

Peer Support (Morning Section)

• Julia's radio show, "The Hot Box". Wednesday night/Thursday morning 1:00-2:00 a.m. Next week's theme might be Summertime
• Swimming, Conference Championships, February 13-15, The Osgood
• Track and Field, Saturday at 10 a.m., the Bear Fieldhouse

Peer Support (Afternoon Section)

• Swimming, Conference Championships, February 13-15, The Osgood
• Track and Field, Saturday at 10 a.m., the Bear Fieldhouse
• Men's Basketball, Saturday at 3:00 p.m., New Darby

Recommended Events (no EC unless mentioned above)

• #OneGrinnell, Wednesday, February 4 at 4:15 p.m.

Most of my thoughts on testing have ended up in the reading.

Basic Idea

• We verify the correctness of procedures by running tests that compare predicated values to actual values.

Model

• We do a single comparison with check-equal? (or some variants).
• We group one or more comparisons into a test case with test-case. That lets us add a description to the checks.
• We group one or more tests or comparisons into a test suite with test-suite. Unlike test-case, which runs the test,, test-suite builds a value that you run later.