CSC 309, Spring 2015, Gene Fisher

CSC 309, Spring 2015
Gene Fisher

General Index:

lectures -- lecture notes, as presented in class

handouts -- various informational handouts, distributed in class

specs -- requirements specs from CSC 308 (or 205), being implemented in CSC 309

examples -- project examples, excerpts handed out in class

doc -- documentation and downloads for tools

bin -- directory of executable tools

grades -- project milestone evaluations (requires group password to enter)

Items of Near-Term Interest:

spest questionnaire -- please follow the link to answer a few questions about using Spest for formal specification in CSC 308 and 309
milestone 5 writeup -- completed design, implementation, and testing; final presentation, per this schedule ; NOTE: Team 1 and Token CSC have swapped times, as agreed on Friday 29 June
acceptance testing handout -- discussion of acceptance testing plan and procedure for milestone 5
final project checklist -- final project is due no later than Thurs 11 June
final exam overview and sample final exam with answers -- some final sample content and concrete example from a previous "all Java" quarter; as on midterm, your answers can be specific to the development environment used by your team this quarter

Index by Week:

Week 1:

course syllabus -- introductory description of the course

milestone 1 writeup -- group formation, project selection, initial SCOs, initial work breakdown

milestone 2 writeup -- package design, derived model/view class design, high-level testing design

lecture notes week 1 -- introduction to the course; introduction to the design process

Week 2:

milestone 2 example -- package design, derived model/view class design, high-level testing design

standard operating procedures, volume 1 -- introduction to the projects directory structure, standard update procedures, and group governance duties

standard operating procedures, volume 2 -- Java design and implementation conventions

svn basics -- basic commands for using the subversion version control system (SVN)

lecture notes 2 -- general design principles and high-level design patterns; specification-to- design refinement

Week 3:

milestone 3 writeup -- continued model/view design and implementation; functional testing design

graphical modeling notation -- a UML-based modeling notation

lecture notes week 3 -- more on model/view design; design for independent and incremental testing; refining a derived model design using the java library

Week 4:

lecture notes week 4 -- formal method specification and its use in testing; introduction to system testing techniques

Week 5:

Spest release -- initial release of test generation tool

Milestone 4 writeup -- continued model/view design and implementation; initial work on formal testing design, implementation, and coverage

lecture notes week 5 -- testing implementation

Weeks 6 and 7:

lecture notes weeks 6 and 7 -- design refinement; introduction to code coverage measures

Week 8:

milestone 5 -- completed design, implementation, and testing; final presentation

user-level acceptance testing -- description of acceptance test plan and procedure

lecture notes week 8 -- administrative matters; code coverage; acceptance testing

Week 9:

noteworthy testing literature -- scholarly and practical information on software testing, in particular test adequacy and coverage

lecture notes week 9 -- introduction to "classic" design patterns

Week 10:

final project checklist -- final project is due no later than Thurs 11 June

final exam overview -- overview of question areas for final exam

lecture notes week 10 -- introduction to formal program verification

Document File Formats:

Data files are available in the following formats:

HTML, suitable for viewing with a WWW browser; these files have a ".html" extension.

PDF, suitable for viewing with Adobe Reader; these files have a ".pdf" extension.

PostScript, suitable for viewing on a PostScript previewer and printing on a PostScript printer; these files have a ".ps" extension.

Most file links point to HTML files. To access the PDF version of a document, replace the ".html" extension in the browser address bar with ".pdf".