<div dir="ltr">Hali!<div><br></div><div>Teljesen egyetertek a kommentjeiddel. A funkcio (run non-deterministically) az architekturajukbol, es nem az xtUML nyelvbol kovetkezik. Esetleg erdemes naluk rakerdezni, hogy a timerek nelkuli nemdeterminizmus esetere: egyreszt hogyan szimulaljak, masreszt hatassal-van-e a kapcsolo erre a szimulaciora?</div><div><br></div><div>Az idot szimulalni kellene. Az egy teljesen valid use case, hogy valaki olyan rendszeren fejleszt, aminek a real-time tulajdonsagai nem egyeznek a celplatformeval, megis szeretne hogy helyes legyen a rendszer mukodese a celplatformon.</div><div><br></div><div>Reszben az utolso javaslatodra, es John egyik kezdeti ervere: ha egy rendszer nem determinisztikus, teljesen normalis, hogy egy teszt neha lefut, neha nem. Ilyenkor nyilvan nem a nem determinizmust kell megszuntetni, es a John altal felvetett problema eseten inkabb az idot kellen szimulalni, es garantalni kellene hogy a timerek a szemantikjuknak megfeleloen mukodjenek a platformol fuggertelnul (tehat peldaul ki kellett volna dobniuk a Java Timereket, es helyette olyasmit csinalni, amit javasoltal). </div><div><br></div><div>A 6. pontban leirt javaslat valoban olcsonak tunik (bar ugye tesztelni, karbantartani, dokumentalni, tanitani, Johnhoz hasonloan megmagyarazni kell, szoval a valos koltseg sokszorosa lehet a feljesztesi koltsegnek), bennem csak a hasznossaga kapcsan vannak kerdeojelek. A fejlesztes kozbeni debuggolas fo UC-e az, hogy ki akarom probalni a rendszert egy felkesz allapotban. Nyilvan az a celom, hogy hasznos informaciokat szerezzek. Peldaul meg akarom nezni, hogy mikent reagal a rendszerem egy adott allapotban, ha kap egy szignalt. Ebben az esetben inkabb arra vans zukseg, hogy kezzel tudjam allitgatni az allapotteret. Vagy csak ugy elinditom a rendszert, es nyomkodom egy kicsit, hogy lassam, tud-e mindent, amint szerettem volna. Ebben ez esetben pont azt varom, hogy ha gond van, az elojojjon. Egyik esetben se segit tehat az, hogy az elso  esemenyt veszem ki. Viszont a masodik esetben segithet a tracing; a teszt meg tudom nezni, mi tortent a rendszerben pontosan.</div><div><br></div><div>Udv,</div><div>Attila</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Feb 17, 2015 at 3:23 PM, Dévai Gergely <span dir="ltr"><<a href="mailto:deva@caesar.elte.hu" target="_blank">deva@caesar.elte.hu</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Meg egy erdekes olvasmany deterministic mode es timer-ek temakorben:<br><a href="https://plc.inf.elte.hu/modelinterpreter/trac/wiki/DeterministicModeInBridgePoint" target="_blank">https://plc.inf.elte.hu/modelinterpreter/trac/wiki/DeterministicModeInBridgePoint</a><br><br>/ Gergo<br> 
<br>_______________________________________________<br>
Modelinterpreter mailing list<br>
<a href="mailto:Modelinterpreter@plc.inf.elte.hu">Modelinterpreter@plc.inf.elte.hu</a><br>
<a href="https://plc.inf.elte.hu/mailman/listinfo/modelinterpreter" target="_blank">https://plc.inf.elte.hu/mailman/listinfo/modelinterpreter</a><br>
<br></blockquote></div><br></div>