Software Testing and Analysis 1st Edition Mauro Pezze Download
Software Testing and Analysis 1st Edition Mauro Pezze Download
https://ebookultra.com/download/software-testing-and-analysis-1st-
edition-mauro-pezze/
https://ebookultra.com/download/software-testing-2nd-edition-edition-
patton/
https://ebookultra.com/download/exploratory-software-testing-1st-
edition-james-a-whittaker/
https://ebookultra.com/download/fundamentals-of-software-testing-2nd-
edition-revised-and-updated-bernard-homes/
https://ebookultra.com/download/software-testing-a-craftman-s-
approach-2nd-edition-edition-jorgensen/
Effective Methods for Software Testing 3rd Edition William
E. Perry
https://ebookultra.com/download/effective-methods-for-software-
testing-3rd-edition-william-e-perry/
https://ebookultra.com/download/advanced-software-testing-vol-3-2nd-
edition-jamie-l-mitchell/
https://ebookultra.com/download/multi-criteria-decision-analysis-
methods-and-software-1st-edition-alessio-ishizaka/
https://ebookultra.com/download/software-abstractions-logic-language-
and-analysis-2nd-edition-daniel-jackson/
Software Testing and Analysis 1st Edition Mauro Pezze
Digital Instant Download
Author(s): Mauro Pezze, Michal Young
ISBN(s): 9780471455936, 0471455938
Edition: 1
File Details: PDF, 3.90 MB
Year: 2008
Language: english
Software Testing and Analysis:
Process, Principles, and
Techniques
Software Testing and Analysis:
Process, Principles, and
Techniques
Mauro Pezzè
Università di Milano Bicocca
Michal Young
University of Oregon
PUBLISHER Daniel Sayre
SENIOR PRODUCTION EDITOR Lisa Wojcik
EDITORIAL ASSISTANT Lindsay Murdock
COVER DESIGNER Madelyn Lesure
COVER PHOTO Rick Fischer/Masterfile
W ILEY 200 TH ANNIVERSARY LOGO DESIGN Richard J. Pacifico
This book was typeset by the authors using pdfLATEXand printed and bound
by Malloy Lithographing. The cover was printed by Phoenix Color Corp.
This book is printed on acid free paper. •
Copyright c 2008 John Wiley & Sons, Inc. All rights reserved. No part of this
publication may be reproduced, stored in a retrieval system or transmitted in any form or
by any means, electronic, mechanical, photocopying, recording, scanning or otherwise,
except as permitted under Sections 107 or 108 of the 1976 United States Copyright Act,
without either the prior written permission of the Publisher, or authorization through
payment of the appropriate per-copy fee to the Copyright Clearance Center, Inc. 222
Rosewood Drive, Danvers, MA 01923, website www.copyright.com. Requests to the
Publisher for permission should be addressed to the Permissions Department, John Wiley
& Sons, Inc., 111 River Street, Hoboken, NJ 07030-5774, (201) 748-6011, fax
(201) 748-6008, website http://www.wiley.com/go/permissions.
To order books or for customer service please, call 1-800-CALL WILEY (225-5945).
ISBN-13 978-0-471-45593-6
Printed in the United States of America
10 9 8 7 5 6 4 3 2 1
Contents
List of Figures xi
List of Tables xv
3 Basic Principles 29
3.1 Sensitivity . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
3.2 Redundancy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
3.3 Restriction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
3.4 Partition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
3.5 Visibility . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
3.6 Feedback . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
v
vi CONTENTS
4.6 Testing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
4.7 Improving the Process . . . . . . . . . . . . . . . . . . . . . . . . . 49
4.8 Organizational Factors . . . . . . . . . . . . . . . . . . . . . . . . . 50
II Basic Techniques 53
5 Finite Models 55
5.1 Overview . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
5.2 Finite Abstractions of Behavior . . . . . . . . . . . . . . . . . . . . 58
5.3 Control Flow Graphs . . . . . . . . . . . . . . . . . . . . . . . . . . 59
5.4 Call Graphs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
5.5 Finite State Machines . . . . . . . . . . . . . . . . . . . . . . . . . . 65
18 Inspection 341
18.1 Overview . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 341
18.2 The Inspection Team . . . . . . . . . . . . . . . . . . . . . . . . . . 343
18.3 The Inspection Process . . . . . . . . . . . . . . . . . . . . . . . . . 344
18.4 Checklists . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 345
18.5 Pair Programming . . . . . . . . . . . . . . . . . . . . . . . . . . . 351
IV Process 373
20 Planning and Monitoring the Process 375
20.1 Overview . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 375
20.2 Quality and Process . . . . . . . . . . . . . . . . . . . . . . . . . . . 376
20.3 Test and Analysis Strategies . . . . . . . . . . . . . . . . . . . . . . 377
20.4 Test and Analysis Plans . . . . . . . . . . . . . . . . . . . . . . . . 382
20.5 Risk Planning . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 386
20.6 Monitoring the Process . . . . . . . . . . . . . . . . . . . . . . . . . 389
CONTENTS ix
Bibliography 467
Index 479
x CONTENTS
List of Figures
xi
xii LIST OF FIGURES
14.1 A test suite derived from the FSM of Figure 14.2 . . . . . . . . . . . 249
xv
xvi LIST OF TABLES
Preface
This book addresses software test and analysis in the context of an overall effort to
achieve quality. It is designed for use as a primary textbook for a course in software
test and analysis or as a supplementary text in a software engineering course, and as a
resource for software developers.
• It assumes that the reader’s goal is to achieve a suitable balance of cost, sched-
ule, and quality. It is not oriented toward critical systems for which ultra-high
reliability must be obtained regardless of cost, nor will it be helpful if one’s aim
is to cut cost or schedule regardless of consequence.
xvii
xviii Preface
nical background for many testing and analysis methods. Those interested in particular
methods may proceed directly to the relevant chapters in Part III of the book. Where
there are dependencies, the Required Background section at the beginning of a chap-
ter indicates what should be read in preparation. Part IV discusses how to design a
systematic testing and analysis process and incorporates it into an overall development
process, and may be read either before or after Part III.
Readers new to the field of software test and analysis can obtain an overview by reading
Chapters
1 Software Test and Analysis in a nutshell
2 A Framework for Test and Analysis
4 Test and Analysis Activities within a Software Process
10 Functional Testing
11 Combinatorial Testing
14 Model-Based Testing
15 Testing Object-Oriented Software
17 Test Execution
18 Inspection
19 Program Analysis
20 Planning and Monitoring the Process
• A selection of materials from Parts III (Problems and Methods) and IV (Process).
• The overview section and at least one other section of Chapter 11 (Combinatorial
Testing) to grasp some combinatorial techniques.
xx Preface
• Chapter 12 (Structural Testing), through Section 12.3, to introduce the basic cov-
erage criteria.
• Chapter 13 (Data Flow Testing), through Section 13.3, to see an important appli-
cation of data flow analysis to software testing.
• The overview section and at least one other section of Chapter 14 (Model-based
Testing) to grasp the interplay between models and testing.
• Part IV, possibly omitting Chapter 23 (Automating Analysis and Test), for a
comprehensive view of the quality process.
FOOTNOTES:
[239] Schomberg’s letters to William, calendared in State Papers,
Domestic, July 21 to August 3. Journal in Kazner’s Schomberg, ii.
282. Hamilton to Melville in Leven and Melville Papers, August 1,
1689.
[240] Journal in Kazner’s Schomberg. Story’s Impartial History.
Avaux to Louvois, September 10/20. Schomberg to King William,
August 16, State Papers, Domestic. Dean’s information is in
Clarke’s Life of James, Original Mem., ii. 374. Berwick’s Memoirs.
Contemporary letter in Benn’s History of Belfast, p. 171.
[241] Story’s Impartial History, pp. 7-10. Schomberg to King
William, August 27, State Papers, Domestic. Light to the Blind.
The articles of capitulation are in Story’s Continuation and in
McSkimmin’s History of Carrickfergus, part i. Letter printed in
Benn’s History of Belfast, p. 171. Nihill’s Journal in Macpherson’s
Original Papers, i. 222. Letter of September 2 in Le Fleming
Papers.
[242] Story’s Impartial History, pp. 10-16, 38—‘A regiment of
Dutch were so well hutted that not above eleven of them died the
whole campaign.’ Schomberg letters of September 20 and 21 and
January 9, 1689-90, in State Papers, Domestic, and Dalrymple.
He says the English were ‘si delicatement élevés,’ that in all
countries he had seen them die off at the beginning of a
campaign. Early in the journal, in Kazner appx. no. 85, it is said
that the English nation ‘veut assez être conduite à son sens et
n’aime que peu la subordination quoiqu’au reste très belliqueuse,’
and under September 9 the writer says the English soldiers liked
no law but ‘leurs fantaisies.’ Writing on October 8, 1689,
Schomberg says his levies were as raw as those of King James,
but the latter twice as numerous, Leven and Melville Papers.
General Douglas’s opinion of the English soldiers is in Evelyn’s
Diary, February 19, 1689-90: they were very brave and very badly
treated. Dumont de Bostaquet, whose Mémoires inédits were
published in 1864, was with Schomberg in September 1689, and
describes the Enniskilleners as very good troops, but ‘trop
picoreurs.’
[243] Story’s Impartial Hist., pp. 17-28. Light to the Blind. Avaux
to Louis XIV., August 20/30, August 28/September 7, September
10/20, September 17/27. In the last it is mentioned that Rosen
visited the outposts at midnight and found all sentries and
vedettes asleep, ‘sans en excepter pas un.’ Same to same,
October 21/31. Nihill’s journal in Macpherson, i. 222. Memoires du
Marquis de Sourches, September 19/29. Schomberg to William
III., September 15, 20, 27, October 3, 6, State Papers, Domestic;
and Dalrymple. Lord Lisburn to Shrewsbury, September 25, ib. A
Jacobite account is in A relation of what most remarkably
happened, 1689. On October 28 Dangeau notes that Avaux had
told the French King that James’s army was in a good state,
twenty-eight battalions of 600 men, sixteen squadrons of cavalry
and ten of dragoons. He offered battle in two lines, leaving a
reserve under Sutherland. Hamilton was at the centre of the first
line with the King, Tyrconnel on the right, Rosen and Galway on
the left. Berwick was at the centre of the second line with
Sarsfield on the right. A diagram sent by Avaux is in Dangeau’s
Diary, iii. 23.
[244] Schomberg to William III., September 20-27 and November
14, State Papers, Domestic. Caillemote to Shrewsbury, September
23, ib. Story’s Impartial History, p. 25. Letter in Le Fleming
Papers, October 24. Dumont, who had fled from Normandy to
Holland to escape the dragonnades, throws light on the sincerity
of official conversions in France: he had received absolution from
a conscientious priest at Rouen, who told him to take his time
and not to go to church till he had reflected, ‘ce que j’ai executé
fort religieusement, n’ayant jamais entendu de messe ni participé
à leurs mystères.’ Luttrell, i. 613.
[245] Story’s Impartial History. Schomberg’s letters from
September to December 1689, in State Papers, Domestic. W.
Harbord to William III., October 23, ib. Newsletter of November
28, ib. Luttrell’s Diary, October and November, particularly
November 15, where it is noted that letters from Ireland report a
mortality of at least 10,000 in the Jacobite army. Evelyn’s Diary,
February 19, 1689-90. Mr. Waller’s evidence in Grey’s Debates,
November 26. During the terrible days of December 1812, after
Napoleon deserted his army, Segur testifies to the extreme
demoralisation of the survivors: ‘Tels que les sauvages, les plus
forts dépouillaient les plus faibles: ils accouraient autour des
mourants, souvent ils n’attendaient pas leurs derniers soupirs.’
Dumont lay in the Dundalk hospital for four weeks with enteric
fever and actually recovered.
[246] Schomberg’s letters, ut sup. Story’s Impartial History, vol. i.
Commons Journal, November 26, December 2 and 16. Grey’s
Debates, November 26. A defence of Shales is attempted in
Walton’s Hist. of the British Army, p. 74. Foxcroft’s Halifax, ii. 82.
On February 19, 1689-90, Evelyn met General Douglas at dinner,
who mentioned ‘the exceeding neglect of the English soldiers,
suffering severely for want of clothes and necessaries this winter,
exceedingly magnifying their courage and bravery during all their
hardships.’
[247] Story’s Impartial History, pp. 25, 34. Avaux’s narrative sent
to Seignelay on November 24/December 6, 1689. Luttrell’s Diary,
October 3, November 15. State Papers, Domestic, November 28.
Clarke’s Life of James II., ii. 383.
[248] Stevens, p. 72. Light to the Blind, p. 90. Macariæ Excidium,
p. 38. Avaux to Louis XIV., November 14/24 1689, and February
1/11, 1689-90.
[249] Louis XIV. to Avaux, May 24 and November 16, 1689. Avaux
to Louis XIV., November 24. Dangeau, January 6, 1689-90. De
Sourches, November 19, February 20. Bussy Rabutin to Madame
de Sévigné, March 23, 1689.
[250] Avaux to Louvois, October 11/21, 1689, and April 2/12,
1690. Louvois to Buridal, May 11, 1690, in Rousset, iv. 383.
Schomberg considered that MacCarthy had broken his parole, but
he was acquitted by a Court Martial in France. A sergeant whom
he had bribed was executed. The regiments that sailed were
those of MacCarthy himself, Butler, O’Brien, Fielding, and Dillon.
[251] Avaux to Louis XIV., November 14/24 and January 15/25
1689-90. Louis XIV. to Avaux, December 25/January 4. De
Sourches, April 18, 1689. Madame de Sévigné, May 31, 1690.
Lauzun to Louvois, May 10/20, in Ranke’s appendix. Letter of
Rizzini in Haile’s Mary of Modena, p. 261. Louis privately
cautioned James against trusting Albeville, who was known to be
corrupt.
[252] Clarendon to Rochester, February 8, 1685-6. Proclamations
of June 18 and 27, 1689. On September 19 Dr. King notes in his
diary that ‘the great gun which lay in Castle yard was taken away
in order to be melted and coined.’ Avaux to Louis XIV., December
12/22. On December 26/January 5 Louvois wrote to Avaux:
‘Comme le roi a veu par vos lettres que le Roy d’Angleterre
craignait de manquer de cuivre pour faire de la monnoye; Sa
Majesté a donné ordre que l’on mist sur le bastiment qui portera
cette lettre une piece de canon du calibre de deux qui est
eventée, de laquelle ceux qui travaillent à la monnoye du Roy
d’Angleterre pourront se servir pour continuer à faire de la
monnoye, en attendant que les soixante et quinze milliers de
cuivre que le Roy envoye soient arrivez.’
[253] Proclamations of February 4 and 28, March 28, April 21,
June 9 and 15, 1690; and July 10 (William III.). Avaux to Louis
XIV., July 5/15, 1689; to Louvois, June 30/July 10; to Louis XIV.,
August 20/30 and September 10/20; to Louvois, November 1/11,
November 26/December 6, 1689, and January 22/February 1,
1689-90. Light to the Blind. King’s State of the Protestants, chap.
iii. section 11. Transactions of the Late King James in Ireland,
licensed July 7, 1690, p. 57. Character of the Protestants of
Ireland, licensed November 13, 1689. This last well-written tract
has been attributed to Halifax, but neither Miss Foxcroft nor Sir
W. Raleigh mention it. Story’s Impartial History, l. 93. Lauzun to
Louvois, June 16/26, in Ranke’s appendix. King makes the total
base coinage 965,375l. Story learned from treasury officials that
‘not much above’ 1,100,000l. had been coined. The True and
Perfect Journal, 1690, states the amount at about two millions.
Tyrconnel’s letter is in Haile’s Mary of Modena, p. 258.
[254] Captain Kennedy to the Scotch Council, December 12, in
Leven and Melville Papers. Story’s Impartial History, November to
February, 1689-90. The author of Light to the Blind says the
attack on Newry was a mere reconnaissance and that there was
no repulse. Schomberg says Boisseleau was there, State Papers,
Domestic, December 6. As to the action at Cavan, besides the
above and Berwick’s memoirs, there are accounts in State Papers,
Domestic, particularly Schomberg’s letter, February 19, and that
of Gustavus Hamilton, ambiguously calendared under March 21,
1689 (Addenda, p. 571).
[255] Melfort’s unpopularity is sufficiently shown by Dundee’s
letters to him, June 27 and 28, Napier, iii. 599. Notices in
Dangeau and De Sourches. Avaux’s letters, particularly that of
July 16/26, enclosing James’s requirements, Louvois to Avaux,
September 7/17. Madame de Sévigné marvelled greatly at
Lauzun’s ‘second volume.’ The reference to her letters and to
Bussy Rabutin’s concerning him are collected in the Grands
Ecrivains edition of La Bruyère, i. 335, 535, where he is
characterised under the name of Straton. Madame de Caylus in
her memoirs notes the good luck of Lauzun in being in England at
the critical time, gaining honour and glory for helping William by
assisting the flight of James.
[256] Lauzun to Seignelay, April 6/16, in appendix to Ranke’s
History and to Louvois, ib. June 16. Proclamation of March
25/April 4. It was known at the French Court that Lauzun was
‘extrêmement ulceré avec raison’ against Dover, De Sourches,
April 24/May 4. Compare the extracts in Miss Sandars’s Lauzun.
True and Perfect Journal, June 16.
[257] Simon Luttrell’s orders as Governor of Dublin, May 3 and
June 18, 1690, in appendix to King’s State of the Protestants,
nos. 30 and 31. Besides King’s principal book on this subject we
have his autobiography, the original Latin printed in English
Historical Review, vol. xiii., an English version in King’s A great
Archbishop of Dublin, and his diary edited by Dr. Lawlor in the
Irish Journal of Archæology, 1903.
[258] Archdeacon Hamilton’s Life of Bonnell, 3rd edition, 1707,
particularly pp. 60, 273. Bonnell to Strype, August 20, 1684,
January 21, and April 17, 1689, and August 5, 1690, in English
Historical Review, xix. 122, 299. Clarendon and Rochester Corr., i.
245, 266. Cartwright was buried in Christ Church with a full choral
service, all the principal people in Dublin attending, Athenæ
Oxonienses, p. 831. Bonnell to Harty, Portland Papers, November
3, 1691.
[259] College register for 1689-90 printed in Stubbs’s Hist. of the
University of Dublin, pp. 127-133. Harris’s Ware, ii. 288. King, iii.
15.
CHAPTER LIV
Our website is not just a platform for buying books, but a bridge
connecting readers to the timeless values of culture and wisdom. With
an elegant, user-friendly interface and an intelligent search system,
we are committed to providing a quick and convenient shopping
experience. Additionally, our special promotions and home delivery
services ensure that you save time and fully enjoy the joy of reading.
ebookultra.com