A Multi-Service and Multi-Protocol Validation Platform

0 downloads 0 Views 396KB Size Report
all stages of the validation which are: formal specification, test architecture ...... Finally, the techniques presented here will be applied to other types of mobile net-.
! "

# $

&

%

'

$ ( )* * $ ( ++ , $ $ , - . " / {ana.cavalli, amel.mederreg, fatiha.zaidi}@int-evry.fr ) 0121)# 3 - $ $ 4* * # , 5, ' " $ $/ [email protected] )* * 601 ) 7 7 $ 8 -5 # / [email protected] 9 * : $/ # & $ * -& ) / {richard.castanet, marcien.mackaya}@labri.u-bordeaux.fr & 9 * # $ ; [email protected]

)

7

7

< > 7 < <
" 7 $

"

77 @

+ )

C

7

@ > ( > @B > @

$ $ 7 7

< 7

77

"

7 "= ' 7 < E $

$ 7 7

< =

7

< '

$

$ 7

$

=)

=)

+"

<
@ 7 $ 7 @ ! H I= ) " $ =) $ < 7 7 ? 7 < 7 < " =) $ $ < $ = ' $ $ < 7 / " < 7 $ =) 7 " =) < " " =) @ " 7 < D A DB A DB 7 $ 77 7 < 7 < < 7 $ < @ < =) 7 < > < 7 $ < + ) & 7 < ) 7 < 7 < < > G$ ' < 7 =' 7 C < $ > 9 )+ < $ $ = ) > < " = ) > $ 7 < A 77 J #7 ) < > < 7 > 7 @ $ A $ 7 1 E 1

&

7

$ 7

$

'

<


@

+

7 > < $ B=

< > B= = ) / $


@

$ "

=

" 7 7 =)

1

7 7

$ $

$ D7

+ $


7 < > 7


$ =

7

>
@ 7 / " < > @ H5I= ) $ = DE = ) $

D " A DB= D > > G$ 7 > "

< 4

77 9 )+= 1$

+

> @ $

7 7


" <
> C

> =#
> =) 7 7 > " =D

7 8

$ "$


!

> B

)

$
> "

=
7 7

" '# '( D( #9+'K.

>

< ?


"

+

,

+

$ D

< "

$ $

"
> > "

$ < ='

) #

7 < " 7

< > "

7 < "

< $ 7 = #:+ G$ F)) = ) # + > @ # ( A $ # $ $ < < )D H I= D 7 = @ > < $ E 7 < A< 7 / "B ' 7 B . "F 7+ + + A< "$ @ "> B=

4 7

$ $

"7


@ < 9 )+ 7$ > @ 7 < A (B= ) $ < B < (= ) # < =) $ < 7 B < =) 4 # G$ + A ( B < =) + ( A $ G$ < A ( > @ B " # B

> @

7 "

A>

7 > "N B= ) +1# 7 < 7 " " > ( @ $ < +


> " >

C

7

7 $

# 77 7

$ < > 7 < G$ > $
< )

77

77




= ) / > = '() H I > $ < < $ " < =) < C

=) < 7

< < C $

= )
@ > "7 < = C = @ < $ $
< / < < + $

>

@

"

> @ $

< "

7 /


?
H I= 9 $ $

F)) 7 7 < =

$ 7 # 77

$ 7


"

7

" C > $ H -I= )

< +

7


>

> > > >

6

, ,3

7 7 $7 $7 $7 9+F 9+F


<
0 0 < 9 /= D DQ " < < 7 7 7 $ = ) D L A $ B "> $ > < $

A< $




= =) DQ

$

>

$ DE $7 < DQ Q < Q $ $7 $ "> 7 " < > "= ) < $7 " DE

=

A < 7 < =

@ "

7

$7 DQ



>
D > C 7

/ $ /7

=' /

$

+" 9

9

$

)

7 7

< $ 7 = < $ > " =) 7 < $ $ " = 7 $ C D $7 < 7 R= > "> $ #7 A D=

+




7 < $

B

D >

C

< 7 < 7
$ =' > " < 7

$ 7 7 $

77 = $= )
@ 7 < $ $ )


77 '( + = ' : C D ,,,= = D=1$ $ = +(= = +7 ,,,= = ')9 ) + G$ A + B = 7?22>>>= < $ = = ')9 ) +7 < 1 7 # $ 7?22>>>= < $ = &= = @ " = = ) # : ( > @ = '... S$ -- = ;= = = 1$ 1= K = # @ < 7 < +1# $ -- = 5= D= < G = = =) > < < ' @ 7 +7 < ) $ $ ,3&= 3= +.+ ' = +.+ @: < $ ,,3= ,= ) # )D('+ $ = ) 7 7 C = ' ' + 77 $ ' < $ $ -"=< 27 = -= 7* < 7?22>>>=> 7< $ = = =U $ S :"$ : " =+ +$7 ! $ 1 ./ + +1# -< = 7? 22>>>=@ = = = 7?22>>>=> = 2 2 2< $ 2 7 = 7? 22>>> = "=< 27 &= 7?22>>>= =

G$

Suggest Documents