CSG260 materials

This is a list of materials I've been collecting that are relevant to CSG260 and the things we're doing.

Contents:

  1. CSG260 links
  2. SAT Solver Interface
  3. willg implementation
  4. Outsourcing implementation tester
  5. Notes on CSP
  6. Theo's AspectJ usage doc

CSG260 Links

Most of these are links to Professor Lieberherr's directory tree.

I've been looking for test inputs and looking into ways of generating test inputs. These are links related to that:

Sam and I wrote a verifier program which takes inputs in either the format that Daniel suggested or the format Ahmed created based on CSPXML and an output that we agreed upon and verifies whether the assignment in the output satisfies the formula from the input.


SAT Solver Interface

[Back to the top]


willg implementation

README file in the .jar file explains usage and such. Makefile should build it nicely.

[Back to the top]


outsourcing team tester of all testers

README file in the .jar file explains usage and such. Makefile should build it nicely. It requires demeterj-0.8.5 rt.jar and someone's implementation.

NOTE: You must unpack the jar in order to run the tester--you cannot run it from the jar. The problem is that DJ can't find class graph nodes. I suspect the issue is that DJ can't look inside jar files for them.

The testfile grammar is like this:

TestFile = <tests> List(Test) .
Test : ComputeBiasTest | UpdateBiasTest common <result> Result .

ComputeBiasTest = "computebiastest" <testname> TestName <pairs> List(Pair) .
UpdateBiasTest = "updatebiastest" <testname> TestName <beforepoly> Polynomial <pairs> List(OPair) .

Pair = <r> Integer ":" <frac> Double .
OPair = <op> Op <r> Integer ":" <frac> Double .
Op : Added | Subtracted .
Added = "+" .
Subtracted = "-" .

Polynomial = "(" <x3> SDouble "," <x2> SDouble "," <x1> SDouble "," <x0> SDouble ")" .
TestName = <s> Ident .

Result = "result" <v> Double <poly> Polynomial .

SDouble : PDouble | NDouble common <v> Double .
PDouble = .
NDouble = "-" .

List(S) ~ S { S } .

If you're interested in adding other test types to the tester, let me know. Given the way it's organized, it shouldn't be that difficult to do.

[Back to the top]


Notes on CSP

[Back to the top]


Theo's AspectJ Usage on CCS

[Back to the top]