SOFTWARE TESTVERIFI CEN 6070
Popular in Course
Popular in Computer Engineering
This 36 page Class Notes was uploaded by Paxton Okuneva on Saturday September 19, 2015. The Class Notes belongs to CEN 6070 at University of Florida taught by Stephen Thebaut in Fall. Since its upload, it has received 14 views. For similar materials see /class/207040/cen-6070-university-of-florida in Computer Engineering at University of Florida.
Reviews for SOFTWARE TESTVERIFI
Report this Material
What is Karma?
Karma is the currency of StudySoup.
You can buy or earn more Karma at anytime and redeem it for class notes, study guides, flashcards, and more!
Date Created: 09/19/15
Lectu re 1 5 Prepared by Stephen M Thebouf PhD University of Florida Lectures 1 14 Readings 1 6 2 3 4 5 Myers The Art of Software Testing Kit Software Testing in the Real World Gause amp Weinberg Making Meetings Work Fagan Design and Code Inspections Grady amp Van Slack Key Lessons in Achieving Widespread Inspection Use Sauer et al The Effectiveness of Software Development Technical Reviews Black Box Testing Case Study Problem Sets 1 4 Topics Intro to VampV Techniques and Principles Requirements and Specifications Black Box Test Case Design Strategies White Box Test Case Design Strategies Integration and Higher Level Testing Topics cont d Testing Object Oriented Software Reviews and Inspections Testing Tools Practice Exams Lesson Plans including SelfCheck Quiz Questions You will have 90 minutes to complete the exam No notes books calculators or PDA s are allowed All answers should be given in the spaces provided on the exam only Question format may be short answer matching truefalse ll in the blank proofs etc The point value of each question will be given Proctors should schedule a single exam time during normal working hours for all students at each site If this is not possible exams may be scheduled outside normal working hours eg in the evening Exams are made available to proctors the same day they are administered to on campus students Proctors should return ORIGINAL exams directly to the instructor preferably via overnight delivery 4 pts According to Grady amp Van Slack quotKey Lessons in Achieving Widespread Inspection Usequot a Chief Moderator quotownsquot the inspection process within hisher organization What speci c responsibilities do Grady amp Van Slack identify as being associated with this quotownershipquot 3 pts Even unimpaired conscientious testers who visually compare actual with expected test results have a tendency to overlook differences This is especially true when testing in the the Spring Brie y explain why this is so What speci c techniques were discussed in class for countering this tendency 4 pts In addition to the quottop downquot and quotbottom upquot incremental integration testing approaches 3 quothybridquot approaches were discussed in class Describe 2 of these Consider the following subroutine and its control flow graph not shown a 5 pts List all the Def C Use pairs for 39 Bquot variable 5 pts List all the Def P Use pairs for variable 2 pts How many paths are associated with the Def C Use pair 14 for variable A cont d d 3 pts How many of these are du paths 3 pts Consider a test case with execution path lt01234gt Circle all of the following coverage criteria not shown that would be met by executing this test case cont d f 3 pts Consider a 2nd test case with execution path lt02334gt Circle all of the following coverage criteria not shown that would be met by executing BOTH test cases 10 pts Give the path condition for path lt023334gt in terms of the initial symbolic values of A and B for this subroutine Show ALL path condition conjuncts 5 pts Indicate True or False for each of the following statements related to Equivalence Partitioning a The technique is also known as output space partitioning b When dealing with complex multiple input problems a means for identi fying appropriate COMBINATIONS OF EQUIVALENCE CLASSES is necessary to partition the input space cont d c Cause Effect Analysis can be viewed as a logical extension of Equivalence Partitioning The specification fragment quotHOURS will range in value from 0 to 40 for HOURS lt 20 output 39Low39 for HOURS gt 20 output 39HIGH39quot where HOURS is a program input suggests ONE valid and possibly ONE or TWO invalid equivalence classes cont d e The technique is predicated on the assumption that every element of an equivalence class causes the same program path to be executed Consider the following Cause Effect graph fragment not shown 3 pts How many test cases would be required to achieve AFCCV all feasible combinations of Cause values coverage for this model 2 pts How many test cases would be required to achieve AEMC all effects covered with the minimum number of test cases coverage cont d c 8 pts How many test cases would be required to cover all feasible combinations of Causes that based on the graph will result in Effect E1 being true In effect E3 being true 4 pts How many test cases would be required to cover all feasible combinations of Causes that based on the graph will result in Effect E1 being true SUBJECT TO THE CULLING RULES considered in class In effect E3 being true Recall the speci cation of powxy which computes the value of x raised to the power y xy from the Black Box Testing Case Study a 3 pts It was noted that xy really MEANS or represents different functions depending on the input quotregionquot point line etc in the xy plane If y is an integer lt 1 and x 39 a nonzero number w at quotfunctionquot does xy represent 4 pts What should powxy return if the mathematical value of xy is greater than zero but less than TINY7VAL What should the MATHERR function set errno to in this case 4 pts Under what circumstances would a call to powxy result in MATHERR setting errno to OVERFLOW Be specific 3 pts Glenford Myers quotThe Psychology and Economics of Program Testingquot argues that the most important considerations in software testing are issues of psychology and he identi es a set of testing principles or guidelines in this vein The justi cation for one of these is expressed via the following analogy quotAs many homeowners know removing wall paperis not easy but it is almost unbearably depressing if you rather than someone else originally installed 39t quot What principle or guideline was he justifying 9 pts Give the TFI39 path condition for the program fragment below not shown in terms of the initial symbolic values ofA and B CLEARLY ILLUSTRATE THE USE OF SYMBOLIC EVALUATION IN YOUR SOLUTION 10 pts Using the program fragment below not shown PROVE that All Uses coverage and Condition coverage are independent 9 pts Match the descriptions below to the single most appropriate of the following testing related terms A integration testing system level test system test acceptance testing functional testing graybox testing acceptance testing Alpha testing structural testing causal analysis unit level test benchmarkin component level test posttest analysis Beta testing I J K L M N O p i testing conducted to ensure that a system is quotreadyquot for the systemlevel test phase i testing undertaken by endusers within the user environment prior to general release techniques include Boundary Value Analysis and Intuition and Experience general practice of recording and comparing indices of performance quality cost etc i testing undertaken as units are combined to form componen s i identifying the sources of errors and approaches to eliminate future occurrences reviewing the results of a testing activity with the intent to improve its effectiveness techniques include Boundary Value Analysis and FaultBased testing enduser testing undertaken within the development environment prior to general release Lectu re 1 5 Prepared by Stephen M Thebouf PhD University of Florida Bonus Review Material Prepared by Stephen M Thebouf PhD University of Florida Function computed by the program 5 S xytemp yxX y temp xy Ayx Atempx Comparable Speci ed 15 the program correct function f P 5 Q P S Q strongly f S f S f xytemp yxX Function computed by the program 5 S xytemp yxX y temp xy AyX Comparable Speci ed 15 the program correct function f P 5 Q P S Q strongly f S f S f xy w Function computed by the program 5 S xytemp yxX y temp xy AyX Comparable Speci ed 15 the program correct function f P 5 Q P S Q strongly f S f S xgt0Aygt0 gt xy yx Aygt0 if xgt0 amp ygt0 then emp 39 x Function computed by the program 5 xgt0 A ygt0 a xytemp yxx true a I Is the program correct Comparable specified P S Q function f P S Q strongly f S f S xgt0ygt0 gt xy yx different program Xgt0 Aygt0 Function computed by the If 0 amp ygt0 then program 5 p xgt0 A ygt0 a xytemp yxx emp el se while 11 do Is the program correct W P s Q fifielse P S Q strongly XV39A VX39 f s endiwhile Comparable specified f S function 39 xgt0Aygt0 axy yx if xgt0 amp ygt0 then emp x ytemp el se while 11 do noop xy yX Comparable specified function f xy w Function computed by the program 5 xgt0 A ygt0 a xytemp yxx Is the program correct P S Q P S Q strongly f S f S Bonus Review Material Prepared by Stephen M Thebouf PhD University of Florida
Are you sure you want to buy this material for
You're already Subscribed!
Looks like you've already subscribed to StudySoup, you won't need to purchase another subscription to get this material. To access this material simply click 'View Full Document'