Professional Documents
Culture Documents
Specification
Function Usage
Incremental
Functional specifications Usage specifications
Development
Planning
Formal Design Statistical test case
Correctness Verification generation
Source
Test cases
code
Statistical testing
Interfail times
Improvement Feedback
Quality Certification Model
MTTF statistics
(c) 2007 Mauro Pezzè & Michal Young Ch 20, slide 5
Example Process: Cleanroom
Customer Requirements
Activities and Integrated into an
responsibilities overall development
Specification process
focused on quality
Function Usage
Incremental
Functional specifications Usage specifications
Development
Planning
Formal Design Statistical test case
Correctness Verification generation
Source
Test cases
code
Statistical testing
Interfail times
Improvement Feedback
Quality Certification Model
MTTF statistics
(c) 2007 Mauro Pezzè & Michal Young Ch 20, slide 6
Example Process: Software Reliability
Engineering Testing (SRET)
Define “Necessary”
Reliability
Development
Operational Profiles
Prepare
for Testing
Interpret Failure
Execute Data
tests
Prepare
Integrated into an for Testing
overall development
process Interpret Failure
Execute Data
tests
Create
Acceptance
Tests
Activities and
responsibilities Next version Incremental
focused on quality Release
Review,
Refine,
prioritiz Passed all unit pass
e tests
Pair Passed all
Generate User Create Unit Acceptance
Programming unit tests
Stories Tests Testing
+ unit testing
Create
Acceptance Integrated into an
Tests overall development
process
Strategy Plan
Scope Organization Project
8
Admin biz logic code and
integration (including unit test )
Sync and stabilize
9
administrative biz logic
10 D esign inspection
Inspection of requirements
11
specs .
Inspection of architectural
12
design
13
Inspection of det . D esign of
shop . facilities
14
Inspection of detailed design
of admin logic
15 C ode inspection
16
Inspection of shop . Fun . C ore
code and unit tests
17
Inspection of admin . Biz . Log .
C ode code and unit tests
18 D esign tests
22
D esign admin bix log
subsystem integration tests
23 Test execution
CRITICAL SCHEDULE
Project start
Product delivery
UNLIMITED RESOURCES
Project start
Produce user
documentation
Execute subsystem
tests
Execute system tests
Product delivery
LIMITED RESOURCES
Project start
Produce user
documentation
Execute subsystem
tests
Execute system tests
Product delivery
Emergency
plan
160
140
120
100 Total
faults
Critical
80
Severe
60 Moderate
40
20
0
1 3 5
Builds 7 9