Key Terms correctness 166 correctne

Key Terms correctness 166
correctness proof 167
defect 155
desk check 175
error 155
execution-based testing 163
failure 155
fault 155
fault density 162
fault detection effi ciency 162
fault detection rate 162
follow-up 160
inspection 159
inspection rate 162
loop invariant 169
managerial independence 156
mean time between
failures 164
sch76183_ch06_154-182.indd 177 04/06/10 1:28 PM
178 Part A Software Engineering Concepts
mean time to repair 164
mistake 155
model checking 174
moderator 160
non-execution-based testing
157
overview 159
performance 165
preparation 159
quality 156
reader 160
recorder 160
regression testing 176
reliability 164
rework 160
robustness 165
simulator 164
software quality assurance
(SQA) 156
systematic testing 175
test workfl ow 155
testing 155
utility 164
V & V 155
validation 155
verifi cation 155
Problems 6.1 How are the termscorrectness proving, verifi cation, andvalidation used in this book?
6.2 A software development organization currently employs 91 software professionals, including 18 managers, all of whom develop as well as test software. The latest fi gures show that
26 percent of their time is spent on testing activities. The average annual cost to the company of
a manager is $162,000, whereas nonmanagerial professionals cost $121,000 a year on average;
both fi gures include overhead. Use cost–benefi t analysis to determine whether a separate SQA
group should be set up within the organization.
6.3 Repeat the cost–benefi t analysis of Problem 6.2 for a fi rm with only eight software professionals, including three managers. Assume that the other fi gures remain unchanged.
6.4 You have been testing a code artifact for 11 days and found two faults. What does this tell you
about the existence of other faults?
6.5 What are the similarities between a walkthrough and an inspection? What are the differences?
6.6 You are a member of the SQA group at Ye Olde Fashioned Software. You suggest to your manager that inspections be introduced. He responds that he sees no reason why four people should
waste their time looking for faults when one person can run test cases on the same piece of
code. How do you respond?
6.7 You are the SQA manager at Farm and Field, a national chain of 1539 farm supply stores. Your
organization is considering buying a stock-control package for use throughout the organization.
Before authorizing the purchase of the package, you decide to test it thoroughly. What properties of the package do you investigate?
6.8 All 1539 stores in the Farm and Field organization are now to be connected by a communications network. A sales representative is offering you a 6-week free trial to experiment with the
communications package he is trying to sell you. What sort of software tests would you perform
and why?
6.9 You are a rear admiral in the Valerian Navy in charge of developing the software for controlling
the ship-to-ship missile of Problem 1.4. The software has been delivered to you for acceptance
testing. What properties of the software do you test?
6.10 Consider the following code fragment:
k = 0;
g = 1;
while (k < n)
{
k = k + 1;
g = g * k;
}
sch76183_ch06_154-182.indd 178 04/06/10 1:28 PM
Chapter 6 Testing 179
Prove that this code fragment correctly computes g = n! if n is a positive integer.
6.11 Consider the following code fragment:
m = 1;
q = 2;
while (m < n)
{
m = m + 1;
q = q * 2;
}
Prove that this code fragment correctly computes q = 2n if n ∈ {1, 2, 3, . . . }.
6.12 Can correctness proving solve the problem that the product as delivered to the client may not be
what the client really needs? Give reasons for your answer.
6.13 How should Dijkstra’s statement (Section 6.3) be changed to apply to correctness proofs rather
than testing? Bear in mind the mini case study of Section 6.5.2.
6.14 Design and implement a solution to the Naur text-processing problem (Section 6.5.2) using
the language specifi ed by your instructor. Execute it against test data and record the number of
faults you fi nd and the cause of each fault (e.g., logic fault, loop counter fault). Do not correct
any of the faults you detect. Now exchange products with a fellow student and see how many
faults each of you fi nds in the other’s product and whether or not they are new faults. Again
record the cause of each fault and compare the fault types found by each of you. Tabulate the
results for the class as a whole.
6.15 Why is there a need to distinguish between a fault, a failure, and an error? Surely the use of the
umbrella termdefect simplifi es matters?
6.16 Give an example of a software product that has been successfully maintained for many years,
but has lost its usefulness and has been superseded by a totally different product.
6.17 (Term Project) Explain how you would test the utility, reliability, robustness, performance, and
correctness of the Chocoholics Anonymous product in Appendix A.
6.18 (Readings in Software Engineering) Your instructor will distribute copies of [Ostrand, Weyuker,
and Bell, 2005]. What is your view on using regression models to predict fault numbers and
locations? Justify your answer.
References [Aberdour, 2007] M. ABERDOUR, “Achieving Quality in Open-Source Software,”IEEE Software24
(January–February 2007), pp. 58–64.
[Ackerman, Buchwald, and Lewski, 1989] A. F. ACKERMAN, L. S. BUCHWALD, AND F. H. LEWSKI,
“Software Inspections: An Effective Verifi cation Process,”IEEE Software6 (May 1989),
pp. 31–36.
[Ammann and Offutt, 2008] P. AMMANN AND J. OFFUTT,Introduction to Software Testing, Cambridge
University Press, Cambridge, UK, 2008.
[Beizer, 1990] B. BEIZER,Software Testing Techniques, 2nd ed., Van Nostrand Reinhold, New
York, 1990.
[Berry and Wing, 1985] D. M. BERRY AND J. M. WING, “Specifying and Prototyping: Some Thoughts
on Why They Are Successful,” in:Formal Methods and Software Development, Proceedings of
the International Joint Conference on Theory and Practice of Software Development , Vol. 2,
Springer-Verlag, Berlin, 1985, pp. 117–28.
sch76183_ch06_154-182.indd 179 04/06/10 1:28 PM
180 Part A Software Engineering Concepts
[Boehm and Basili, 2001] B. BOEHM AND V. R. BASILI, “Software Defect Reduction Top Ten List,”
IEEE Computer34 (January 2001), pp. 135–37.
[Bush, 1990] M. BUSH, “Improving Software Quality: The Use of Formal Inspections at the Jet Propulsion Laboratory,”Proceedings of the 12th International Conference on Software Engineering ,
Nice, France, March 1990, IEEE, pp. 196–99.
[Ciolkowski, Laitenberger, and Biffl , 2003] M. CIOLKOWSKI, O. LAITENBERGER, S. BIFFL, “Software
Reviews, the State of the Practice,”IEEE Software20 (November–December 2003), pp. 46–51.
[Damian and Chisan, 2006] D. DAMIAN AND J. CHISAN, “An Empirical Study of the Complex Relationships between Requirements Engineering Processes and Other Processes that Lead to Payoffs
in Productivity, Quality, and Risk Management,”IEEETransactions on Software Engineering32
(July 2006), pp. 433–53.
[DeMillo, Lipton, and Perlis, 1979] R. A. DEMILLO, R. J. LIPTON, AND A. J. PERLIS, “Social Processes and Proofs of Theorems and Programs,”Communications of the ACM22 (May 1979),
pp. 271–80.
[DeMillo, Lipton, and Sayward, 1978] R. A. DEMILLO, R. J. LIPTON, AND F. G. SAYWARD, “Hints
on Test Data Selection: Help for the Practicing Programmer,”IEEE Computer11 (April 1978),
pp. 34–43.
[Denger and Shull, 2007] C. DENGER AND F. SHULL, “A Practical Approach for Quality-Driven Inspections,”IEEE Software24 (March–April 2007), pp. 79–86.
[Dijkstra, 1968] E. W. DIJKSTRA, “A Constructive Approach to the Problem of Program Correctness,”
BIT8 (No. 3, 1968), pp. 174–86.
[Dijkstra, 1972] E. W. DIJKSTRA, “The Humble Programmer,”Communications of the ACM15
(October 1972), pp. 859–66.
[Dunsmore, Roper, and Wood, 2003] A. DUNSMORE, M. ROPER, AND M. WOOD, “The Development
and Evaluation of Three Diverse Techniques for Object-Oriented Code Inspection,”IEEE Transactions on Software Engineering29 (August 2003), pp. 677–86.
[Fagan, 1976] M. E. FAGAN, “Design and Code Inspections to Reduce Errors in Program Development,”IBM Systems Journal15 (No. 3, 1976), pp. 182–211.
[Fagan, 1986] M. E. FAGAN, “Advances in Software Inspections,”IEEE Transactions on Software
Engineering SE-12 (July 1986), pp. 744–51.
[Fowler, 1986] P. J. FOWLER, “In-Process Inspections of Workproducts at AT&T,”AT&T Technical
Journal65 (March–April 1986), pp. 102–12.
[Freimut, Briand, and Vollei, 2005] B. FREIMUT, L. C. BRIAND, AND F. VOLLEI, “Determining Inspection Cost-Effectiveness by Combining Project Data and Expert Opinion,”IEEE Transactions on
Software Engineering31 (December 2005), pp. 1074–92.
[Fu, Milanova, Ryder, Wonnacott, 2005] C. FU, A. MILANOVA, B. G. RYDER, AND D. G. WONNACOTT,
“Robustness Testing of Java Server Applications,”IEEE Transactions on Software Engineering
31 (April 2005), pp. 292–311.
[Gelperin and Hetzel, 1988] D. GELPERIN AND B. HETZEL, “The Growth of Software Testing,”Communications of the ACM31 (June 1988), pp. 687–95.
[Goodenough, 1979] J. B. GOODENOUGH, “A Survey of Program Testing Issues,” in:Research
Directions in Software Technology , P. Wegner (Editor), The MIT Press, Cambridge, MA, 1979,
pp. 316–40.
[Goodenough and Gerhart, 1975] J. B. GOODENOUGH AND S. L. GERHART, “Toward a Theory of Test
Data Selection,”Proceedings of the Third International Conference on Reliable Software , Los
Angeles, 1975, pp. 493–510; also published inIEEE Transactions on Software EngineeringSE-1
sch76183_ch06_154-182.indd 180 04/06/10 1:28 PM
Chapter 6 Testing 181
(June 1975), pp. 156–73. Revised version: J. B. Goodenough and S. L. Gerhart, “Toward a Theory
of Test Data Selection: Data Selection Criteria,” in:Current Trends in Programming Methodology,
Vol. 2, R. T. Yeh (Editor), Prentice Hall, Englewood Cliffs, NJ, 1977, pp. 44–79.
[Hatton, 2008] L. HATTON, “Testing the Value of Chec

