1 programming style files lecture 1 slides by sylvia sorkin, community college of baltimore county -...
Post on 22-Dec-2015
235 views
TRANSCRIPT
![Page 1: 1 Programming Style Files Lecture 1 Slides by Sylvia Sorkin, Community College of Baltimore County - Essex Campus Modified by Reneta Barneva, SUNY-Fredonia](https://reader035.vdocuments.net/reader035/viewer/2022062320/56649d7a5503460f94a5da3b/html5/thumbnails/1.jpg)
1
Programming StyleFiles
Lecture 1
Slides by Sylvia Sorkin, Community College of Baltimore County - Essex Campus
Modified by Reneta Barneva, SUNY-Fredonia
![Page 2: 1 Programming Style Files Lecture 1 Slides by Sylvia Sorkin, Community College of Baltimore County - Essex Campus Modified by Reneta Barneva, SUNY-Fredonia](https://reader035.vdocuments.net/reader035/viewer/2022062320/56649d7a5503460f94a5da3b/html5/thumbnails/2.jpg)
2
Abstraction
A model of a complex system that includes only the details essential to the perspective of the viewer of the system.
![Page 3: 1 Programming Style Files Lecture 1 Slides by Sylvia Sorkin, Community College of Baltimore County - Essex Campus Modified by Reneta Barneva, SUNY-Fredonia](https://reader035.vdocuments.net/reader035/viewer/2022062320/56649d7a5503460f94a5da3b/html5/thumbnails/3.jpg)
3
Information Hiding
Hiding the details of a function or data structure with the goal of controlling access to the details of a module or structure.
PURPOSE: To prevent high-level designs from depending on low-level design details that may be changed.
![Page 4: 1 Programming Style Files Lecture 1 Slides by Sylvia Sorkin, Community College of Baltimore County - Essex Campus Modified by Reneta Barneva, SUNY-Fredonia](https://reader035.vdocuments.net/reader035/viewer/2022062320/56649d7a5503460f94a5da3b/html5/thumbnails/4.jpg)
4
Two Approaches to Building Manageable
Modules
Divides the problem into more easily handled subtasks, until the functional modules (subproblems) can be coded.
Identifies various objects composed of data and operations, that can be used together to solve the problem.
FUNCTIONALDECOMPOSITION
OBJECT-ORIENTED DESIGN
FOCUS ON: processes FOCUS ON: data objects
![Page 5: 1 Programming Style Files Lecture 1 Slides by Sylvia Sorkin, Community College of Baltimore County - Essex Campus Modified by Reneta Barneva, SUNY-Fredonia](https://reader035.vdocuments.net/reader035/viewer/2022062320/56649d7a5503460f94a5da3b/html5/thumbnails/5.jpg)
5
FindWeighted Average
PrintWeighted Average
Functional Design Modules
Main
Print Data
Print Heading
Get DataPrepare File for Reading
![Page 6: 1 Programming Style Files Lecture 1 Slides by Sylvia Sorkin, Community College of Baltimore County - Essex Campus Modified by Reneta Barneva, SUNY-Fredonia](https://reader035.vdocuments.net/reader035/viewer/2022062320/56649d7a5503460f94a5da3b/html5/thumbnails/6.jpg)
6
Object-Oriented DesignA technique for developing a program in which
the solution is expressed in terms of objects -- self- contained entities composed of data and operations on that data.
Private data
<<
setf...
Private data
>>
get...
ignore
cin cout
![Page 7: 1 Programming Style Files Lecture 1 Slides by Sylvia Sorkin, Community College of Baltimore County - Essex Campus Modified by Reneta Barneva, SUNY-Fredonia](https://reader035.vdocuments.net/reader035/viewer/2022062320/56649d7a5503460f94a5da3b/html5/thumbnails/7.jpg)
7
More about OOD
Languages supporting OOD include: C++, Java, Smalltalk, Eiffel, and Object-Pascal.
A class is a programmer-defined data type and objects are variables of that type.
In C++, cin is an object of a data type (class) named istream, and cout is an object of a class ostream. Header files iostream.h and fstream.h contain definitions of stream classes.
![Page 8: 1 Programming Style Files Lecture 1 Slides by Sylvia Sorkin, Community College of Baltimore County - Essex Campus Modified by Reneta Barneva, SUNY-Fredonia](https://reader035.vdocuments.net/reader035/viewer/2022062320/56649d7a5503460f94a5da3b/html5/thumbnails/8.jpg)
8
Procedural vs. Object-Oriented Code
“Read the specification of the software you want to build. Underline the verbs if you are after procedural code, the nouns if you aim for an object-oriented program.”
Brady Gooch, “What is and Isn’t Object Oriented Design,” 1989.
![Page 9: 1 Programming Style Files Lecture 1 Slides by Sylvia Sorkin, Community College of Baltimore County - Essex Campus Modified by Reneta Barneva, SUNY-Fredonia](https://reader035.vdocuments.net/reader035/viewer/2022062320/56649d7a5503460f94a5da3b/html5/thumbnails/9.jpg)
9
Program Verification is the process of determining the degree to which a software product fulfills its specifications.
Program Verification
PROGRAM
SPECIFICATIONS
Inputs
Outputs
Processing Requirements
Assumptions
![Page 10: 1 Programming Style Files Lecture 1 Slides by Sylvia Sorkin, Community College of Baltimore County - Essex Campus Modified by Reneta Barneva, SUNY-Fredonia](https://reader035.vdocuments.net/reader035/viewer/2022062320/56649d7a5503460f94a5da3b/html5/thumbnails/10.jpg)
10
Verification vs. Validation
Program verification asks,
“Are we doing the job right?”
Program validation asks,
“Are we doing the right job?”
B. W. Boehm, Software Engineering Economics, 1981.
![Page 11: 1 Programming Style Files Lecture 1 Slides by Sylvia Sorkin, Community College of Baltimore County - Essex Campus Modified by Reneta Barneva, SUNY-Fredonia](https://reader035.vdocuments.net/reader035/viewer/2022062320/56649d7a5503460f94a5da3b/html5/thumbnails/11.jpg)
11
Program Testing
Testing is the process of executing a program with various data sets designed to discover errors.
DATA SET 1
DATA SET 2
DATA SET 3
DATA SET 4
. . .
![Page 12: 1 Programming Style Files Lecture 1 Slides by Sylvia Sorkin, Community College of Baltimore County - Essex Campus Modified by Reneta Barneva, SUNY-Fredonia](https://reader035.vdocuments.net/reader035/viewer/2022062320/56649d7a5503460f94a5da3b/html5/thumbnails/12.jpg)
12
Various Types of Errors
Design errors occur when specifications are wrong
Compile errors occur when syntax is wrong
Run-time errors result from incorrect assumptions, incomplete understanding of the programming language, or unanticipated user errors.
![Page 13: 1 Programming Style Files Lecture 1 Slides by Sylvia Sorkin, Community College of Baltimore County - Essex Campus Modified by Reneta Barneva, SUNY-Fredonia](https://reader035.vdocuments.net/reader035/viewer/2022062320/56649d7a5503460f94a5da3b/html5/thumbnails/13.jpg)
13
Robustness
Robustness is the ability of a program to recover following an error; the ability of a program to continue to operate within its environment.
![Page 14: 1 Programming Style Files Lecture 1 Slides by Sylvia Sorkin, Community College of Baltimore County - Essex Campus Modified by Reneta Barneva, SUNY-Fredonia](https://reader035.vdocuments.net/reader035/viewer/2022062320/56649d7a5503460f94a5da3b/html5/thumbnails/14.jpg)
14
An Assertion Is a logical proposition that is either true or
false (not necessarily in C++ code).
EXAMPLES
studentCount is greater than 0
sum is assigned && count > 0
response has value ‘y’ or ‘n’
partNumber == 5467
![Page 15: 1 Programming Style Files Lecture 1 Slides by Sylvia Sorkin, Community College of Baltimore County - Essex Campus Modified by Reneta Barneva, SUNY-Fredonia](https://reader035.vdocuments.net/reader035/viewer/2022062320/56649d7a5503460f94a5da3b/html5/thumbnails/15.jpg)
15
Preconditions and Postconditions
The precondition is an assertion describing what a function requires to be true before beginning execution.
The postcondition describes what must be true at the moment the function finishes execution.
The caller is responsible for ensuring the precondition, and the function code must ensure the postcondition. FOR EXAMPLE . . .
![Page 16: 1 Programming Style Files Lecture 1 Slides by Sylvia Sorkin, Community College of Baltimore County - Essex Campus Modified by Reneta Barneva, SUNY-Fredonia](https://reader035.vdocuments.net/reader035/viewer/2022062320/56649d7a5503460f94a5da3b/html5/thumbnails/16.jpg)
16
void PrintList ( ofstream& dataFile, UnsortedType list)
// Pre: list has been initialized.
// dataFile is open for writing.
// Post: Each component in list has been written to dataFile.
// dataFile is still open.
{ int length;
ItemType item;
list.ResetList();
length = list.LengthIs();
for (int counter = 1; counter <= length; counter++)
{
list.GetNextItem(item);
item.Print(dataFile);
}
}16
An Example
![Page 17: 1 Programming Style Files Lecture 1 Slides by Sylvia Sorkin, Community College of Baltimore County - Essex Campus Modified by Reneta Barneva, SUNY-Fredonia](https://reader035.vdocuments.net/reader035/viewer/2022062320/56649d7a5503460f94a5da3b/html5/thumbnails/17.jpg)
17
Another Example
void GetRoots (float a, float b, float c,
float& Root1, float& Root2 )
// Pre: a, b, and c are assigned.
// a is non-zero, b*b - 4*a*c is non-zero.
// Post: Root1 and Root2 are assigned
// Root1 and Root2 are roots of quadratic with coefficients a, b, c
{ float temp;
temp = b * b - 4.0 * a * c;
Root1 = (-b + sqrt(temp) ) / ( 2.0 * a );
Root2 = (-b - sqrt(temp) ) / ( 2.0 * a );
return;
}
![Page 18: 1 Programming Style Files Lecture 1 Slides by Sylvia Sorkin, Community College of Baltimore County - Essex Campus Modified by Reneta Barneva, SUNY-Fredonia](https://reader035.vdocuments.net/reader035/viewer/2022062320/56649d7a5503460f94a5da3b/html5/thumbnails/18.jpg)
18
A Walk-Through
Is a verification method using a team to perform a manual simulation of the program or design, using sample test inputs, and keeping track of the program’s data by hand.
Its purpose is to stimulate discussion about the programmer’s design or implementation .
![Page 19: 1 Programming Style Files Lecture 1 Slides by Sylvia Sorkin, Community College of Baltimore County - Essex Campus Modified by Reneta Barneva, SUNY-Fredonia](https://reader035.vdocuments.net/reader035/viewer/2022062320/56649d7a5503460f94a5da3b/html5/thumbnails/19.jpg)
19
Tasks within each test case:
determine inputs that demonstrate the goal.
determine the expected behavior for the input.
run the program and observe results.
compare expected behavior and actual behavior. If they differ, we begin debugging.
![Page 20: 1 Programming Style Files Lecture 1 Slides by Sylvia Sorkin, Community College of Baltimore County - Essex Campus Modified by Reneta Barneva, SUNY-Fredonia](https://reader035.vdocuments.net/reader035/viewer/2022062320/56649d7a5503460f94a5da3b/html5/thumbnails/20.jpg)
20
Integration Testing
Is performed to integrate program modules that have already been independently unit tested.
FindWeighted Average
PrintWeighted Average
Main
Print Data
Print Heading
Get DataPrepare File for Reading
![Page 21: 1 Programming Style Files Lecture 1 Slides by Sylvia Sorkin, Community College of Baltimore County - Essex Campus Modified by Reneta Barneva, SUNY-Fredonia](https://reader035.vdocuments.net/reader035/viewer/2022062320/56649d7a5503460f94a5da3b/html5/thumbnails/21.jpg)
21
Integration Testing Approaches
Ensures correct overall design logic.
Ensures individual moduleswork together correctly, beginning with the lowest level.
TOP-DOWN BOTTOM-UP
USES: placeholder USES: a test driver to callmodule “stubs” to test the functions being tested.the order of calls.
![Page 22: 1 Programming Style Files Lecture 1 Slides by Sylvia Sorkin, Community College of Baltimore County - Essex Campus Modified by Reneta Barneva, SUNY-Fredonia](https://reader035.vdocuments.net/reader035/viewer/2022062320/56649d7a5503460f94a5da3b/html5/thumbnails/22.jpg)
22
Files
![Page 23: 1 Programming Style Files Lecture 1 Slides by Sylvia Sorkin, Community College of Baltimore County - Essex Campus Modified by Reneta Barneva, SUNY-Fredonia](https://reader035.vdocuments.net/reader035/viewer/2022062320/56649d7a5503460f94a5da3b/html5/thumbnails/23.jpg)
23
Keyboard and Screen I/O
#include <iostream.h>
cin
(of type istream)
cout
(of type ostream)
Keyboard Screenexecutingprogram
input data output data
![Page 24: 1 Programming Style Files Lecture 1 Slides by Sylvia Sorkin, Community College of Baltimore County - Essex Campus Modified by Reneta Barneva, SUNY-Fredonia](https://reader035.vdocuments.net/reader035/viewer/2022062320/56649d7a5503460f94a5da3b/html5/thumbnails/24.jpg)
24
<iostream.h> is header file
for a library that defines 3 objects
an istream object named cin (keyboard)
an ostream object named cout (screen)
an ostream object named cerr (screen)
![Page 25: 1 Programming Style Files Lecture 1 Slides by Sylvia Sorkin, Community College of Baltimore County - Essex Campus Modified by Reneta Barneva, SUNY-Fredonia](https://reader035.vdocuments.net/reader035/viewer/2022062320/56649d7a5503460f94a5da3b/html5/thumbnails/25.jpg)
25
Insertion Operator ( << )
The insertion operator << takes 2 operands.
The left operand is a stream expression, such as cout.
The right operand is an expression describing what to insert into the output stream. It may be of simple type, or a string, or a manipulator (like endl).
![Page 26: 1 Programming Style Files Lecture 1 Slides by Sylvia Sorkin, Community College of Baltimore County - Essex Campus Modified by Reneta Barneva, SUNY-Fredonia](https://reader035.vdocuments.net/reader035/viewer/2022062320/56649d7a5503460f94a5da3b/html5/thumbnails/26.jpg)
26
Extraction Operator ( >> )
Variable cin is predefined to denote an input stream from the standard input device ( the keyboard ).
The extraction operator >> called “get from” takes 2 operands. The left operand is a stream expression, such as cin. The right operand is a variable of simple type.
Operator >> attempts to extract the next item from the input stream and store its value in the right operand variable.
![Page 27: 1 Programming Style Files Lecture 1 Slides by Sylvia Sorkin, Community College of Baltimore County - Essex Campus Modified by Reneta Barneva, SUNY-Fredonia](https://reader035.vdocuments.net/reader035/viewer/2022062320/56649d7a5503460f94a5da3b/html5/thumbnails/27.jpg)
27
Extraction Operator >>
“skips” (reads but does not store anywhere)
leading whitespace characters
(blank, tab, line feed, form feed, carriage return)
before extracting the input value from the stream (keyboard or file).
To avoid skipping, use function get to read the next character in the input stream.
cin.get(inputChar);
![Page 28: 1 Programming Style Files Lecture 1 Slides by Sylvia Sorkin, Community College of Baltimore County - Essex Campus Modified by Reneta Barneva, SUNY-Fredonia](https://reader035.vdocuments.net/reader035/viewer/2022062320/56649d7a5503460f94a5da3b/html5/thumbnails/28.jpg)
#include <iostream.h>
int main( )
{ // USES KEYBOARD AND SCREEN I/O
int partNumber;
float unitPrice;
cout << “Enter part number followed by return : “
<< endl ; // prompt
cin >> partNumber ;
cout << “Enter unit price followed by return : “
<< endl ;
cin >> unitPrice ;
cout << “Part # “ << partNumber // echo
<< “at Unit Cost: $ “ << unitPrice << endl ;
return 0;
}28
![Page 29: 1 Programming Style Files Lecture 1 Slides by Sylvia Sorkin, Community College of Baltimore County - Essex Campus Modified by Reneta Barneva, SUNY-Fredonia](https://reader035.vdocuments.net/reader035/viewer/2022062320/56649d7a5503460f94a5da3b/html5/thumbnails/29.jpg)
29
Disk files for I/O
your variable
(of type ifstream)
your variable
(of type ofstream)
disk file“A:\myInfile.dat”
disk file“A:\myOut.dat”
executingprogram
input data output data
#include <fstream.h>
![Page 30: 1 Programming Style Files Lecture 1 Slides by Sylvia Sorkin, Community College of Baltimore County - Essex Campus Modified by Reneta Barneva, SUNY-Fredonia](https://reader035.vdocuments.net/reader035/viewer/2022062320/56649d7a5503460f94a5da3b/html5/thumbnails/30.jpg)
30
For File I/O use #include <fstream.h>
choose valid variable identifiers for your files and declare them
open the files and associate them with disk names
use your variable identifiers with >> and <<
close the files
![Page 31: 1 Programming Style Files Lecture 1 Slides by Sylvia Sorkin, Community College of Baltimore County - Essex Campus Modified by Reneta Barneva, SUNY-Fredonia](https://reader035.vdocuments.net/reader035/viewer/2022062320/56649d7a5503460f94a5da3b/html5/thumbnails/31.jpg)
31
Statements for using file I/O
#include <fstream.h>
ifstream myInfile; // declarations
ofstream myOutfile;
myInfile.open(“A:\\myIn.dat”); // open files
myOutfile.open(“A:\\myOut.dat”);
myInfile.close( ); // close files
myOutfile.close( );
![Page 32: 1 Programming Style Files Lecture 1 Slides by Sylvia Sorkin, Community College of Baltimore County - Essex Campus Modified by Reneta Barneva, SUNY-Fredonia](https://reader035.vdocuments.net/reader035/viewer/2022062320/56649d7a5503460f94a5da3b/html5/thumbnails/32.jpg)
32
What does opening a file do?
associates the C++ identifier for your file with the physical (disk) name for the file
if the input file does not exist on disk, open is not successful
if the output file does not exist on disk, a new file with that name is created
if the output file already exists, it is erased places a file reading marker at the very
beginning of the file, pointing to the first character in it
![Page 33: 1 Programming Style Files Lecture 1 Slides by Sylvia Sorkin, Community College of Baltimore County - Essex Campus Modified by Reneta Barneva, SUNY-Fredonia](https://reader035.vdocuments.net/reader035/viewer/2022062320/56649d7a5503460f94a5da3b/html5/thumbnails/33.jpg)
#include <fstream.h>
int main( )
{ // USES FILE I/O
int partNumber;
float unitPrice;
ifstream inFile; // declare file variables
ofstream outFile;
inFile.open(“input.dat”); //open files
outFile.open(“output.dat”);
inFile >> partNumber ;
inFile >> unitPrice ;
outFile << “Part # “ << partNumber // echo
<< “at Unit Cost: $ “ << unitPrice << endl ;
return 0;
}33
![Page 34: 1 Programming Style Files Lecture 1 Slides by Sylvia Sorkin, Community College of Baltimore County - Essex Campus Modified by Reneta Barneva, SUNY-Fredonia](https://reader035.vdocuments.net/reader035/viewer/2022062320/56649d7a5503460f94a5da3b/html5/thumbnails/34.jpg)
34
Stream Failure
When a stream enters the fail state, further I/O operations using that stream are ignored. But the computer does not automatically halt the program or give any error message.
Possible reasons for entering fail state include: • invalid input data (often the wrong type),• opening an input file that doesn’t exist,• opening an output file on a diskette that is
already full or is write-protected.
![Page 35: 1 Programming Style Files Lecture 1 Slides by Sylvia Sorkin, Community College of Baltimore County - Essex Campus Modified by Reneta Barneva, SUNY-Fredonia](https://reader035.vdocuments.net/reader035/viewer/2022062320/56649d7a5503460f94a5da3b/html5/thumbnails/35.jpg)
#include <fstream.h>
#include <iostream.h>
int main( )
{ // CHECKS FOR STREAM FAIL STATE
ifstream inFile;
inFile.open(“input.dat”); // try to open file
if ( !inFile )
{
cout << “File input.dat could not be opened.”;
return 1;
}
. . .
return 0;
} 35