desc - DRAFT SYLLABUS CEN 4072/6070 SOFTWARE TESTING AND...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon
DRAFT SYLLABUS: CEN 4072/6070 SOFTWARE TESTING AND VERIFICATION Spring 2010 Description: Software Testing and Verification is a survey course on concepts, principles, and tech- niques related to software testing and formal program verification. Students will become acquainted with both the strengths and limitations of various functional and structural testing methods, as well as techniques for proving the functional correctness of sequential programs. Topics include: black-box and white-box test case design strategies, incremental integration testing techniques, inspections and reviews, axiomatic verification techniques, predicate transforms, and function-based verification. Stu- dents will have the opportunity to practice the techniques presented in class via optional exercises. Prerequisites: (1) Successful completion of an upper division undergraduate or graduate-levelsoftware engineering survey course (such as CEN 3031/5035), or comparable professional experience. (Off-campus EDGE students currently employed as software professionals automatically meet this requirement.) (2) Familiarity with programming using a high-levellanguage (C, C++, Java ,etc.), and (3) Basic knowledge of algorithms, data structures, object-oriented design principles, and discrete math. Note: item (1) will be strictly enforced. If you do not meet this prerequisite, please plan to enroll in CEN 3031/5035 when offered and then register for CEN 6070 in Spring 2011. See the instructor for additional information. Aself-assessment pre-test is available at the course website to assist students in determining their pre- paredness for the course vis-a-vis coverage of a small subset of prerequisite knowledge. Instructor: Steve Thebaut, E314-A, Phone: (352) 450-5530, E-mail: smt ATcise DOTuflDOT edu Office Hours (on-campus students): W/F 9:30-10:30 EST or by appt. Course Meeting Times and Location for On-Campus Students: Wednesday: 6th (12:50-1:40), Friday: 5th and 6th (11:45-1:30) Room: CSE 107 (tentative) Course Web Site: Temporary Site (no password required): www.cise.ufl.edu/class/cen6070/temp.html After the first week of classes, registered students will need a GatorLink account and password to access the website via the E-Learning System at http://lss.at.ufl.edu. Instructions will be provided in class.
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 2
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 01/15/2012 for the course CEN 3031 taught by Professor Staff during the Spring '08 term at University of Florida.

Page1 / 3

desc - DRAFT SYLLABUS CEN 4072/6070 SOFTWARE TESTING AND...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online