CpSc 873 – Course resources

For the two research paper summaries. Follow this link to the Usenix paper ev aluation criteria. Use the characteristics described as being for a good paper t o structure your critique of the paper. Each summary should be about one page of summary and one page of evaluation. The link is Usenix criteria

second research paper to read

first research paper to read

An open source testing resource

Model Checking paper for March 30th class

The main web page for SPIN

Test Report Format

Thanks to Arun for reminding me

A reformated set of scenarios

Thanks to Rob Morefield for this

The XVCL Eclipse Plugin

The second file "edu.xvcl.workbench_1.0.0M2.zip", with the Last Modified date of February 6th is the most current version of the plugin. To install, unzip the file in the .plugins directory and restart the workbench. From there you can create an XVCL project and eclipse should automatically run the xvcl engine on the top-level, Spec file. Thanks to Shaun Dunning for this.

The scenarios - Final version has been posted

The XVCL website

Another ODC resource, thanks to Rylen

AGM unit test plan template

AGM requirements document

UML Tutorial

UML Test Profile Description

ODC paper

AGM Architecture documentation

BS 7925 Standard for Component Testing

SimpleTest.java

Velocity.class