Two Case Studies: QuickCheck and Wash/CGI

2001-12-09


Klicka här för att starta


Innehållsförteckning

Two Case Studies: QuickCheck and Wash/CGI

Motivations

QuickCheck: The Research Hypothesis

QuickCheck: The Research Hypothesis

A “Demo”

A “Demo”

A “Demo”

A “Demo”

A “Demo”

A “Demo”

A “Demo”

A “Demo”

A “Demo”

A “Demo”

A “Demo”

A “Demo”

Property Language

Set = Test Data Generator

Set = Test Data Generator

Type Based Generation

Type Based Testing

Generation Language

Random Numbers in Haskell

A Generator Monad Transformer

Representation of Properties

Did it Work?

Current Work: Testing Imperative ADTs

Current Work: Testing Imperative ADTs

Current Work: Testing Imperative ADTs

Current Work: Testing Imperative ADTs

Current Work: Testing Imperative ADTs

Future Work

QuickCheck Summary

QuickCheck Summary

Wash/CGI: The Goal

Counter Example

Counter Example

Counter Example

Counter Example

Counter Example

Extended Counter

File Uploader

File Uploader

File Uploader

Lab Result Entry System

Lab Result Entry System

Lab Result Entry System

Lab Result Entry System

Lab Result Entry System

Wash/CGI Paradigm

How CGI Works

How CGI Works

How CGI Works

How CGI Works

How CGI Works

How CGI Works

Saving the State

How Can We Save the State?

A Monad Transformer for Resumable Actions

Example of Resuming

Defining Resume

Defining Resume

Defining Resume

Defining Resume

Defining Resume

The CGI Monad

How Input Fields Work

How Input Fields Work

HTML Generation

HTML Generation

HTML Monad Transformer

HTML Example

Wash/CGI Summary

Författare: John Hughes

E-post: rjmh@cs.chalmers.se

Hemsida: www.cs.chalmers.se/~rjmh