| Course Title: | Software Testing, Verification, Validation and Quality Assurance | ||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Class Info.: |
| ||||||||||||||||
| Status: | Section Status: CLOSED Available Seats: -9 Enrolled Total: 49 | ||||||||||||||||
| Description: | SE 4367 - Software Testing, Verification, Validation and Quality Assurance (3 semester hours) Methods for evaluating software for correctness and reliability, including code inspections, program proofs and testing methodologies. Formal and informal proofs of correctness. Code inspections and their role in software verification. Unit and system testing techniques, testing tools and limitations of testing. Statistical testing, reliability models. Prerequisites: SE 3306, CE/CS/SE 3354 or instructor consent required. (3-0) S | ||||||||||||||||
| Instructor(s): | Mark Paulk email: mcp130030@utdallas.edu | ||||||||||||||||
| Schedule: | Class Location and Times Location: UT Dallas - Main Campus Tuesday & Thursday: 11:30am-12:45pm ECSS 2.201 Term: Spring 2013 ECSS Building - Floor 2 - Room 2.201 ![]() | ||||||||||||||||
| Exams: | Date: May 7, 2013 Time: 11:00am-1:45pm Location: ECSS 2.201 | ||||||||||||||||
| College: | Erik Jonsson School of Engineering and Computer Science | ||||||||||||||||
| Syllabus: | Syllabus for Software Testing, Verification, Validation and Quality Assurance (se4367.001.13s) taught by Mark Paulk. | ||||||||||||||||
| Class Evaluation: | A class evaluation for Software Testing, Verification, Validation and Quality Assurance (se4367.001.13s) taught by Mark Paulk hasn't been posted. |
