[Modelinterpreter] deterministic mode, timers

[Mormota]

Hali!

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?

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.

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).

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.

Udv,
Attila

On Tue, Feb 17, 2015 at 3:23 PM, Dévai Gergely <deva at caesar.elte.hu> wrote:

> Meg egy erdekes olvasmany deterministic mode es timer-ek temakorben:
>
> https://plc.inf.elte.hu/modelinterpreter/trac/wiki/DeterministicModeInBridgePoint
>
> / Gergo
>
> _______________________________________________
> Modelinterpreter mailing list
> Modelinterpreter at plc.inf.elte.hu
> https://plc.inf.elte.hu/mailman/listinfo/modelinterpreter
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://plc.inf.elte.hu/pipermail/modelinterpreter/attachments/20150218/b3b870da/attachment.html>