Quartz 4

EXAM

2 min read

Testing

  1. Black-box testing (Chapter 2)
  2. White-box testing (Chapters 3 OR* 4)
  3. Other testing paradigms (Chapters 5 OR* 6 OR* 7)

(look at chapter 8 for a summary to MAKE SURE you answer all the questions)

Verification

  1. Hoare logic & Hoare calculus (Chapter 10)
  2. Weakest precondition (Chapter 11)
  3. Other verification paradigms (SMT, BMC, IA) (Chapters 12 OR* 13 OR* 14)

(Look at Chapter 15 to make SURE you cover all of the things)

*The “OR” is a logical disjunction, i.e., you may choose to present about one or several of the chapters mentioned.

chatgpt layout suggestion

Great choice going with paper! Much more reliable and you can annotate on the fly. Here’s an optimal structure for your double-sided A4 notes:

SIDE 1 (Front): Presentation Flow

This is your “speaking side” - designed to guide your 4-minute presentation

Top Section (Header):

  • Chapter name + number
  • One-sentence “what is this about” summary
  • 2-3 key terms bolded

Main Content (3 columns):

  1. CORE CONCEPTS (left)

    • 3-4 main definitions
    • Purpose/motivation
    • Use bullet points, keep terse

  2. KEY TECHNIQUES (middle)

    • Main methods/algorithms
    • Step-by-step procedures
    • Visual diagrams if applicable

  3. EXAMPLE (right)

    • One concrete, simple example you can explain in 60-90 seconds
    • Show input → process → output

Bottom Strip:

  • Comparison box: “When to use” / “Limitations”
  • Connection to other chapters

SIDE 2 (Back): Deep Reference

This is your “discussion defense” - for the Q&A portion

Divided into 4 quadrants:

  1. Formal Definitions (top-left)

    • Mathematical notation
    • Theorems/proofs (key points only)
    • Hoare logic rules, calculus formulas, etc.

  2. Advanced Example (top-right)

    • More complex scenario
    • Edge cases
    • Common mistakes

  3. Comparison Table (bottom-left)

    • Compare techniques within the chapter
    • Strengths/weaknesses grid
    • Complexity analysis if relevant

  4. Discussion Points (bottom-right)

    • Anticipated questions
    • Connections to practical applications
    • Limitations and open problems

Specific Tips for Your Topics:

For Logic/Verification chapters (4, 5, 6):

  • Front: Focus on the rules/inference steps with a simple example
  • Back: Include the formal syntax and a worked proof

For Testing chapters (1, 2, 3):

  • Front: Testing strategy with clear example showing coverage
  • Back: Criteria definitions, coverage metrics, comparison table

Formatting Tips:

  • Use 2-column layout where possible (saves space)
  • Color code if printing (definitions=blue, examples=green, warnings=red)
  • Box important formulas
  • Use arrows/flowcharts for processes
  • Leave small margins for last-minute additions

Would you like me to create an actual template document you can fill in? I can make a Word/PDF with this exact layout, or even create a filled example for one of your chapters (like “Black-box testing”) to show you how it looks in practice?

Graph View