|
|
| Line 1: |
Line 1: |
| {{cleanup|section|date=June 2008}}
| |
|
| |
|
| {{Portal|Software Testing}}
| |
| '''Boundary value analysis''' is a [[software testing]] technique in which tests are designed to include representatives of boundary values. The idea comes from the [[Boundary (topology)]]. Given that we have a set of [[test vector]]s to test the system, a topology can be defined on that set. Those inputs which belong to the same [[equivalence class]] as defined by the [[equivalence partitioning]] theory would constitute the [[basis (topology)]]. Given that the basis sets are neighbors as defined in [[neighbourhood (mathematics)]], there would exist a boundary between them. The test vectors on either side of the boundary are called boundary values. In practice this would require that the test vectors can be ordered, and that the individual parameters follows some kind of order ( either [[partial order]] or [[total order]] ).
| |
|
| |
|
| == Formal Definition ==
| | Luke Bryan is really a celebrity in the generating plus the profession progress initial second to his third restaurant recording, & , is the confirmation. He burst to the picture in 2004 regarding his funny blend of down-home convenience, video celebrity fantastic seems and lyrics, is set t within a significant [http://www.netpaw.org garth brooks tour dates] way. The brand new album Top on the country graph and #2 about the take graphs, making it the next greatest first appearance at that time of 2011 to get a region performer. <br><br>The boy of your , understands [http://lukebryantickets.hamedanshahr.com concert tickets for luke bryan] patience and perseverance are key elements in relation to a successful profession- . His initially album, Remain Me, produced the most notable reaches “All My Friends Say” and “Country Man,” while his effort, Doin’ Factor, located the singer-about three directly No. 3 single men and women: More Calling Is [http://lukebryantickets.citizenswebcasting.com luke bryan tour 2014 dates] actually a Very good Thing.”<br><br>While in the fall of 2004, Tour: [http://lukebryantickets.asiapak.net kenny chesney tour] Luke And that had an outstanding set of , such as Metropolitan. “It’s much like you are receiving a endorsement to visit one stage further, claims those musicians which were a part of the Tourover into a larger degree of musicians.” It twisted among the best tours in their twenty-12 months history.<br><br>my web site - [http://www.cinemaudiosociety.org luke bryan s tour] |
| Formally the boundary values can be defined as below:-
| |
| Let the set of the [[test vector]]s be <math>X_1,\dots,X_n</math>.
| |
| Let's assume that there is an ordering relation defined over them, as <math>\le</math>.
| |
| Let <math>C_1,C_2</math> be two equivalent classes.
| |
| Assume that test vector <math>X_1 \in C_1 </math> and <math>X_2 \in C_2 </math>.
| |
| If <math>X_1 \le X_2 </math> or <math>X_2 \le X_1 </math> then the classes <math>C_1 , C_2 </math>
| |
| are in [[neighbourhood (mathematics)]] and the values <math>X_1 , X_2 </math> are boundary values.
| |
| | |
| In plainer English, values on the minimum and maximum edges of an [[equivalence partitioning|equivalence partition]] are tested. The values could be input or output ranges of a software component, can also be the internal implementation. Since these boundaries are common locations for errors that result in software [[fault (technology)|faults]] they are frequently exercised in [[test case]]s.
| |
| | |
| == Application ==
| |
| The expected input and output values to the software component should be extracted from the component specification. The values are then grouped into sets with identifiable boundaries. Each set, or partition, contains values that are expected to be processed by the component in the same way. Partitioning of test data ranges is explained in the [[equivalence partitioning]] test case design technique. It is important to consider both valid and invalid partitions when designing test cases.
| |
| | |
| The demonstration can be done using a function written in [[c language]]
| |
| | |
| <source lang="c">
| |
| int safe_add( int a, int b )
| |
| {
| |
| int c = a + b ;
| |
| if ( a >= 0 && b >= 0 && c < 0 )
| |
| {
| |
| fprintf ( stderr, "Overflow!\n");
| |
| }
| |
| if ( a < 0 && b < 0 && c >= 0 )
| |
| {
| |
| fprintf ( stderr, "Underflow!\n");
| |
| }
| |
| return c;
| |
| }
| |
| </source> | |
| | |
| On the basis of the code, the input vectors of <math>[a,b]</math> are partitioned. The blocks we need to cover are the overflow statement
| |
| and the underflow statement and neither of these 2. That gives rise to 3 equivalent classes, from the code review itself.
| |
| | |
| | |
| [[File:ECP.png|thumb||right| Demonstrating Boundary Values (Orange) ]]
| |
| | |
| we note that there is a fixed size of [[Integer (computer science)]] hence:-
| |
| <math>
| |
| INT\_MIN \le x + y \le INT\_MAX
| |
| </math>
| |
| | |
| We note that the input parameter ''a'' and ''b'' both are integers, hence [[total order]] exists on them.
| |
| When we compute the equalities:-
| |
| | |
| <math>
| |
| x + y = INT\_MAX | |
| </math>
| |
| | |
| <math>
| |
| INT\_MIN = x + y
| |
| </math>
| |
| | |
| we get back the values which are on the boundary, inclusive, that is these pairs of <math>(a,b)</math> are valid combinations,
| |
| and no underflow or overflow would happen for them. | |
| | |
| On the other hand:-
| |
| | |
| <math>
| |
| x + y = INT\_MAX + 1 | |
| </math>
| |
| gives pairs of <math>(a,b)</math> which are invalid combinations,
| |
| Overflow would occur for them. In the same way:-
| |
| | |
| <math>
| |
| x + y = INT\_MIN - 1
| |
| </math>
| |
| gives pairs of <math>(a,b)</math> which are invalid combinations,
| |
| Underflow would occur for them.
| |
| | |
| Boundary values (drawn only for the overflow case) are being shown as the orange line in the right hand side figure.
| |
| | |
| | |
| For another example, if the input values were months of the year, expressed as integers, the input parameter 'month' might have the following partitions:
| |
| | |
| ... -2 -1 0 1 .............. 12 13 14 15 .....
| |
| --------------|-------------------|-------------------
| |
| invalid partition 1 valid partition invalid partition 2
| |
| | |
| The boundary between two partitions is the place where the behavior of the application changes and is not a real number itself. The boundary value is the minimum (or maximum) value that is at the boundary. The number 0 is the maximum number in the first partition, the number 1 is the minimum value in the second partition, both are boundary values. Test cases should be created to generate inputs or outputs that will fall on and to either side of each boundary, which results in two cases per boundary. The test cases on each side of a boundary should be in the smallest increment possible for the component under test, for an integer this is 1, but if the input was a decimal with 2 places then it would be .01. In the example above there are boundary values at 0,1 and 12,13 and each should be tested.
| |
| | |
| Boundary value analysis does not require invalid partitions. Take an example where a heater is turned on if the temperature is 10 degrees or colder. There are two partitions (temperature<=10, temperature>10) and two boundary values to be tested (temperature=10, temperature=11).
| |
| | |
| Where a boundary value falls within the invalid partition the test case is designed to ensure the software component handles the value in a controlled manner. Boundary value analysis can be used throughout the testing cycle and is equally applicable at all testing phases.
| |
| | |
| == References ==
| |
| *[http://www.testingstandards.co.uk The Testing Standards Working Party] website.
| |
| | |
| [[Category:Software testing]]
| |
Luke Bryan is really a celebrity in the generating plus the profession progress initial second to his third restaurant recording, & , is the confirmation. He burst to the picture in 2004 regarding his funny blend of down-home convenience, video celebrity fantastic seems and lyrics, is set t within a significant garth brooks tour dates way. The brand new album Top on the country graph and #2 about the take graphs, making it the next greatest first appearance at that time of 2011 to get a region performer.
The boy of your , understands concert tickets for luke bryan patience and perseverance are key elements in relation to a successful profession- . His initially album, Remain Me, produced the most notable reaches “All My Friends Say” and “Country Man,” while his effort, Doin’ Factor, located the singer-about three directly No. 3 single men and women: More Calling Is luke bryan tour 2014 dates actually a Very good Thing.”
While in the fall of 2004, Tour: kenny chesney tour Luke And that had an outstanding set of , such as Metropolitan. “It’s much like you are receiving a endorsement to visit one stage further, claims those musicians which were a part of the Tourover into a larger degree of musicians.” It twisted among the best tours in their twenty-12 months history.
my web site - luke bryan s tour