PESIT Bangalore South Campus
|
|
- Beatrix White
- 5 years ago
- Views:
Transcription
1 USN 1 P E PESIT Bangalore South Campus Hosur road, 1km before Electronic City, Bengaluru -100 Department of Information Science & Engineering INTERNAL ASSESSMENT TEST 1 Date : 23/02/2016 Max Marks: 50 Subject & Code : Software Testing / 10IS65 Section: 6 th A & B Name of faculty: Mr. Animesh Giri Time: 8:30 AM 10:00 AM Note: ANSWER ANY FIVE FULL QUESTIONS REFER TEST CASE TEMPLATE PROVIDED TO TABULATE TEST CASES SOLUTION SCHEMA 1. a) Define Software Testing. What are the motivation behind usage of Equivalence Class testing and how does it addresses the problem observed in Boundary Value Analysis testing. (05 Marks) Answer: The use of equivalence classes as the basis for functional testing has two motivations: a. To have a sense of complete testing and b. To avoid redundancy The problems faced in BVA method are: The test cases generated by BVA method emphasize more on the extreme values of input variables. Hence, in BVA method serious gaps exist between test cases which does not results in a satisfactory testing. Moreover, it has an assumption that the input variables are truly independent, and when this assumption is not warranted, the method generates unsatisfactory test cases. The BVA test cases are obtained by holding the values of all but one variable at their nominal values, and letting that variable assume its extreme values. This results in redundant test cases at nominal values of variables. Both the problems faced in BVA test cases are overcome by Equivalence class test cases: Equivalence classes form partitions of an input set, where partitions refer to a collection of mutually disjoint subsets, the union of which is the entire set. This has two implications for testing: the fact that the entire set is represented provides a form of completeness, and The disjointedness ensures a form of non-redundancy.
2 b) Explain Structural testing (White Box) with diagram & list out its advantages; Highlight the drawbacks of Functional (Black Box) testing approach. (05 Marks) Answer: White box/structural/clear box testing: White- box testing (also known as clear box testing, glass box testing, and transparent box testing and structural testing) is a method of testing software that tests internal structures or workings of an application, as opposed to its functionality. Some structural testing methods are Path testing and dataflow testing. Fig: White box testing Functional testing has two distinct advantages: 1) They are independent of how the software is implemented, so if the implementation changes the test cases are still useful. 2) Test case development can occur in parallel with the implementation, there by reducing the overall project development interval. Drawbacks of functional testing approach: 1) Significant redundancies may exist among test cases, compounded by the possibility of gaps of untested software. 2) Because functional testing are based on the specified behavior, it is hard to imagine these methods identifying behaviors that are not on the specified behavior
3 2. Explain in detail the Worst-Case Boundary Value Analysis (WC-BVA) testing with appropriate diagram to generate test cases for a function of two variables, Also, List all the generated WC- BVA Test Cases. Finally tabulate 10 Unique Test Cases along with the expected output for Triangle Problem (10 Marks) Worst Case Testing: Worst Case testing considers the five element set that contains the min, min+, nom, max- and max values for each variable. Cartesian product of these sets is taken to generate test cases. Worst case testing does not consider the single fault assumption of reliability theory. Worst case testing is clearly more thorough in the sense that boundary value analysis test cases are proper subset of worst-case test cases. Worst-case test cases for a function of n variables generate 5 n test cases. Worst-case test cases for a function of two variables is shown in Figure-2.4 x 2 d c a b x 1 Case a b c Expected Output Isosceles Isosceles
4 Equilateral Isosceles Not A Triangle Isosceles Isosceles 3. Tabulate 10 each unique Test Case along with the expected output by applying Robust BVA & Worst BVA approach. Mention the boundary for each variables used for the below mentioned examples. i) NextDate Function ii) Commission Problem (10 Marks) Answer: Next Date Function: NextDate is a function of three variables: month, day, and year. It returns the date if the day after the input date. The month, day, and year variables have integer values subject to these conditions: c1. 1<=month<=12 c2. 1<= day<=31 c <=year<=2012 NextDate function Boundary Value Analysis Test Cases Case month day year Expected Output june 16, june 16, june 16,1912
5 june 16, june 16, june 2, june 3,1912 Commission Problem Output Boundary Value Analysis Test Cases: Case Locks Stocks Barrels Sales Commission Comment Output minimum Output minimum Output minimum Output minimum Midpoint Border Point Border Point-
6 4. a) Explain in detail the Equivalence Class testing technique for a function of two variables generating all possible test cases considering i) Weak Normal Equivalence Class Testing ii) Strong Robust Equivalence Class Testing (05 Marks) b) Mention all possible Valid & Invalid Equivalence Classes for generating test cases for NextDate Function, and tabulate 10 unique test cases along with the expected output by applying Weak Normal & Strong Robust Equivalence Class Testing approach. (05 Marks) Answer:. Weak Normal Equivalence Class Testing: It identifies equivalence classes of valid values. Faults due to valid values of a single variable is detected (Single fault assumption). Weak normal class testing is accomplished by using one variable from each equivalence class (interval) in a test case. It is suitable for regression testing. Weak normal equivalence class test cases: where, a<=x1<=d, with intervals [a,b), [b,c), [c,d]; e<=x2<=g, with intervals [e,f), [f,g] are valid classes ii). Strong robust Equivalence Class Testing: In Strong robust Equivalence Class testing, the robust part comes from consideration of invalid values, and the strong part refers to the multiple fault assumption.
7 we obtain test cases from each element of the cartesian product of all the equivalence classes, as shown: where, a<=x1<=d, with intervals [a,b), [b,c), [c,d]; e<=x2<=g, with intervals [e,f), [f,g] x1<a, x1>d and x1<e, x2>g are valid classes and are invalid classes Problem Statement: NextDate is a function of three variables: month, day, and year. It returns the date if the day after the input date. The month, day, and year variables have integer values subject to these conditions: c1. 1<=month<=12 c2. 1<= day<=31 c <=year<=2012 Responses are defined for invalid values of the input variables for the day, month, and year and invalid combination of inputs. If any of the conditions c1, c2 and c3 fails, NextDate produces an output indicating the corresponding variable has an out of range value. The NextDate function illustrates very well the craft of choosing the underlying equivalence relation. NextDate is a function of three variables month, day, and year and these have intervals of valid values defined as follows: M1 = {month : 1 month 12} D1 = {day : 1 day 31} Y1 = {year : 1812 year 2012}
8 The invalid equivalence classes are: M2 = {month : month < 1} M3 = {month : month > 12} D2 = day : day < 1} D3 = {day : day>31} Y2 = {year : year < 1812} Y3 = {year : year >2012} Because the number of valid classes equals the number of independent variables, onl one weak normal equivalence class test case occurs, and it is identical to the strong normal equivalence class test case: Case ID Month Day Year Expected Output WN1, SN /16/1912 Here is the full set of weak robust test cases: Case ID Month Day Year Expected Output WR /16/1912 WR Value of month not in range 1 12 WR Value of month not in range 1 12 WR Value of day not in range 1 31 WR Value of day not in range 1 31 WR Value of year not in range WR Value of year not in range Here is one corner of the cube in 3-space of the additional strong robust equivalence class test cases: Case ID Month Day Year Expected Output SR Value of month not in range 1 12 SR Value of day not in range 1 31 SR Value of year not in range SR Value of day not in range 1 31 Value of month not in range 1 12
9 SR Value of day not in range 1 31 Value of year not in range SR Value of year not in range Value of month not in range 1 12 SR Value of month not in range 1 12 Value of day not in the range 1 31 Value of year not in range If we carefully choose the equivalence relation, the resulting equivalence classes will be more useful. We next reduce the granularity by focusing on more specific treatment. What must be done to an input date? If it is the last day of a month, the NextDate function will simple increment the day value. At the end of a month, the next day is 1 and the month is incremented. At the end of a year, both the day and month are reset to 1, and the year is incremented. Finally, the problem of leap year makes determining the last day of a month interesting. With all this in mind, we might postulate the following equivalence classes: M1 = {month : month has 30 days} M2 = {month : month has 31 days} M3 = {month : month is February} D1 = {day : 1 day 28} D2 = {day : day = 29} D3 = {day : day = 30} D4 = {day : day = 31} Y1 = {year : year = 2000} Y2 = {year : year is a non-century leap year} Y3 = {year : year is a common year} By choosing separate classes for 30- and 31- day months, we simplify the question of the last day of a month. By taking February as a separate class, we can give more attention to leap year questions. We also give special attention to day values: days in D1 are (nearly) always incremented, while days in D4 only have meaning for months in M2. Finally, we have three classes of years: the special case of the year 2000, leap years, and non-leap years. This is not a perfect set of equivalence classes, but its use will reveal many potential errors Equivalence Class Test Cases: Weak Normal Equivalence class test cases for the revised classes are: Case ID Month Day Year Expected Output WN /15/1912
10 WN /30/1996 WN Invalid input date WN Invalid input date Strong Normal Equivalence class test cases for the revised classes are: Case ID Month Day Year Expected Output SN /15/2000 SN /15/1996 SN /15/2002 SN /30/2000 SN /30/1996 SN /30/2002 SN Invalid input date SN Invalid input date SN Invalid input date SN Invalid input date SN Invalid input date SN Invalid input date SN /15/2000 SN /15/1996 SN /15/2002 SN /30/2000 SN /30/1996 SN /30/2002 SN /31/2000 SN /31/1996 SN /31/2002 SN /1/2000 SN /1/1996 SN /1/2002 SN /15/2000 SN /15/1996 SN /15/2002 SN Invalid input date SN /1/1996 SN Invalid input date SN Invalid input date SN Invalid input date SN Invalid input date SN Invalid input date
11 SN Invalid input date SN Invalid input date The move from weak to strong, whether with normal or robust classes, always makes the presumption of independence, and this is reflected in the cross-product of the equivalence classes. 3 month classes 4 day classes 3 year classes = 36 strong normal equivalence test cases. 5. a) Illustrate the scenario with the help of sample decision table where the decision table is Redundant and Inconsistent (i.e. Non-deterministic) (04 Marks) Answer: Decision table be concluded as redundant - if it has two identical rules i.e same action entries in two or more rules for different or identical condition entries as shown: In the table shown above action entries in rule 9 is identical to rule 1 to 4. Decision table be concluded as inconsistent - if actions in redundant rule are not identical (different) to the corresponding part of decision table as shown:
12 In the table shown above, if a transaction in which c1 is true and both c2 and c3 are false then both rules 4 and 9 apply. Two observations can be made: Answer: - rules 4 and 9 are inconsistent. - the decision table is nondeterministic. b) Explain in detail the concept of Rule Count considering Refined Decision Table for Triangle Program to indicate irrelevant don t care entries present in the decision table. (06 Marks) For limited entry decision tables, if n conditions exists, there must be 2^n rules. When don t care entries really indicate that the condition is irrelevant, we can develop a rule count as follows: rules in which no don t care entries occur count as one rule, and each don t care entry in a rule doubles the count of that rule as shown below: The sum of the rule count= 2^6=64.
13 6. Create a decision table for NextDate Function by identifying appropriate Equivalence classes as conditions and determine actions for generating all possible test cases by considering decision table with 22 Rules. Finally tabulate all 22 test cases for NextDate Function (10 Marks) Answer: M1= {month : month has 30 days} M2= {month : month has 31 days} M3= {month : month is february} M4:{month:month is December} D1= {day : 1<=day<=28} D2= {day : day=29} D3= {day : day=30} D4= {day : day=31} Y1= {year : year=2000} Y2= {year : year is a non-century leap year} Y3= {year : year is a common year
14 TEST CASE TEMPLATE Test Case Id Description Input Data Expected Output Actual Output Status (PASS / FAIL ) ********************* ALL THE VERY BEST *********************
PES INSTITUTE OF TECHNOLOGY- BANGALORE SOUTH CAMPUS
Sixth Semester B.E. IA Test I, Feb, 2015 USN 1 P E I S PES INSTITUTE OF TECHNOLOGY- BANGALORE SOUTH CAMPUS (Hosur Road, Electronic City, Bangalore-560 100) Date & Time: 25-02-2015, 8:30 AM - 11:00 AM Max
More informationEECS 4313 Software Engineering Testing. Topic 05: Equivalence Class Testing Zhen Ming (Jack) Jiang
EECS 4313 Software Engineering Testing Topic 05: Equivalence Class Testing Zhen Ming (Jack) Jiang Relevant Readings [Jorgensen] chapter 6 Introduction Boundary Value Testing derives test cases with Massive
More informationFunctional Testing (Black Box Testing)
Functional Testing (Black Box Testing) In black box testing, program is treated as a black box. Implementation details do not matter. Takes a user point of view. Functional testing verifies that each function
More informationQuality Assurance in Software Development
Quality Assurance in Software Development Qualitätssicherung in der Softwareentwicklung A.o.Univ.-Prof. Dipl.-Ing. Dr. Bernhard Aichernig Graz University of Technology Austria Summer Term 2017 1 / 47 Agenda
More informationSoftware Testing. 1. Testing is the process of demonstrating that errors are not present.
What is Testing? Software Testing Many people understand many definitions of testing :. Testing is the process of demonstrating that errors are not present.. The purpose of testing is to show that a program
More informationMainline Functional Testing Techniques
Mainline Functional Testing Techniques (4 flavors) Equivalence Partitions (another 4 flavors) Special Value Testing Output Domain (Range) Checking Decision Table Based Testing (aka Cause and Effect Graphs
More informationSoftware Testing: A Craftsman s Approach, 4 th Edition. Chapter 5 Boundary Value Testing
Chapter 5 Boundary Value Testing Functional Testing The rationale for referring to specification-based testing as functional testing is likely due to the abstraction that any program can be viewed as a
More informationQuestion Bank. Unit 1: Perspective on Testing, Examples. Chapter 1 & 2 from Dr. Paul C. Jorgensen
Unit 1: Perspective on Testing, Examples Chapter 1 & 2 from Dr. Paul C. Jorgensen Sl no Question Description 1. Make a Venn Diagram that reflects a part of the following statement: we have left undone
More informationPESIT Bangalore South Campus SOLUTION
USN 1 P E PESIT Bangalore South Campus Hosur road, 1km before Electronic City, Bengaluru -100 Department of Information Science & Engineering INTERNAL ASSESSMENT TEST 2 Date : 02/04/2018 Max Marks: 40
More informationSoftware technology 7. Testing (2) BSc Course Dr. Katalin Balla
Software technology 7. Testing (2) BSc Course Dr. Katalin Balla Contents Testing techniques Static testing techniques Dynamic testing Black box testing White-box testing Testing in the agile environment
More informationSpecification-based test design
Software and Systems Verification (VIMIMA01) Specification-based test design Zoltan Micskei, Istvan Majzik Budapest University of Technology and Economics Fault Tolerant Systems Research Group Budapest
More informationCS 4387/5387 SOFTWARE V&V LECTURE 4 BLACK-BOX TESTING
1 CS 4387/5387 SOFTWARE V&V LECTURE 4 BLACK-BOX TESTING Outline 2 Quiz Black-Box Testing Equivalence Class Testing (Equivalence Partitioning) Boundary value analysis Decision Table Testing 1 3 Quiz - 1
More information4B Summary of some Key SW Testing Concepts 1
4B Summary of some Key SW Testing Concepts 1 Note: Section 4A presented a particular, specific method for developing (system or requirements level) tests cases from UML use cases. Section 4B provides a
More informationUNIT-4 Black Box & White Box Testing
Black Box & White Box Testing Black Box Testing (Functional testing) o Equivalence Partitioning o Boundary Value Analysis o Cause Effect Graphing White Box Testing (Structural testing) o Coverage Testing
More informationChapter 3: Dynamic Testing Techniques
Chapter 3: Dynamic Testing Techniques " The system was not fully tested to a satisfactory level of quality and resilience before full implementation on 26 October 1992." Extract from the main conclusions
More informationUNIT-4 Black Box & White Box Testing
Black Box & White Box Testing Black Box Testing (Functional testing) o Equivalence Partitioning o Boundary Value Analysis o Cause Effect Graphing White Box Testing (Structural testing) o Coverage Testing
More informationIntroduction. Easy to get started, based on description of the inputs
Introduction Testing is about choosing elements from input domain. The input domain of a program consists of all possible inputs that could be taken by the program. Easy to get started, based on description
More informationPESIT Bangalore South Campus Hosur road, 1km before Electronic City, Bengaluru -100 Department of Electronics and Communication
USN 1 P E PESIT Bangalore South Campus Hosur road, 1km before Electronic City, Bengaluru -0 Department of Electronics and Communication INTERNAL ASSESSMENT TEST 1 Date : 30/8/2017 Marks: 0 Subject & Code
More informationNo Source Code. EEC 521: Software Engineering. Specification-Based Testing. Advantages
No Source Code : Software Testing Black-Box Testing Test-Driven Development No access to source code So test cases don t worry about structure Emphasis is only on ensuring that the contract is met Specification-Based
More informationBlack Box Testing. EEC 521: Software Engineering. Specification-Based Testing. No Source Code. Software Testing
Black Box Testing EEC 521: Software Engineering Software Testing Black-Box Testing Test-Driven Development Also known as specification-based testing Tester has access only to running code and the specification
More informationPESIT Bangalore South Campus Hosur road, 1km before Electronic City, Bengaluru -100 Department of Electronics and Communication
USN 1 P E PESIT Bangalore South Campus Hosur road, 1km before Electronic City, Bengaluru -0 Department of Electronics and Communication INTERNAL ASSESSMENT TEST 2 Date : 4//2017 Marks: 50 Subject & Code
More informationSoftware Quality Assurance. David Janzen
Software Quality Assurance David Janzen What is quality? Crosby: Conformance to requirements Issues: who establishes requirements? implicit requirements Juran: Fitness for intended use Issues: Who defines
More informationInput Space Partitioning
Input Space Partitioning Instructor : Ali Sharifara CSE 5321/4321 Summer 2017 CSE 5321/4321, Ali Sharifara, UTA 1 Input Space Partitioning Introduction Equivalence Partitioning Boundary-Value Analysis
More informationInternational Journal of Computer Engineering and Applications, Volume XII, Special Issue, September 18, ISSN SOFTWARE TESTING
International Journal of Computer Engineering and Applications, Volume XII, Special Issue, September 18, www.ijcea.com ISSN 2321-3469 SOFTWARE TESTING Rajat Galav 1, Shivank Lavania 2, Brijesh Kumar Singh
More informationChapter 20. A Closer Look at All Pairs Testing. Software Testing: A Craftsman s Approach, 4 th Edition. Chapter 20 All Pairs Testing
Chapter 20 A Closer Look at All Pairs Testing Overview What is it? Why are people excited about it? Should we be excited about it? James Bach s summary Assumptions Appropriate choices Examples (and counter-examples)
More informationInternational Journal of Computer Engineering and Applications, Volume XII, Special Issue, April- ICITDA 18,
International Journal of Computer Engineering and Applications, Volume XII, Special Issue, April- ICITDA 18, www.ijcea.com ISSN 2321-3469 SOFTWARE TESTING Rajat Galav, Shivank Lavania Student, Department
More informationSOFTWARE TESTING LABORATORY
oratory M.I.T VI ISE SOFTWARE TESTING LABORATORY Subject Code: 10ISL68 I.A. Marks : 25 Hours/Week : 03 Exam Hours: 03 Total Hours : 42 Exam Marks: 50 1. Design and develop a program in a language of your
More informationEXERCISES (Software Engineering)
Chapter 1 1. What is Software Engineering? 2. What is Requirement Engineering? EXERCISES (Software Engineering) 3. What are the Different types of Architectures in Software Engineering? 4. How many subdisciplines
More informationCS 451 Software Engineering Winter 2009
CS 451 Software Engineering Winter 2009 Yuanfang Cai Room 104, University Crossings 215.895.0298 yfcai@cs.drexel.edu 1 Software Testing Techniques FUNDAMENTALS The goal of testing is to find errors. A
More information1. A statement is a set of words and/or symbols that collectively make a claim that can be classified as true or false.
Chapter 1 Line and Angle Relationships 1.1 Sets, Statements and Reasoning Definitions 1. A statement is a set of words and/or symbols that collectively make a claim that can be classified as true or false.
More informationEquivalence Class Partitioning and Boundary Value Analysis -Black Box Testing Techniques
Equivalence Class Partitioning and Boundary Value Analysis -Black Box Testing Techniques In this tutorial, we will discuss the approach to design the test cases and also how to apply the boundary value
More informationDecision Tables - Wikipedia Decision Table-Based Testing
Decision ables Wikipedia Decision ablebased esting Chapter A precise yet compact way to model complicated logic Associate conditions with actions to perform Can associate many independent conditions with
More informationBlack-Box, Functional Testing
Black-Box, Functional Testing 1 Introduction Based on the definition of what a program s specification, as opposed to its structure Does the implementation correctly implement the functionality as per
More informationCHAPTER 8. Copyright Cengage Learning. All rights reserved.
CHAPTER 8 RELATIONS Copyright Cengage Learning. All rights reserved. SECTION 8.3 Equivalence Relations Copyright Cengage Learning. All rights reserved. The Relation Induced by a Partition 3 The Relation
More informationWhy testing and analysis. Software Testing. A framework for software testing. Outline. Software Qualities. Dependability Properties
Why testing and analysis Software Testing Adapted from FSE 98 Tutorial by Michal Young and Mauro Pezze Software is never correct no matter what developing testing technique is used All software must be
More informationSoftware Testing. Software Testing. Theory, Practise and Reality IBM Corporation
Software Testing Software Testing Theory, Practise and Reality Who am I? David Vines (dvines@uk.ibm.com) Degree in Computer Science and Operational Research Joined IBM in 1984 Been involved in product
More informationAerospace Software Engineering
16.35 Aerospace Software Engineering Verification & Validation Prof. Kristina Lundqvist Dept. of Aero/Astro, MIT Would You...... trust a completely-automated nuclear power plant?... trust a completely-automated
More informationSoftware Quality Assurance Dynamic Test
Software Quality Assurance Dynamic Test Contents Properties and goals Structural testing Control flow testing Data flow testing Functional test Diversified test 2 Properties and Goals Properties of dynamic
More informationMultidimensional Divide and Conquer 2 Spatial Joins
Multidimensional Divide and Conque Spatial Joins Yufei Tao ITEE University of Queensland Today we will continue our discussion of the divide and conquer method in computational geometry. This lecture will
More informationVerification and Validation
Chapter 5 Verification and Validation Chapter Revision History Revision 0 Revision 1 Revision 2 Revision 3 Revision 4 original 94/03/23 by Fred Popowich modified 94/11/09 by Fred Popowich reorganization
More informationPESIT Bangalore South Campus
PESIT Bangalore South Campus Hosur road, 1km before Electronic City, Bengaluru -100 Department of Information Science & Engineering SOLUTION MANUAL INTERNAL ASSESSMENT TEST 1 Subject & Code : Storage Area
More informationPESIT Bangalore South Campus
Fifth Semester B.E. IA Test-I, 2014 USN 1 P E I S PESIT Bangalore South Campus (Hosur Road, 1KM before Electronic City, Bangalore-560 100) Department of Information Science & Engineering Section: 5 ISE
More informationGENERALISED GEOMETRY
GENERALISED GEOMETRY INTRODUCTION Generalised Geometry, which we will discuss in the chapters that follow, is a «New Geometry» that emerged from the need to broaden certain parts of Euclidean Geometry,
More information60th ANNUAL HIGH SCHOOL HONORS MATHEMATICS CONTEST
60th ANNUAL HIGH SCHOOL HONORS MATHEMATICS CONTEST April, 017 on the campus of the University of California, San Diego PART I 5 Questions Welcome to the contest! Please do not open the exam until told
More informationIntegrating the classification tree method with combinatorial testing: test selection strategy
Integrating the classification tree method with combinatorial testing: test selection strategy Eduardo Miranda, PhD. CMU/MSE MSE/NIST Seminar June 7th, 2011 Pittsburgh, PA The Classification Tree Method
More informationThe Encoding Complexity of Network Coding
The Encoding Complexity of Network Coding Michael Langberg Alexander Sprintson Jehoshua Bruck California Institute of Technology Email: mikel,spalex,bruck @caltech.edu Abstract In the multicast network
More informationMatching Theory. Figure 1: Is this graph bipartite?
Matching Theory 1 Introduction A matching M of a graph is a subset of E such that no two edges in M share a vertex; edges which have this property are called independent edges. A matching M is said to
More informationPAIRED-DOMINATION. S. Fitzpatrick. Dalhousie University, Halifax, Canada, B3H 3J5. and B. Hartnell. Saint Mary s University, Halifax, Canada, B3H 3C3
Discussiones Mathematicae Graph Theory 18 (1998 ) 63 72 PAIRED-DOMINATION S. Fitzpatrick Dalhousie University, Halifax, Canada, B3H 3J5 and B. Hartnell Saint Mary s University, Halifax, Canada, B3H 3C3
More informationLecture 17: Testing Strategies. Developer Testing
Lecture 17: Testing Strategies Structural Coverage Strategies (White box testing): Statement Coverage Branch Coverage Condition Coverage Data Path Coverage Function Coverage Strategies (Black box testing):
More information9.5 Equivalence Relations
9.5 Equivalence Relations You know from your early study of fractions that each fraction has many equivalent forms. For example, 2, 2 4, 3 6, 2, 3 6, 5 30,... are all different ways to represent the same
More informationModern Methods in Software Engineering. Testing.
Modern Methods in Software Engineering Testing www.imit.kth.se/courses/2g1522 Literature used Text book Chapter 11 Introduction Content Terminology Types of errors Dealing with errors Component Testing
More informationThe strong chromatic number of a graph
The strong chromatic number of a graph Noga Alon Abstract It is shown that there is an absolute constant c with the following property: For any two graphs G 1 = (V, E 1 ) and G 2 = (V, E 2 ) on the same
More informationSOFTWARE TESTING LABORATORY. I.AMarks:20 Hours/Week: 03 ExamHours: 3 Total Hours: 40 Exam Marks: 80 Number of Lecture Hours/Week: 01I + 02P
SOFTWARE TESTING LABORATORY Subject Code: 15ISL67 I.AMarks:20 Hours/Week: 03 ExamHours: 3 Total Hours: 40 Exam Marks: 80 Number of Lecture Hours/Week: 01I + 02P 1. Design and develop a program in a language
More informationGraph Theory Questions from Past Papers
Graph Theory Questions from Past Papers Bilkent University, Laurence Barker, 19 October 2017 Do not forget to justify your answers in terms which could be understood by people who know the background theory
More informationAPPROXIMATING THE MAXMIN AND MINMAX AREA TRIANGULATIONS USING ANGULAR CONSTRAINTS. J. Mark Keil, Tzvetalin S. Vassilev
Serdica J. Computing 4 00, 3 334 APPROXIMATING THE MAXMIN AND MINMAX AREA TRIANGULATIONS USING ANGULAR CONSTRAINTS J. Mark Keil, Tzvetalin S. Vassilev Abstract. We consider sets of points in the two-dimensional
More informationGenesys Info Mart. date-time Section
Genesys Info Mart date-time Section 11/27/2017 date-time Section date-time-max-days-ahead date-time-min-days-ahead date-time-start-year date-time-table-name date-time-tz first-day-of-week fiscal-year-start
More informationMatching and Planarity
Matching and Planarity Po-Shen Loh June 010 1 Warm-up 1. (Bondy 1.5.9.) There are n points in the plane such that every pair of points has distance 1. Show that there are at most n (unordered) pairs of
More information2386 IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 52, NO. 6, JUNE 2006
2386 IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 52, NO. 6, JUNE 2006 The Encoding Complexity of Network Coding Michael Langberg, Member, IEEE, Alexander Sprintson, Member, IEEE, and Jehoshua Bruck,
More informationNon-Linear Finite Element Methods in Solid Mechanics Attilio Frangi, Politecnico di Milano, February 3, 2017, Lesson 1
Non-Linear Finite Element Methods in Solid Mechanics Attilio Frangi, attilio.frangi@polimi.it Politecnico di Milano, February 3, 2017, Lesson 1 1 Politecnico di Milano, February 3, 2017, Lesson 1 2 Outline
More informationSOFTWARE TESTING LABORATORY. Subject Code: 10ISL68 I.A. Marks: 25 Hours/Week: 03 Exam Hours: 03 Total Hours: 42 Exam Marks: 50
SOFTWARE TESTING LABORATORY Subject Code: 10ISL68 I.A. Marks: 25 Hours/Week: 03 Exam Hours: 03 Total Hours: 42 Exam Marks: 50 1. Design and develop a program in a language of your choice to solve the Triangle
More informationStudent Research. UBC Math Circle, January 25, Richard Anstee UBC, Vancouver
Richard Anstee UBC, Vancouver UBC Math Circle, January 25, 2016 Dominoes and Matchings The first set of problems I d like to mention are really graph theory problems disguised as covering a checkerboard
More informationDarshan Institute of Engineering & Technology Unit : 9
1) Explain software testing strategy for conventional software architecture. Draw the spiral diagram showing testing strategies with phases of software development. Software Testing: Once source code has
More information7th Bay Area Mathematical Olympiad
7th Bay Area Mathematical Olympiad February 22, 2005 Problems and Solutions 1 An integer is called formidable if it can be written as a sum of distinct powers of 4, and successful if it can be written
More informationCLASSIFICATION OF SURFACES
CLASSIFICATION OF SURFACES JUSTIN HUANG Abstract. We will classify compact, connected surfaces into three classes: the sphere, the connected sum of tori, and the connected sum of projective planes. Contents
More informationUnifying industrial and academic approaches to domain testing
Unifying industrial and academic approaches to domain testing CAST Grand Rapids August 3, 2010 Cem Kaner Sowmya Padmanabhan 1 Abstract The most widely used technique in software testing is called Equivalence
More informationIntroduction to Software Testing Chapter 4 Input Space Partition Testing
Introduction to Software Testing Chapter 4 Input Space Partition Testing Paul Ammann & Jeff Offutt http://www.cs.gmu.edu/~offutt/ softwaretest/ Ch. 4 : Input Space Coverage Four Structures for Modeling
More informationChapter 2 QUIZ. Section 2.1 The Parallel Postulate and Special Angles
Chapter 2 QUIZ Section 2.1 The Parallel Postulate and Special Angles (1.) How many lines can be drawn through point P that are parallel to line? (2.) Lines and m are cut by transversal t. Which angle corresponds
More information18-642: Unit Testing 1/31/ Philip Koopman
18-642: Unit Testing 1/31/2018 2017-2018 Philip Koopman YOU ARE HERE Product Requirements SPECIFY PRODUCT SPECIFY SOFTWARE Software Requirements TRACEABILITY & VALIDATION Test Plan & Test Results Test
More informationA NEW TYPE OF SIZE FUNCTION RESPECTING PREMESHED ENTITIES
A NEW TYPE OF SIZE FUNCTION RESPECTING PREMESHED ENTITIES Jin Zhu Fluent, Inc. 1007 Church Street, Evanston, IL, U.S.A. jz@fluent.com ABSTRACT This paper describes the creation of a new type of size function
More informationComputer Science and Software Engineering University of Wisconsin - Platteville 9-Software Testing, Verification and Validation
Computer Science and Software Engineering University of Wisconsin - Platteville 9-Software Testing, Verification and Validation Yan Shi SE 2730 Lecture Notes Verification and Validation Verification: Are
More informationISSN: [Keswani* et al., 7(1): January, 2018] Impact Factor: 4.116
IJESRT INTERNATIONAL JOURNAL OF ENGINEERING SCIENCES & RESEARCH TECHNOLOGY AUTOMATIC TEST CASE GENERATION FOR PERFORMANCE ENHANCEMENT OF SOFTWARE THROUGH GENETIC ALGORITHM AND RANDOM TESTING Bright Keswani,
More informationPart I: Preliminaries 24
Contents Preface......................................... 15 Acknowledgements................................... 22 Part I: Preliminaries 24 1. Basics of Software Testing 25 1.1. Humans, errors, and testing.............................
More informationSoftware Engineering: Theory and Practice. Verification by Testing. Test Case Design. Tom Verhoeff
Software Engineering: Theory and Practice Verification by Testing Test Case Design Tom Verhoeff Eindhoven University of Technology Department of Mathematics & Computer Science Software Engineering & Technology
More informationSoftware Engineering (CSC 4350/6350) Rao Casturi
Software Engineering (CSC 4350/6350) Rao Casturi Testing Software Engineering -CSC4350/6350 - Rao Casturi 2 Testing What is testing? Process of finding the divergence between the expected behavior of the
More informationIntroduction to Testing
Introduction to Testing UC Santa Cruz CMPS 171 Game Design Studio II courses.soe.ucsc.edu/courses/cmps171/winter12/01 ejw@cs.ucsc.edu 14 February 2011 Lab Update Will be receiving purchasing card later
More informationSoftware Testing Prof. Rajib Mall Department of Computer Science and Engineering Indian Institute of Technology, Kharagpur
Software Testing Prof. Rajib Mall Department of Computer Science and Engineering Indian Institute of Technology, Kharagpur Lecture - 07 Special Value Testing Welcome to this session. So far we had looked
More information2.1 Angles, Lines and Parallels & 2.2 Congruent Triangles and Pasch s Axiom
2 Euclidean Geometry In the previous section we gave a sketch overview of the early parts of Euclid s Elements. While the Elements set the standard for the modern axiomatic approach to mathematics, it
More informationCSE 215: Foundations of Computer Science Recitation Exercises Set #9 Stony Brook University. Name: ID#: Section #: Score: / 4
CSE 215: Foundations of Computer Science Recitation Exercises Set #9 Stony Brook University Name: ID#: Section #: Score: / 4 Unit 14: Set Theory: Definitions and Properties 1. Let C = {n Z n = 6r 5 for
More informationBlack Box Testing (revisited) Csci 565 Spring 2007
Black Box Testing (revisited) Csci 565 Spring 2007 Objectives Cause-Effect Graphs in Functional testing Input validation and Syntax-driven Testing Decision Table-Based Testing State transition testing
More information2006 Fryer Contest. Solutions
Canadian Mathematics Competition An activity of the Centre for Education in Mathematics and Computing, University of Waterloo, Waterloo, Ontario 006 Fryer Contest Thursday, April 0, 006 Solutions c 006
More informationThis Lecture. We will first introduce some basic set theory before we do counting. Basic Definitions. Operations on Sets.
Sets A B C This Lecture We will first introduce some basic set theory before we do counting. Basic Definitions Operations on Sets Set Identities Defining Sets Definition: A set is an unordered collection
More informationPebble Sets in Convex Polygons
2 1 Pebble Sets in Convex Polygons Kevin Iga, Randall Maddox June 15, 2005 Abstract Lukács and András posed the problem of showing the existence of a set of n 2 points in the interior of a convex n-gon
More informationWarm-Up. Find the domain and range:
Warm-Up Find the domain and range: Geometry Vocabulary & Notation Point Name: Use only the capital letter, without any symbol. Line Name: Use any two points on the line with a line symbol above. AB Line
More informationMath 302 Introduction to Proofs via Number Theory. Robert Jewett (with small modifications by B. Ćurgus)
Math 30 Introduction to Proofs via Number Theory Robert Jewett (with small modifications by B. Ćurgus) March 30, 009 Contents 1 The Integers 3 1.1 Axioms of Z...................................... 3 1.
More informationChapter 6.1 Medians. Geometry
Chapter 6.1 Medians Identify medians of triangles Find the midpoint of a line using a compass. A median is a segment that joins a vertex of the triangle and the midpoint of the opposite side. Median AD
More informationMATH 115: Review for Chapter 1
MATH 115: Review for Chapter 1 Can you use the Distance Formula to find the distance between two points? (1) Find the distance d P, P between the points P and 1 1, 6 P 10,9. () Find the length of the line
More informationPESIT Bangalore South Campus
Fourth Semester B.E. IA Test-1, 2015 USN 1 P E I S PESIT Bangalore South Campus (Hosur Road, 1KM before Electronic City, Bangalore-560 100) Department of Information Science & Engineering Section: 4 th
More informationKanban Guides for Merlin Project ProjectWizards GmbH
Kanban Guides for Merlin Project 2018 - ProjectWizards GmbH Kanban - as of June 2018 Kanban 1 What is Kanban? 1 Kanban principle 1 Columns in Kanban 2 Kanban in Merlin Project 3 Using the Kanban view 4
More information[Ch 6] Set Theory. 1. Basic Concepts and Definitions. 400 lecture note #4. 1) Basics
400 lecture note #4 [Ch 6] Set Theory 1. Basic Concepts and Definitions 1) Basics Element: ; A is a set consisting of elements x which is in a/another set S such that P(x) is true. Empty set: notated {
More information1. Lecture notes on bipartite matching
Massachusetts Institute of Technology 18.453: Combinatorial Optimization Michel X. Goemans February 5, 2017 1. Lecture notes on bipartite matching Matching problems are among the fundamental problems in
More informationAll numbered readings are from Stillwell s The four pillars of geometry.
MATH 350. Assigned readings and homework All numbered readings are from Stillwell s The four pillars of geometry. Reading Jan 30, Feb 1: Chapters 1.1 1.4 Feb 6, 8: Chapters 1.5 2.2 Feb 13, 15: Chapters
More information3 No-Wait Job Shops with Variable Processing Times
3 No-Wait Job Shops with Variable Processing Times In this chapter we assume that, on top of the classical no-wait job shop setting, we are given a set of processing times for each operation. We may select
More informationAcute Triangulations of Polygons
Europ. J. Combinatorics (2002) 23, 45 55 doi:10.1006/eujc.2001.0531 Available online at http://www.idealibrary.com on Acute Triangulations of Polygons H. MAEHARA We prove that every n-gon can be triangulated
More informationA Comparative Analysis On Equivalence class partitioning And Boundary value analysis
A Comparative Analysis On Equivalence class partitioning And Boundary value analysis Akshatha.V 1, V. Illango 2 1 PG Scholar, New Horizon College Of Engineering 2 Professor, New Horizon College Of Engineering
More informationSolutions to the Test. Problem 1. 1) Who is the author of the first comprehensive text on geometry? When and where was it written?
Solutions to the Test Problem 1. 1) Who is the author of the first comprehensive text on geometry? When and where was it written? Answer: The first comprehensive text on geometry is called The Elements
More informationTransformations Part If then, the identity transformation.
Transformations Part 2 Definition: Given rays with common endpoint O, we define the rotation with center O and angle as follows: 1. If then, the identity transformation. 2. If A, O, and B are noncollinear,
More informationGenerell Topologi. Richard Williamson. May 6, 2013
Generell Topologi Richard Williamson May 6, 2013 1 8 Thursday 7th February 8.1 Using connectedness to distinguish between topological spaces I Proposition 8.1. Let (, O ) and (Y, O Y ) be topological spaces.
More informationVerification and Validation. Assuring that a software system meets a user s needs. Verification vs Validation. The V & V Process
Verification and Validation Assuring that a software system meets a user s needs Ian Sommerville 1995/2000 (Modified by Spiros Mancoridis 1999) Software Engineering, 6th edition. Chapters 19,20 Slide 1
More informationActivity 8. Midsegment of a Triangle. Name. Date
. Name Date Activity 8 Midsegment of a Triangle Construct the geometric object by following the instructions below, and then answer the questions about the object. 1. From the Lines Toolbar, select Triangle.
More informationUsing Cantor s Diagonal Method to Show ζ(2) is Irrational
Using Cantor s Diagonal Method to Show ζ(2) is Irrational Timothy W. Jones November 1, 2018 Abstract We look at some of the details of Cantor s Diagonal Method and argue that the swap function given does
More information