Computer Science
Department
CS 614-D: Advanced Topics in Software Engineering --- Measurement,
Analysis & Evaluation, Spring 2013
Special Focus: Testing Untestable Software
UNDER CONSTRUCTION This is an early draft of the course web
page.
ANNOUNCEMENTS
Go to the password-protected
RamCT CS-614 home page. Soon to be set up.
Basic Course Information
-
CS614-D is a research-oriented class,
which has a different focus each time that it is offered. Students read and evaluate reseach papers, and conduct a research project.
During the Spring
2013 semester we focus on methods to objectively test and evaluate programs that are classified as untestable.
A program is untestable when necessary elements required for comprehensive automated testing are not available. For example, automated testing is not possible without an automated test oracle. Scientific software, programs developed for science research, is often untestable because the programs are developed to discover a solution to an unsolved problem and/or there is too much output for automatic verification.
We will examine
the requirements for testable software and find approaches for making untestable software testable through improved testing and/or analysis techniques.
We will take a quantitative measuremnt approach throughout the course.
- Objectives: To
- Understand the requirements for testable software, and the causes of untestability.
- Identify and evaluate approches for testing untestable software.
- Learn how to frame and solve a research problem in software
engineering.
- Learn how to critically evaluate research literature and
other technical publications in software engineering.
-
- Prerequisite: You must satisfy at least one of the
following:
- Successful completion of CS514 or CS517.
- Permission of instructor.
- Instructor: Jim
Bieman, bieman(at)cs.colostate.edu
- Office Hours:
- TBA
- When and Where: Tuesday/Thursday, 12:30 PM to 1:45
PM 425 CS Building.
Comments: bieman(at)CS.ColoState.EDU
Last modified: 10 December 2012