Kết quả (Gujarat) 1:

કી શરતો ચોકસાઈ 166
ચોકસાઈ સાબિતી 167
ડિફેક્ટ 155
ડેસ્ક ચેક 175
ભૂલ 155
અમલ આધારિત પરીક્ષણ 163
નિષ્ફળતા 155
155 દોષ
દોષ ઘનતા 162
દોષ શોધ EFFI ciency 162
દોષ શોધ દર 162
અનુસરો અપ 160
નિરીક્ષણ 159
નિરીક્ષણ દર 162
લૂપ અચળ 169
સંચાલકીય સ્વતંત્રતા 156
વચ્ચે સમય અર્થ
નિષ્ફળતાઓ 164
Sch76183_ch06_154-182.Indd 177 04/06/10 એક વીસ આઠ મહીને
178 ભાગ સોફ્ટવેર એન્જિનિયરીંગ સમજો
164 મરમ્મત સમય અર્થ
ભૂલ 155
174 ચકાસણી મોડેલ
મધ્યસ્થ 160
બિન-અમલ આધારિત પરીક્ષણ
157
ઝાંખી 159
કામગીરી 165
તૈયારી 159
ગુણવત્તા 156
રીડર 160
રેકોર્ડર 160
રીગ્રેશન ચકાસણી 176
વિશ્વસનીયતા 164
પુનઃકાર્ય 160
પ્રમાણિકતાના 165
સિમ્યુલેટર 164
સોફ્ટવેર ગુણવત્તા ખાતરી
(SQA) 156
વ્યવસ્થિત પરીક્ષણ 175
ટેસ્ટ Workfl ઓડ્બ્લ્યુ 155
પરીક્ષણ 155
ઉપયોગિતા 164
V & વી 155
માન્યતા 155
Verifi ધન 155
સમસ્યાઓ 6.1 કેવી રીતે છે Termscorrectness સાબિત Verifi ધન, Andvalidation આ પુસ્તક ઉપયોગ?
6.2 સોફ્ટવેર ડેવલપમેન્ટ ઓર્ગેનાઇઝેશન હાલમાં ટેસ્ટ સોફ્ટવેર તેમજ વિકાસ બધા જેમાંથી 18 મેનેજરો સમાવેશ થાય છે 91 સોફ્ટવેર પ્રોફેશનલ્સ, રોજગારી આપે છે. છેલ્લી વૈજ્ઞાનિક Gures દર્શાવે છે કે
ખર્ચવામાં તેમના સમય 26 ટકા છે . પરીક્ષણ પ્રવૃત્તિઓ પર કંપની માટે સરેરાશ વાર્ષિક ખર્ચ
Nonmanagerial પ્રોફેશનલ્સ સરેરાશ $ 121.000 એક વર્ષ ખર્ચ જ્યારે એક વ્યવસ્થાપક, $ 162.000 છે;
. બંને વૈજ્ઞાનિક Gures અલગ SQA તે નક્કી કરવા માટે ઓવરહેડ ઉપયોગ ખર્ચ Benefi ટી વિશ્લેષણ સમાવેશ થાય છે
જૂથ સુયોજિત થયેલ હોવું જોઈએ સંસ્થામાં.
6.3 પુનરાવર્તન ત્રણ મેનેજરો સહિતના ફક્ત આઠ સોફ્ટવેર પ્રોફેશનલ્સ સાથે વૈજ્ઞાનિક rm માટે સમસ્યા 6.2 ખર્ચ Benefi ટી વિશ્લેષણ. અન્ય વૈજ્ઞાનિક Gures યથાવત રહેશે કે ધારે.
6.4 તમે 11 દિવસ અને માટે કોડ આર્ટિફેક્ટ પરીક્ષણ કરવામાં આવ્યું છે બે ફાંટો. આ તમને કહી નથી શું મળી
અન્ય ખામી અસ્તિત્વ વિશે શું?
6.5 એક walkthrough અને નિરીક્ષણ વચ્ચે સમાનતા શું છે? તફાવતો શું છે?
6.6 તમે યે ઓલ્ડે જમાનાનું સોફ્ટવેર ખાતે SQA જૂથ એક સભ્ય છે. સૂચવે હેઠળનું નિરીક્શણ દાખલ કરવામાં તે તમારા વ્યવસ્થાપક. તેમણે ચાર લોકો જોઈએ કે શા માટે કોઈ કારણ જુએ કે જવાબ
એક વ્યક્તિ જ ભાગ પર ટેસ્ટ કેસ ચલાવવા શકો છો, જ્યારે ખામી માટે શોધી તેમના સમય કચરો
કોડ. તમે કેવી રીતે? જવાબ નથી
6.7 તમે SQA મેનેજર છે ફાર્મ અને ફિલ્ડ, 1539 ફાર્મ પુરવઠો સ્ટોર્સ એક રાષ્ટ્રિય ચેઇન છે. તમારી
સંસ્થા. આ સંસ્થા દરમ્યાન વાપરવા માટે સ્ટોક નિયંત્રણ પેકેજ ખરીદી ધ્યાનમાં છે
પેકેજ ખરીદી અધિકૃત પહેલાં, તમે સંપૂર્ણપણે તે ચકાસવા માટે નક્કી કરે છે. પેકેજની શું ગુણધર્મો તમે તપાસ કરો છો?
ફાર્મ અને ફિલ્ડ સંસ્થા 6.8 બધા 1539 સ્ટોર્સ હવે સંચાર નેટવર્ક દ્વારા સાંકળવામાં આવે છે. વેચાણ પ્રતિનિધિ તમે સાથે પ્રયોગ કરવા માટે એક 6 સપ્તાહ મફત ટ્રાયલ ઓફર કરી રહી છે
તે તમે વેચાણ કરવા પ્રયાસ કરી રહી છે કોમ્યુનિકેશન્સ પેકેજ. શું સોફ્ટવેર પરીક્ષણો સૉર્ટ તમે કરવા માંગો છો
અને શા માટે
6.9 તમે નિયંત્રણ માટે સોફ્ટવેર વિકસાવવા ચાર્જ વેલેરિઅન નેવી એક રીઅર એડમિરલ છે
સમસ્યા 1.4 જહાજ-થી-જહાજ મિસાઇલ. સોફ્ટવેર સ્વીકૃતિ માટે તમે પર વિતરિત કરવામાં આવી
પરીક્ષણ. શું તમે ચકાસવા નથી સોફ્ટવેર ગુણધર્મો શું
6.10 નીચેના કોડ ટુકડો ધ્યાનમાં રાખો:
; k = 0
જી = 1;
જ્યારે (k <N)
{
k = k + 1;
જી = જી * K;
}
178 Sch76183_ch06_154-182.Indd 04/06/10 1:28 PM પર પોસ્ટેડ
પ્રકરણ 6 પરીક્ષણ 179
આ કોડ ટુકડો યોગ્ય રીતે જી = ગણતરી N N હકારાત્મક પૂર્ણાંક છે, તો તે સાબિત!.
6.11 નીચેના કોડ ટુકડો ધ્યાનમાં રાખો:
M = 1;
Q = 2;
જ્યારે (એમ < એન)
{
M = એમ + 1;
Q = ક્યૂ * 2;
}
. {... 1, 2, 3, n} ∈ તો આ કોડ ટુકડો યોગ્ય રીતે Q = 2n ગણતરી સાબિત કરે છે કે
6.12 છે કે સમસ્યા હલ સાબિત ચોકસાઈ કરી શકો છો ક્લાઈન્ટ વિતરિત તરીકે ઉત્પાદન હોઈ શકે નહિં
ક્લાઈન્ટ ખરેખર જરૂર શું છે? તમારા જવાબ માટે કારણો આપે છે.
6.13 જોઈએ દિજ્ક્સ્ત્રાસ નિવેદન (વિભાગ 6.3) સાબિતી તેના બદલે ચોકસાઈ માટે લાગુ પડે છે માટે બદલી શકાય કેવી રીતે
ધ્યાનમાં વિભાગ મીની કેસ સ્ટડી કરતાં પરીક્ષણ? રીંછ 6.5.2.
6.14 ડિઝાઇન અને નૌર લખાણ પ્રોસેસીંગ સમસ્યા (વિભાગ 6.5.2) ની મદદથી એક ઉકેલ અમલમાં
. તમારા પ્રશિક્ષક દ્વારા ભાષા specifi એડ પરીક્ષણ માહિતી સામે ચલાવવા અને સંખ્યા રેકોર્ડ
ફાંટો તમે વૈજ્ઞાનિક એનડી અને કારણ દરેક દોષ (દા.ત., તર્કશાસ્ત્ર દોષ, લૂપ કાઉન્ટર દોષ). સુધારવા નથી
એક સાથી વિદ્યાર્થી સાથે હવે તમે શોધી ફાંટો. એક્સચેન્જ ઉત્પાદનો કોઇ અને કેટલા જુઓ
અન્ય ઉત્પાદન અને શું નથી અથવા તેઓ આવે ફાંટો તમે દરેક વૈજ્ઞાનિક એનડીએસના નવા દોષ. ફરીથી
દરેક દોષ કારણ રેકોર્ડ અને તમે દરેક દ્વારા મળી ભંગાણના પ્રકારો તુલના. આ પડવાળું
સમગ્ર વર્ગ માટે પરિણામો.
6.15 શા માટે દોષ, નિષ્ફળતા, અને એક ભૂલ વચ્ચે અલગ કરવાની જરૂર છે? આ ચોક્કસ ઉપયોગ
છત્રી Termdefect Simplifi ES બાબતો?
6.16 સફળતાપૂર્વક ઘણા વર્ષો માટે સંભાળેલ કરવામાં આવી છે કે સોફ્ટવેર ઉત્પાદન ઉદાહરણ આપો
પરંતુ તેની ઉપયોગિતા ગુમાવી છે અને એક તદ્દન અલગ ઉત્પાદન દ્વારા હટાવાયેલું કરવામાં આવી છે.
6.17 (ગાળાના પ્રોજેક્ટ) કેવી રીતે સમજાવવા તમે ઉપયોગિતા, વિશ્વસનીયતા, પ્રમાણિકતાના, કામગીરી, અને પરીક્ષણ કરશે
પરિશિષ્ટ A. માં Chocoholics અનામિક ઉત્પાદન ચોકસાઈ
તમારા પ્રશિક્ષક [Ostrand, Weyuker નકલો વિતરણ કરશે 6.18 (સોફ્ટવેર એન્જિનિયરિંગ વાંચનો)
અને બેલ, 2005]. શું તમારા દોષ નંબરો અને આગાહી રીગ્રેસન મોડેલો મદદથી પર જુઓ
સ્થાનો? તમારા જવાબ justify.
સંદર્ભ [Aberdour, 2007] એમ Aberdour, "ઓપન સોર્સ સોફ્ટવેર હાંસલ ગુણવત્તા," આઇઇઇઇ Software24
(2007 જાન્યુઆરી-ફેબ્રુઆરી), પીપી. 58-64 .
[એકરમેન, Buchwald, અને Lewski, 1989] એએફ એકરમેન, LS BUCHWALD, અને એફએચ LEWSKI,
"સોફ્ટવેર હેઠળનું નિરીક્શણ: ​​એક અસરકારક Verifi ધન પ્રક્રિયા" આઇઇઇઇ Software6 (1989 મે),
.. પીપી 31-36
[Ammann અને Offutt, 2008] પી Ammann અને જે Offutt સોફ્ટવેર ટેસ્ટીંગ, કેમ્બ્રિજ પરિચય
યુનિવર્સિટી પ્રેસ, કેમ્બ્રિજ, યુકે, 2008
, વેન નોસ્ટ્રાન્ડ રેઇનહોલ્ડ, ન્યૂ [Beizer, 1990] બી Beizer સોફ્ટવેર ટેસ્ટીંગ પઘ્ઘતિ, 2 જી આવૃત્તિ.
યોર્ક, 1990 .
[બેરી અને વિંગ, 1985] ડેરેન બેરી અને જેએમ વિંગ, "સ્પષ્ટ અને prototyping: કેટલાક વિચારો
તેઓ સફળ થાય છે શા માટે, "માં: સામાન્ય પદ્ધતિઓ અને સોફ્ટવેર ડેવલોપમેન્ટ, પ્રોસિડિંગ્સ ઓફ
ઇન્ટરનેશનલ જોઇન્ટ કોન્ફરન્સ થિયરી પર અને પ્રેક્ટિસ સોફ્ટવેર વિકાસ, વોલ્યુમ. 2,
સ્પ્રિન્ગર-વેરલાગ, બર્લિન, 1985, પીપી. 117-28.
Sch76183_ch06_154-182.Indd 179 04/06/10 એક વીસ આઠ મહીને
180 ભાગ સોફ્ટવેર એન્જિનિયરીંગ સમજો
[Boehm અને Basili, 2001] બી BOEHM અને વી.આર. Basili, "સોફ્ટવેર ડિફેક્ટ ઘટાડો ટોપ ટેન યાદી"
આઇઇઇઇ Computer34 (2001 જાન્યુઆરી), પીપી 135-37 ..
[બુશ, 1990] એમ બુશ, "સોફ્ટવેર ગુણવત્તા સુધારવા: ઔપચારિક ઇન્સ્પેક્શન ઉપયોગ જેટ પ્રોપલ્શન લેબોરેટરીના, "સોફ્ટવેર એન્જિનિયરિંગ, પર 12 મી ઇન્ટરનેશનલ કોન્ફરન્સ ઓફ કાર્યવાહીઓ
નાઇસ, ફ્રાન્સમાં, માર્ચ, 1990, આઇઇઇઇ, પીપી. 196-99.
[Ciolkowski, Laitenberger, અને Biffl, 2003] એમ CIOLKOWSKI, ઓ LAITENBERGER, એસ BIFFL, "સોફ્ટવેર
સમીક્ષાઓ, આ પ્રેક્ટિસ, "સ્ટેટ ઓફ આઇઇઇઇ Software20 (2003 નવેમ્બર-ડિસેમ્બર), પીપી. 46-51.
[ડેમિઅન અને Chisan, 2006] ડી ડેમિઅન અને જે CHISAN, "જરૂરિયાતોની ઇજનેરી વચ્ચે જટિલ સંબંધો એક પ્રયોગમૂલક અભ્યાસ ચૂકવણી જીવી કે પ્રક્રિયાઓ અને અન્ય પ્રક્રિયાઓ
ઉત્પાદકતા, ગુણવત્તા, અને જોખમ વ્યવસ્થાપન માં, "સોફ્ટવેર Engineering32 પર IEEETransactions
(જુલાઈ 2006), પીપી. 433-53.
[DeMillo, લિપ્ટન, અને પેર્લીસ, 1979] આરએ DEMILLO, આરજે લિપ્ટન, અને એજે પેર્લીસ, "સામાજિક પ્રક્રિયાઓને અને પ્રમેયો અને કાર્યક્રમો સાબિતી," આ ACM22 કોમ્યુનિકેશન્સ (1979 મે),
પીપી. 271-80.
[DeMillo, લિપ્ટન, અને Sayward, 1978] આરએ DEMILLO, આરજે લિપ્ટન, અને FG Sayward, " મદદો
ટેસ્ટ ડેટા પસંદગી પર છે: વ્યવસાયી પ્રોગ્રામર માટે મદદ કરે છે, "આઇઇઇઇ Computer11 (1978 એપ્રિલ),
.. પીપી 34-43
[Denger અને Shull, 2007] સી DENGER અને એફ Shull, "જાત આધારિત હેઠળનું નિરીક્શણ માટે વ્યવહારુ "આઇઇઇઇ Software24 (2007 માર્ચ-એપ્રિલ), પીપી. 79-86.
[દિજ્ક્સ્ત્રાસ, 1968] EW દિજ્ક્સ્ત્રાસ, "કાર્યક્રમ ચોકસાઈ," ના સમસ્યા માટે રચનાત્મક અભિગમ
BIT8 (નં 3, 1968), pp. 174- 86.
[દિજ્ક્સ્ત્રાસ, 1972] EW દિજ્ક્સ્ત્રાસ, "નમ્ર પ્રોગ્રામર," આ ACM15 કોમ્યુનિકેશન્સ
(1972 ઓક્ટોબર), પીપી. 859-66.
[Dunsmore જેમ્સ, રોપર, અને લાકડું, 2003] એ Dunsmore જેમ્સ, એમ રોપર, અને એમ WOOD, "વિકાસ
અને પદાર્થ આધારિત કોડ નિરીક્ષણ માટે ત્રણ વિવિધ પઘ્ઘતિ મૂલ્યાંકન, "સોફ્ટવેર Engineering29 પર આઇઇઇઇ વ્યવહારો (2003 ઓગસ્ટ), પીપી. 677-86.
[ફાગણી, 1976] મારી ફાગણી, "ડિઝાઇન અને કોડ હેઠળનું નિરીક્શણ કાર્યક્રમ વિકાસ ભૂલો ઘટાડવા માટે, "IBM સિસ્ટમો Journal15 (નં 3, 1976), પીપી. 182-211.
[ફાગણી, 1986] મારી ફાગણી, "" સોફ્ટવેર હેઠળનું નિરીક્શણ સોફ્ટવેર પર આઇઇઇઇ વ્યવહારો એડવાન્સિસ
એન્જિનિયરિંગ SE-12 (જુલાઈ 1986), પીપી. 744-51.
[પક્ષીનો શિકાર કરનાર પારધી, 1986] પીજે FOWLER, એટી & ટી તકનિકી "એટી એન્ડ ટી, પર Workproducts ના પ્રક્રિયામાં હેઠળનું નિરીક્શણ"
Journal65 1986 (માર્ચ-એપ્રિલ), પીપી. 102-12.
[Freimut, Briand, અને Vollei, 2005] બી FREIMUT, એલસી Briand, અને એફ VOLLEI પર આઇઇઇઇ વ્યવહારો ", પ્રોજેક્ટ માહિતી અને નિષ્ણાત અભિપ્રાય સંયોજન દ્વારા નિરીક્ષણ ખર્ચ-અસરકારકતા નક્કી"
, સોફ્ટવેર Engineering31 (ડિસેમ્બર 2005) પીપી. 1074-92.
[ફુ, Milanova, રાયડર, Wonnacott, 2005] સી ફુ, એ MILANOVA, બી.જી. રાયડર અને ડીજી Wonnacott,
"પ્રમાણિકતાના પરીક્ષણ જાવા સર્વર કાર્યક્રમો," ઓન સોફ્ટવેર એન્જિનિયરિંગ આઇઇઇઇ વ્યવહારો
31 (2005 એપ્રિલ), પીપી. 292-311.
[ Gelperin અને Hetzel, 1988] ડી GELPERIN અને બી Hetzel, "સોફ્ટવેર ટેસ્ટિંગ વૃદ્ધિ," આ ACM31 કોમ્યુનિકેશન્સ (1988 જૂન), પીપી. 687-95.
[Goodenough, 1979] જે.બી. GOODENOUGH, "કાર્યક્રમ એક સર્વે પરીક્ષણ મુદ્દાઓ "માં: સંશોધન
સોફ્ટવેર ટેકનોલોજી, પી Wegner (સંપાદક), ધ એમઆઇટી પ્રેસ, કેમ્બ્રિજ, એમએ, 1979 માં દિશાસુચન,
.. પીપી 316-40
[Goodenough અને ગર્હાર્ટ, 1975] જે.બી. GOODENOUGH અને લસિથ ગર્હાર્ટ, "તરફ ટેસ્ટ એક સિદ્ધાંત
ડેટા પસંદગી "વિશ્વસનીય સોફ્ટવેર પર ત્રીજા ઇન્ટરનેશનલ કોન્ફરન્સ, લોસ ઓફ કાર્યવાહીઓ
એન્જલસ, 1975, પીપી 493-510 ;. સોફ્ટવેર EngineeringSE-1 પર InIEEE વ્યવહારો પ્રકાશિત
180 04/06/10 1 Sch76183_ch06_154-182.Indd : 28 PM પર પોસ્ટેડ
પ્રકરણ 6 પરીક્ષણ 181
(1975 જૂન), પીપી 156-73 સુધારેલી આવૃત્તિ: .. જે.બી. Goodenough અને લસિથ ગર્હાર્ટ, "એક થિયરી તરફ
ટેસ્ટ ડેટા પસંદગી: ડેટા પસંદગીનો માપદંડ, "માં: વર્તમાન પ્રવાહો પ્રોગ્રામિંગ પદ્ધતિ માં,
વોલ્યુમ . 2, રિકી યે (તંત્રી), પ્રેન્ટિસ હોલ, એંગ્લેવુડ ક્લિફ્સ, NJ, 1977, પીપી. 44-79.
[હેટોન, 2008] એલ હેટોન, "Chec ના ભાવ પરીક્ષણ