Diagnostic hors-ligne à base de modèles : approche multi-modèle pour la génération automatique de séquences de tests. Application au domaine de l'automobile
167
0
0
Texte intégral
(2) . .
(3)
(4) .
(5) .
(6) !
(7)
(8) "!. .
(9).
(10)
(11) #
(12) $ %
(13) # !)* . + " , #"-
(14) * ! $ '
(15) '! " " /" !
(16) "
(17) #". & ! ! '% ( & " !" ( &!" !
(18) !( &!" !
(19) ! ( & ."* "
(20) !( & ."* "
(21) !( & ."* "
(22) !( & ."* "
(23) !(.
(24)
(25)
(26)
(27) .
(28)
(29)
(30)
(31)
(32)
(33)
(34) !" # $
(35) % .
(36)
(37)
(38)
(39) . &
(40)
(41) '
(42) (
(43) % " ) # $
(44) ( %
(45)
(46) * + , ! ,. # # '
(47) -' . / .-
(48) #
(49)
(50) .
(51) &0
(52) 1!/.2# 0 3
(53) &
(54)
(55) "
(56)
(57) '' ( 3 ' -
(58) 3 3
(59)
(60)
(61)
(62).
(63) -
(64) " 4 '
(65) ( 0 3 0 $ 0
(66) '
(67)
(68)
(69) " + ,
(70) 5 6 ! # '
(71) 0' 7
(72) . 2' .-
(73) ( !
(74) 1!/.2 0
(75) 0
(76)
(77)
(78)
(79) 8%
(80) " .
(81)
(82)
(83) #
(84) .
(85)
(86)
(87)
(88) 33
(89)
(90)
(91) 0
(92) '
(93) " 5 %' '3
(94)
(95)
(96) .
(97) ( 9 ) # 0' ( !# 0 3
(98)
(99) (
(100) '' - ''
(101) 33
(102) 0
(103)
(104) "
(105) 3 ' " : ; ,7 9 < < = 5 -
(106) '' * + ,
(107) 2
(108) # '3. (
(109)
(110) )
(111) 0 2
(112) 0
(113)
(114) ' (
(115)
(116) 0
(117) 3
(118) -
(119)
(120) 4 ( -
(121) " + ,
(122)
(123)
(124) # '3. (
(125) 0
(126) ' ' (
(127)
(128) "
(129)
(130) '&" 1
(131) -
(132) % $ 0
(133) -
(134) ' %
(135)
(136) * + ,
(137) , # '3. ( 1
(138) ) ( ! " , , ' '
(139) 5 ' '' : ,
(140) )
(141) =" .
(142)
(143)
(144)
(145)
(146)
(147)
(148) ".
(149) . + ,
(150) 50
(151)
(152) - # '3. (
(153) 2
(154) '-
(155) 0 '
(156)
(157)
(158) ' . (
(159)
(160) " + ,
(161) > /#
(162) -
(163) ( !
(164) ' " + ,
(165)
(166) .
(167) # . 2
(168) ! 0 -
(169)
(170) '
(171) 4 % % 0' ( !"
(172).
(173)
(174) '
(175)
(176)
(177) 3" 5 -
(178) -' . / # 7
(179) . 2' .-
(180) !
(181) 0
(182) -" ( '
(183)
(184) %' - (
(185) . 0
(186) $ ( '
(187) * ( % -3 % '. ' : = ( ! ? ( )
(188) . '
(189) '
(190) 0 $ .
(191)
(192) '
(193)
(194)
(195) -.
(196) ? ( @
(197)
(198) A
(199)
(200)
(201)
(202) 0 3 .
(203)
(204) 4' ? ( , #
(205) # B# >
(206) '-
(207)
(208) -
(209) '
(210)
(211) ' ?
(212) # 9
(213)
(214) # 2 . '
(215) ' C
(216) - ? % DEFFG (
(217)
(218)
(219) , ? % : , = ' '
(220) - " 5
(221)
(222) % # $ ' 0
(223)
(224)
(225) ' "
(226) '
(227) . . ( 3 '
(228) ( '
(229) 0
(230) $.
(231) '
(232)
(233) " ,
(234)
(235) .
(236)
(237) 33
(238)
(239) -H ( % 0 $
(240) ( ".
(241) . .
(242)
(243) . .
(244)
(245)
(246)
(247) . .
(248)
(249)
(250)
(251). . I"I 0
(252)
(253) " " " I"I"I . &
(254)
(255)
(256)
(257) 0 " " " " " " " " " I"I"E '% '% 3
(258)
(259)
(260) I"I"G '% L 3
(261)
(262)
(263)
(264) " " " I"E -
(265)
(266)
(267) " " " " " " " " " " I"E"I !
(268) - 3O'
(269)
(270) O '6 " " " " " " " " I"E"E 3 O'
(271)
(272)
(273)
(274) " " I"E"G
(275)
(276) .
(277) -- " " " " " " " " " " " I"G '$ ,/. " " " " " " " " " " " " " " " " " " " " " " " " " " I"G"I , ' . -
(278)
(279) -- " " " " I"G"E 33
(280) '$ " " " " " " " " " " " . " " " " " " " " " " ". " " " " " " " " " " ". " " " " " " " " " " ". " " " " " " " " " " ". " " " " " " " " " " ". " " " " " " " " " " ". " " " " " " " " " " ". " " " " " " " " " " ". " " " " " " " " " " ". " " " " " " " " " " ".
(281)
(282)
(283)
(284)
(285). E"I .-
(286) ( 7 , " " " " " " " " " " " " " " " " " E"E % -
(287) '' -
(288) ( . E"E"I -0 -
(289) .> " " " " " " " " " E"E"E '' . " " " " " " " " " " " " " " " " " " " " " " " E"G .-
(290) ' * ' " " " " " " " " " " " E"G"I .-
(291)
(292) -
(293) .-
(294) -
(295) " " " E"G"E ) 0
(296)
(297) " " " " " " " " " " " E"G"G - %
(298) " " " " " " " " " " " " " " " ". J J K M N IF II II IG IG IJ. . " " " " " " " ". " " " " " " " ". " " " " " " " ". " " " " " " " ". " " " " " " " ". " " " " " " " ". " " " " " " " ". " " " " " " " ". " " " " " " " ". IN EF EF EE EG EG EP EJ .
(299) . . E"G"P 2 . " " " " " " " " " " " " " " " " " " " " " " " " " " " " E"P .-
(300) ( 7 , " " " " " " " " " " " " " " " " " " " " E"P"I '
(301) '% " " " " " " " " " " " " " " " " " " " " " " " " " " " " " E"P"E
(302) 4
(303)
(304)
(305) ( " " " " " " " " " " " " " " " " E"P"G '' ( ''0 ( E"P"P )
(306)
(307)
(308) % ,7 ,/. " " " " " " " ". EQ GF GF GI GI GE.
(309)
(310)
(311)
(312)
(313)
(314)
(315)
(316) . . G"I
(317) * '
(318) ' 3& " " " " " " " " " " " " " " " " " " G"I"I /
(319) - " " " " " " " " " " " " " " " " " " " " " " " G"I"E . " " " " " " " " " " " " " " " " " " " " " " " " G"E
(320) " " " " " " " " " " " " " " " " " " " " " " " " " " " " G"E"I % 0 " " " " " " " " " " " " " " " " " " " " " " " G"E"E 3
(321)
(322)
(323) " " " " " " " " " " " " " " " " " " " " G"E"E"I
(324) ' 3
(325)
(326) " " " " " " " " " " " " " " " " " G"E"E"E 9 0 ' ' -0. G"E"E"G '
(327)
(328)
(329)
(330) 3
(331)
(332)
(333) " " " " " " G"G ''
(334) 3
(335)
(336)
(337) " " " " " " " " " " " " " " " " G"G"I '' " " " " " " " " " " " " " " " " " " " " " " " G"G"I"I )
(338) ' '' " " " " " " " " " " " " " " " G"G"I"E . .
(339) '' " " " " " " " " " " " " " " " G"G"E '' . -
(340) " " " " " " " " G"P , ' &
(341) 3
(342)
(343)
(344) - 0 " " " G"P"I ! " " " " " " " " " " " " " " " " " " " " " " " " " G"P"I"I )
(345) ' " " " " " " " " " " " " " " " " " G"P"I"E ! " " " " " " " " " " G"P"I"G '
(346) " " " " " " " " " G"P"E !!,! " " " " " " " " " " " " " " " " " " " " " G"J ) . ' &0 (
(347) . 0 " "
(348)
(349)
(350) !
(351)
(352) . " " " " " " " " " " " " " " " " " " " " ". " " " " " " " " " " " " " " " " " " " " ". " " " " " " " " " " " " " " " " " " " " ". " " " " " " " " " " " " " " " " " " " " ". " " " " " " " " " " " " " " " " " " " " ". GG GG GP GJ GJ GJ GJ GQ GK GK GK GK GN PF PG PP PP PP PJ PJ PQ . P"I )
(353)
(354) '
(355) " " " " " " " " " " " JI P"I"I )
(356) '
(357)
(358) " " " " " " " " " " " " " " " " " " " " JI .
(359) . .
(360) . P"E. P"G. P"P. P"J. P"Q. . P"I"E
(361)
(362) .
(363)
(364) . (
(365) " " " " " " " " " " " " " " " " " " P"I"G )
(366)
(367) . " " " " " " " " " " " " " " "
(368)
(369) .
(370) " " " " " " " " " " " " " " " " " " " " " " " " " " " " " P"E"I . &
(371)
(372) " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " P"E"E
(373)
(374)
(375) " " " " " " " " " " " " " " " "
(376)
(377) .
(378) '
(379) " " " " " " " " " " " " " " " " " " " " " " " " " P"G"I , '
(380)
(381) '
(382) " " " " " " " " " " " " P"G"E , '
(383)
(384) '
(385) - " " " " " " " " " " " "
(386)
(387) .
(388) 3
(389)
(390)
(391) " " " " " " " " " " " " " " " " " " " " " " " " " " " " P"P"I . &
(392)
(393) " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " P"P"E 3
(394)
(395)
(396)
(397) ' . " " " " " " " " " " " " " " " " " " " " " " "
(398)
(399) .
(400) -0 " " " " " " " " " " " " " " " " " " " " " " " " " " " " P"J"I . &
(401)
(402) " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " P"J"E
(403)
(404) 0 '
(405) " " " " " " " " " " " " " " " " B
(406) - '
(407) 3 " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " P"Q"I
(408) ''
(409) '' " " " " " " " " " " " " P"Q"E )
(410)
(411)
(412)
(413) ' -
(414)
(415) " " " ". " . J"I
(416) '
(417) 3 " " " " " " " " " " " " " " " " " " " " " " " " " " " J"I"I , 3 " " " " " " " " " " " " " " " " " " " " " J"I"E , 3 '
(418) - " " " " " " " " " " " " J"I"G 3 " " " " " " " " " " " " " " " " " " " " " " " J"I"P
(419) '
(420) " " " " " " " " " " " " " " " " " " " " " " " " " J"E )
(421)
(422)
(423)
(424) " " " " " " " " " " " " " " " " J"E"I
(425)
(426) ' 0 " " " " " " " " " " " " " " " " " J"E"E -
(427) " " " " " " " " " " " " " " J"E"G . '6 3
(428)
(429)
(430) " " " " " " " " " " " " " " " " " " " " J"G ) '
(431) " " " " " " " " " " " " " " " " " " " " " " J"G"I . &
(432)
(433)
(434)
(435) " " " " " " " " " " " " " " " " " " " " J"G"E ) -
(436)
(437) -
(438) 3. J"P
(439)
(440) " " " " " " " " " " " " " " " " " " " " " " " " " J"P"I . &
(441) -
(442) %
(443) .!R " " " " " " " " " J"P"I"I - .!R . 0 " " " " " " " " " " " " " " " " . JE JG JP JP JQ QF QF QI QE QE QQ QM QM QM KF KF KI # . " " " " " " " " " " " " " " ". " " " " " " " " " " " " " " ". " " " " " " " " " " " " " " ". " " " " " " " " " " " " " " ". KG KG KJ KQ KQ KK KK KK KM KN KN MF MI MI ME .
(444) . J"P"I"E )
(445) '
(446)
(447) .!R " " " " MP J"P"E 2
(448)
(449) . '6 3
(450)
(451)
(452) " " " " " " " " " " " " " " " " " MQ J"J
(453)
(454) " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " MK $. % &
(455)
(456)
(457)
(458)
(459) . Q"I
(460) -
(461) 3 " " " " " Q"I"I !
(462)
(463)
(464) 3 3 " " " " " " " " " " " " " " " " Q"I"E
(465)
(466)
(467) " " " " " " " " " " " " " " " Q"E L ' 3 " " " " " " " " Q"E"I
(468)
(469) 0 L " " " " Q"E"E ) 3 " " " " " " " " " " " " " " Q"G - '
(470) " " " " " " " " " " " " Q"P 2
(471)
(472)
(473) -
(474) ' " " " " " " Q"P"I )
(475)
(476) - /S " " " " " " " " " Q"P"E 9 0 )' '
(477) . Q"P"G %
(478)
(479) ( ( L &% " Q"P"P ( L
(480) 0 " Q"J . .
(481) " " " " " " " " " " " " " " " " " " " " " " " " " ". '. " " " " " " " " " " " " ". " " " " " " " " " " " " ". " " " " " " " " " " " " ". " " " " " " " " " " " " ". " " " " " " " " " " " " ". " " " " " " " " " " " " ". " " " " " " " " " " " " ". " " " " " " " " " " " " ". " " " " " " " " " " " " ". " " " " " " " " " " " " ". " " " " " " " " " " " " ". " " " " " " " " " " " " ". " " " " " " " " " " " " ".
(482) #. . (
(483)
(484) )*
(485)
(486) . K"I )
(487)
(488) '' ,/.,7 " " " " " " " " " " " " " " K"I"I " " " " " " " " " " " " " " " " " " " " " " " K"I"I"I ,
(489)
(490)
(491)
(492)
(493) . " K"I"I"E
(494) ...- " " K"I"I"G ''
(495) : , = " " " " " " " " " " " " K"I"I"P ''
(496) : . = " " " " " " " " " " " K"I"E / 0
(497)
(498) " " " " " " " " " " " " " K"E )
(499) ' . " " " " K"E"I , 3
(500) '
(501) '
(502). K"E"E . &
(503)
(504) L " " " " " " K"E"G
(505) " " " " " " " " " " " " " " " " " " " " " " " " " K"E"P 2
(506)
(507) " " " " " " " " " " " " " " " " " K"G 0
(508)
(509) " " " " " " " " " " " " " " " " " " " " " " ". MN NF NF NF NF NI NE NG NG NQ NM NN IFE. +. " " " " " " " " " " " " ". " " " " " " " " " " " " ". " " " " " " " " " " " " ". " " " " " " " " " " " " ". " " " " " " " " " " " " ". " " " " " " " " " " " " ". " " " " " " " " " " " " ". " " " " " " " " " " " " ". " " " " " " " " " " " " ". IFJ IFJ IFQ IFN IIF IIF IIF III III IIE IIE IIG IIP.
(510) . .
(511) . K"G"I
(512)
(513)
(514) " " " " " " " " " " " " " " " " " " K"G"E ''
(515) - '
(516) K"G"G 2
(517)
(518) -
(519) ' " " " " " K"P . .
(520) . . " " " " " " " " " " '. " " " ".
(521) "
(522)
(523) *
(524) . " " " ". " " " ". " " " ". " " " ". " " " ". " " " ". " " " ". " " " ". " " " ". IIP IIP IIJ IIQ. . ,
(525)
(526) -
(527) . . ! ,
(528)
(529)
(530)
(531) . . .. . (
(532) /
(533)
(534)
(535) *
(536)
(537)
(538) *
(539)
(540) . . !.
(541)
(542) . -
(543)
(544) $
(545)
(546) 3 ' T ' '
(547) . '% "
(548) 3
(549)
(550) 0
(551)
(552) -
(553) & #
(554) 0 3
(555) " ' 0
(556) ' ' ( ' '
(557) ( '
(558)
(559) -- 0#
(560)
(561) ' .
(562)
(563) 0 '
(564) 3
(565)
(566)
(567) 0 #
(568) ' '.
(569) -
(570) " .' EF
(571) # ! '
(572)
(573) '
(574) "
(575) -
(576)
(577) U ' !
(578) .
(579)
(580) .
(581) ' %'
(582) " .
(583)
(584) . ( '
(585)
(586) %
(587) V
(588)
(589) '
(590) # & # ,. " " " "
(591)
(592)
(593)
(594)
(595)
(596) !
(597) 0
(598)
(599) - # !# !
(600) $ 3 ''# '$ ,/. ,' A
(601) /C - .-
(602)
(603) -
(604) #
(605) '' -
(606)
(607) 0 &
(608) %' %
(609)
(610) .
(611) '
(612) .
(613) ( -
(614) 0 % %
(615) ' 3 '
(616) ''T ' " .
(617) *
(618)
(619)
(620) ( 0 ,7 , 7
(621)
(622) - #
(623)
(624)
(625) ( 0 ..) .-
(626) . )
(627) 3 #
(628)
(629) .
(630) 3 ,7
(631) 3
(632) (
(633) - /7 /
(634) - 7
(635) 3
(636) "
(637)
(638) ,7 '$ ,/.
(639) ( ' ' (
(640) W
(641) '
(642)
(643) ( 0
(644) . 0
(645) 0 -- &
(646)
(647) &
(648) 3.
(649)
(650) --" X7 # EFFK?
(651) A
(652) # INNPY .% '
(653) . X# EFFI? /# EFFGY
(654) ( 2 . 2
(655) 3 .-
(656) 0 3 '' ' : ! 0
(657)
(658) - ) = ( '
(659)
(660) '
(661) 3
(662) -
(663) '
(664) ( ' 3
(665)
(666)
(667)
(668) "
(669) ''
(670) -
(671)
(672) 3
(673)
(674) - 0 ' /S ' -
(675)
(676) -
(677) ' " '
(678)
(679) # -
(680) .
(681) ( . 0
(682) '' 0 ' 4
(683)
(684)
(685)
(686) '
(687) '
(688) 0 . . ".
(689) # . 3
(690) ''T '
(691)
(692) 0. 0
(693)
(694)
(695) " .
(696) #
(697)
(698)
(699) '' 2 .
(700)
(701) &
(702) '
(703)
(704) ' '% 3
(705)
(706)
(707) 0 . "
(708) '' '
(709)
(710)
(711)
(712) 0 ' . '6 3
(713)
(714)
(715)
(716) (
(717)
(718) 3 '
(719) '
(720) O - "
(721)
(722) -
(723) &
(724)
(725)
(726)
(727) 0# ' : 3
(728) = : '6 3
(729)
(730)
(731) =# &
(732) '
(733)
(734) '
(735) .
(736) '.
(737) -- 3 # '# '6
(738) #
(739) ' ' " " " " ) 0
(740)
(741) #
(742)
(743) ''
(744) - % '
(745) 0
(746) 0 0
(747) '
(748) ( '' - 2 ."
(749) ' 0
(750)
(751) '
(752)
(753)
(754) -
(755)
(756) 3#
(757) ' '.
(758) ( '
(759) ' 0 ' ' 3 '' " '' - . 3
(760)
(761) . - . : )- IFFK =# : Z
(762) P =# : 2
(763) )
(764) =
(765) (
(766) "
(767) -
(768)
(769) ' * + ' '# ' ' # '
(770)
(771)
(772) ' 0
(773)
(774) " ' I '
(775) ' 0 -
(776)
(777)
(778) " ' E '
(779)
(780) -
(781) ' '' % ( " ' G
(782)
(783)
(784) '
(785)
(786) 0
(787)
(788) .
(789) '
(790)
(791)
(792) -
(793) " +
(794) '# ' -
(795) ' '
(796)
(797) '' -
(798) " ' P ''
(799) '' '
(800)
(801) .
(802) 0 0 4
(803) '
(804) -
(805)
(806) 3
(807)
(808)
(809)
(810)
(811)
(812) " ' J &
(813)
(814)
(815)
(816)
(817) '
(818) ' . '
(819)
(820) 0 '
(821)
(822) 0 3
(823) ' " ' Q '
(824) ' 0
(825)
(826)
(827) 0 "
(828)
(829) -
(830) . - /S 0
(831) $
(832) % 0 '
(833)
(834)
(835) '
(836)
(837) L
(838) 0 " + ' '
(839) '' - 0
(840)
(841) ''
(842).
(843) %
(844) 0
(845) ' K " ''
(846)
(847)
(848)
(849)
(850) 0
(851) --
(852)
(853) $ ,/. "
(854) &
(855) #
(856)
(857)
(858) M ''
(859)
(860)
(861)
(862) ' ' ". $.
(863) . .
(864) .
(865) .
(866)
(867) . .
Documents relatifs
Dans la suite de cet article, nous présentons notre approche à partir de l’exemple du test de vulnérabilité de type Cross-Site Scripting (XSS), en fournissant la modélisation et
Nous avons montré comment l’utilisation de contraintes portant sur les paramètres d’une pièce logicielle à tester permet de générer un ensemble de jeux de tests
Proposer une solution de génération automatique de tests numériques fiables compatibles avec la certification aéronautique est donc motivé par une volonté de réduction
Nous avons défini les contraintes spécifiques et les enjeux inhérents à la génération automatique de tests pour des logiciels numériques dans ce contexte de certification..
Les études de cas que nous avons effectuées présentent le mécanisme de génération de séquences de tests depuis un exemple conceptuel démontrant comment l'arbre
Nous nous sommes interes- ses au probleme de la generation automatique de tests de conformite pour les protocoles de telecommunication et plus precisement a
Dans le domaine de l’IHM, quelques tentatives existent pour générer de façon semi- automatique / automatique les interfaces utilisateur (Nicolas, 2008a), (Brossard, 2008) à partir des
Pour d´evelopper notre m´ethode de g´en´eration de HashTags, nous avons commenc´e par anal- yser les termes utilis´es en tant que HashTags dans un corpus de tweets, et nous les
