Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more ➡
Download
Standard view
Full view
of .
Add note
Save to My Library
Sync to mobile
Look up keyword or section
Like this
5Activity
×

Table Of Contents

Requirements, behavior, correctness
Requirements: Incompleteness
Requirements: Ambiguity
Input domain (Input space)
Valid/Invalid Inputs
Correctness vs. Reliability
Correctness and Testing
Software reliability: two definitions
Testing and debugging
A test/debug cycle
Test plan
Test plan (contd.)
Test case/data
Program behavior
Program behavior: Example
Program behavior: Example (contd.)
Behavior: observation and analysis
Oracle: Example
Oracle: Programs
Testing and verification (contd.)
Program representation: Basic blocks
Basic blocks: Example
Basic blocks: Example (contd.)
Paths
Paths: sample paths through the exponentiation flow graph
Paths: infeasible paths
Number of paths
Test generation
Test generation strategies
Test generation strategies (Summary)
Strings
Alphabet
Strings over an Alphabet
String concatenation
Languages
Regular expressions
Regular expressions (contd.)
Embedded systems
Specifying embedded systems
FSM: lamp example
FSM: Actions with state transitions
FSM: Formal definition
FSM: Formal definition (contd.)
State diagram representation of FSM
Tabular representation of FSM
Tabular representation of FSM: Example
Properties of FSM
Properties of FSM: Equivalence
Properties of FSM: Distinguishable
Properties of FSM: Machine Equivalence
Properties of FSM: k-equivalence
Properties of FSM: k-equivalence (contd.)
Example: Completely specified machine
Types of testing
C1: Source of test generation
C2: Lifecycle phase in which testing takes place
C3: Goal of specific testing activity
C4: Artifact under test
0 of .
Results for:
No results containing your search query
P. 1
Chapter-1-preliminaries

Chapter-1-preliminaries

Ratings: (0)|Views: 7,821|Likes:
Published by ionpope

More info:

Published by: ionpope on Mar 07, 2011
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See More
See less

01/08/2013

pdf

text

original

You're Reading a Free Preview
Pages 5 to 36 are not shown in this preview.
You're Reading a Free Preview
Pages 41 to 88 are not shown in this preview.

Activity (5)

You've already reviewed this. Edit your review.
1 hundred reads
1 thousand reads
Gayhinee Rutnah liked this
charanssit liked this

You're Reading a Free Preview

Download
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->