Dr. Branson W. Murrill
Department of Computer Science
School of Engineering

CSC 525

Introduction to Software Analysis, Testing, and Verification

This page was last updated on 11/18/08

Tests

There are no tests and no final exam. The course grade is based on homework assignment grades.

Grades

If you have concerns about your grade, please talk to me before the withdrawal deadline.

Final grades will be available shortly after the end of the semester and can be accessed online thru Student eServices.

Useful information

Course notes will be distributed via email.

List of classmates' worst software bugs

Setting up a ramdrive in DOS.  A ramdrive is an area of memory configured to operate logically like a disk drive.
                                                This is useful for faster execution of programs that generate and use temporary files.

Assignments

Unless otherwise specified, assignments should be emailed to the instructor.

Subject should read:                     CMSC 525 <student name> <hw#>      i.e.  CMSC 525 murrillb hw3   (note single blanks)
Attachments should be named:     <student name> <hw#>.<extension>      i.e.  murrillb hw3.doc, murrillb hw3.txt, murrillb hw3 input.txt
<student name> is your last name and first initial in lower case, no blanks or punctuation.
Use blanks instead of underscores in file names and only as shown in the examples, so the grader's file sorting program will work correctly.

    Homework 0 - (5 points) Send me your email address with "525 notes" as the subject within 24 hours of the first class for my class mailing list.

    Homework 1 - due Tuesday, 9/2.

    Homework 2 - due Tuesday, 9/16.

    Homework 3 - due Thursday, 10/2.   Executable homework program:  hw3.exe

    Homework 4 - due Tuesday, 10/14.

    Homework 5 - due Tuesday, 10/28.

    Homework 6 - due Tuesday, 11/11.  

    Homework 7 - due Thursday, 11/20. 

    Homework 8 - due Tuesday, 12/2.   

Examples
    To download, place the cursor on the link, right-click, select "save link as", and save the file with the correct extension. 

    Doscom example (Pascal) - Executes DOS commands from within the program.     doscom.pas      doscom.exe

    Doscom example (Java) - Executes DOS commands from within the program.     doscom.java

    Tool example (Pascal) - Repeatedly builds an input file, executes another program with that input, and captures the output.
                                                    tool.pas      tool.exe     sumdif.pas      sumdif.exe     sumdif.dat

    TimeStamp example - Timestamps sections of code, calculates and prints the elapsed time.    timestmp.java