.


:




:

































 

 

 

 


- (pairw i se . .) -

Pairwisetesting , , ,

2.1) :

https://pairwise.teremokgames.com

pairwise

- \

1

-3

2

3

4

-3

 

, - , pairwise, . . ( pairwise.teremokgames.comJ)

 

PICT, :

 

RUB\

1

-3

2

3

RUB

4

RUB

-3

5

RUB

, 5 .

 

pairwise

 

- \

1

-3

2

-3

3

-3

4

-3

5

6

7

8

9

-3

10

-3

11

-3

12

-3

13

14

15

16

3) / - - .

-:

, ,

4) // -

-, BPT

, precondition, summary, postcondition.

 



<== | ==>
| :
:


: 2018-10-14; !; : 275 |


:

:

, , 1:10
==> ...

1696 - | 1629 -


© 2015-2024 lektsii.org - -

: 0.014 .