CSC 408F/CSC2105F Lecture Notes These lecture notes are ...
Recommend Documents
21 Sep 2015 - Rich collection of already existing bricks corresponding to classical numerical methods or basic actions:
Sep 21, 2015 - I One document to learn numerics, science, and data with Python. 1 .... pany: the code should be as reada
Sep 21, 2015 - The inline is important for the notebook, so that plots are displayed in the ...... This chapter deals wi
Sep 21, 2015 - NumPy: creating and manipulating numerical data . ..... a free software released under an open-source lic
21 Sep 2015 - Some very optimized scientific libraries have been written for these languages. ..... a free software rele
3.1 Simple Shell Scripts . ... II The Classic Regression Models. 23. 4 Notation. 24
...... where pE is the pdf of E. In any case, the likelihood can be maximized to.
The course Time series analysis is based on the book [7] and replaces our ...
Those who want to use Matlab later in connection with time series can use the.
Lecture Notes: ..... nutrition bioassays).44 These siderophores are found in the
kingdom of ... yersiniabactin (c) and maduraferrin (Note: iron binding nitrogen of ...
[1] Simon Haykin, Digital Communication Systems. Wiley 2013. [2] Andrea
Goldsmith, Wireless Communications. ..... dimensioning of modern wireless
systems:.
video-game playing, conduct conversations, face recognition, determine if a child
goes out of range,... - tests show that children like them (bond well with them).
cis20.2 design and implementation of software applications 2 spring 2010 lecture
# I.4 today's topics: • software testing cis20.2-spring2010-sklar-lecI.4. 1.
Software. You should install R on your own computer at the first opportunity. Visit.
1 ... Rizzo, M. L. (2008) Statistical Computing with R. CRC/Chapman &. Hall.
Sep 18, 2008 ... Steric restrictions on allowed φ and ψ. 6. Garrett & Grisham, 'Biochemistry' Fig.
6.3. Relatively few combinations are allowed. A: 0, 0. B: flip top.
Operating System Concepts – 8th Edition. Chapter 7: Deadlocks s The Deadlock
Problem s System Model s Deadlock Characterization s Methods for Handling ...
Nov 12, 2012 ... R&D | Innovative Medicines | CVGI Mölndal | Dept. of Cell and Molecular
Pharmacology. The Wählby lecture format. ▫ Geometric properties.
... in the spring semester 2011. These chapters are mainly based on Chapters 1,
2, 3, 5 and 8 of Brockwell and Davis (1991). Time Series: Theory and Methods.
8.2 Veins commonly used for venipuncture (left arm shown). 93 ..... Manual,. Ethiopian. Red cross society,. National. Blood. Transfusion. Service, ..... have ample knowledge about the physical nature of man, his physical anatomy and social ... Answer
summarize the key points of the lecture and show relevant dictionary entries. ...
Lecturer will need: lecture notes, accompanying slides (for either PowerPoint or ...
In the mid 1960s, Landin observed that a complex programming language can
be understood in ... and implementation, and the study of type systems. Its
importance arises ...... 2. “Types and Programming Languages”, Benjamin C.
Pierce. 30.
in Physics. Edited by H. Araki, Kyoto, J. Ehlers, München, K. Hepp. Zürich. R.
Kippenhahn ..... solutions of an unique second quantized string theory. Then one
...
10 Dec 2013 ... Need to last long time and not use much energy. • Science Fiction element. For
example, see A Deepness in the Sky by V. Vinge. 6 ...
PH 221-1D Spring 2013. Oscillations. Lectures 35-37. Chapter 15. (Halliday/
Resnick/Walker, Fundamentals of Physics 9th edition). 1 ...
1 Throughout this text we refer to Fortran 2003 as Fortran, implying the latest
standard. ... In 1999, when I started this course at the department of physics in
Oslo, ... undergraduate student in physics has now made a Matlab or Maple
simulation
prof, dr hab. Jerzy Motyl. Centrum Badan Nieliniowych im. JuJiusza Schaudera. Um'wersytet Mikolaja Kopernika ul. Chopina 12/18, 87-100 Torun. Redakcja: tel.
CSC 408F/CSC2105F Lecture Notes These lecture notes are ...
These lecture notes are provided for the personal use of students taking ....
Software Quality Assurance - Independent testing to assess quality of the
software.
These lecture notes are provided for the personal use of students taking
van Vliet van Vliet
CSC 408H/CSC 2105H in the Fall term
2004/2005 at the University of Toronto.
Chapter Chapter
13 (this lecture) 7 (next lecture)
Copying for purposes other than this use and all forms of distribution are expressly prohibited.
c David B. Wortman, 1999,2000,2001,2002,2003,2004 c Kersti Wain-Bantin, 2001 c Yijun Yu, 2004
0
1
Debugging vs. Testing
Toy Testing vs. Professional Testing
Debugging is the process of finding errors in a program under development
Toy Testing
that is not thought to be correct [fix errors]
– Small quantity of test data
Testing is the process of attempting to find errors in a program that is thought
– Test data selected haphazardly
to be correct. Testing attempts to establish that a program satisfies its
– No systematic test coverage
Specification [prevent errors]
– Weak analysis of test output
Testing can establish the presence of errors but cannot guarantee their
absence (E.W. Dijkstra)
Professional Testing – Large quantity of test data
Exhaustive testing is not possible for real programs due to combinatorial
– Systematic selection of test cases
explosion of possible test cases
– Test coverage evaluated and improved.
Amount of testing performed must be balanced against the cost of
– Careful evaluation of test output
undiscovered errors
– Heavily automated using scripts and testing tools.
Regression Testing is used to compare a modified version of a program against a previous version 2
3
Testing & Bad Attitude
Levels of Program Correctness
The software testers job is to find as many errors as possible in the program
1. No syntax errors [compilers and strong-typed programming languages]
under test with the least effort expended
2. No semantic errors
Productivity measure is errors discovered per hour of testing
3. There exists some test data for which program gives a correct answer
Testers attitude should be
4. Program gives correct answer for reasonable or random test data
What is the absolutely worst thing I can do to the program?
5. Program gives correct answer for difficult test data
and not What can I do to make this program look good? Don’t let developer’s ego stand in the way of vigorous testing.
6. For all legal input data the program gives the correct answer 7. For all legal input and all likely erroneous input the program gives a correct or reasonable answer
Test case selection is one key factor in successful testing 8. For all input the program gives a correct or reasonable answer
Insight and imagination are essential in the design of good test cases Testers should be independent from implementors to eliminate oversights due to propagated misconceptions [verification and validation ... ]
4
5
Faults and Failures
Causes of Faults During Development
A fault is an error in a software system
Requirements
Incorrect, missing or unclear requirements.
A failure is an event during which a software system failed to perform
Specification
Incorrect translation to design
according to its requirements specification.
Design
Incorrect or unclear specification.
Failures are caused by (one or more) faults.
Implementation Misinterpretation of design Incorrect documentation
Many possible reasons for failure:
Misinterpretation of programming language semantics. [a small quiz] Testing
– Incorrect or missing requirement
New faults introduced by fault repair.
– Incorrect or unimplementable specification – System design may contain a fault.
Incomplete test procedures
Maintenance
Incorrect documentation.
– Program design may contain a fault.
New faults introduced by fault repair.
– Program implementation may contain a fault.
Changes in requirements.
The purpose of testing is to discover faults and prevent failures.
6
7
A small quiz on Java language
Types of Faults
int a[2] = 4, 4 ; int b; b = 1; a[b] = b = 0; ------------while (1)
