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

Info icon This 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-level software 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-level language (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. A self-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 AT cise DOT ufl DOT 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.
Image of page 1

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

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

{[ snackBarMessage ]}

What students are saying

  • Left Quote Icon

    As a current student on this bumpy collegiate pathway, I stumbled upon Course Hero, where I can find study resources for nearly all my courses, get online help from tutors 24/7, and even share my old projects, papers, and lecture notes with other students.

    Student Picture

    Kiran Temple University Fox School of Business ‘17, Course Hero Intern

  • Left Quote Icon

    I cannot even describe how much Course Hero helped me this summer. It’s truly become something I can always rely on and help me. In the end, I was not only able to survive summer classes, but I was able to thrive thanks to Course Hero.

    Student Picture

    Dana University of Pennsylvania ‘17, Course Hero Intern

  • Left Quote Icon

    The ability to access any university’s resources through Course Hero proved invaluable in my case. I was behind on Tulane coursework and actually used UCLA’s materials to help me move forward and get everything together on time.

    Student Picture

    Jill Tulane University ‘16, Course Hero Intern