60 likes | 176 Views
UML/OOAS Test Cases Status. AIT,TUG. Overview – Test Cases CAS. Deterministic Model, 751 Lines OOAS Code, 167 States, 202 Transitions, 76 mutants. Approaches - Explanations: All test cases per “fail” One test case per “fail” Minimization applied, no bound; expected number of TCs << 50.
E N D
UML/OOAS Test CasesStatus AIT,TUG
Overview – Test Cases CAS Deterministic Model, 751 Lines OOAS Code, 167 States, 202 Transitions, 76 mutants • Approaches - Explanations: • All test cases per “fail” • One test case per “fail” • Minimization applied, no bound; expected number of TCs << 50.
Example • ctr Lock • ctr Close • obs after(20) • obs AlarmArmed_SetOn • ctr Open • obs AlarmArmed_SetOff • obs OpticalAlarm_SetOn obs AcousticAlarm_SetOn obs after(30) obs AcousticAlarm_SetOff obs after(270) obs AcousticAlarm_SetOff obs OpticalAlarm_SetOff ctr Close obs AlarmArmed_SetOn pass Test
Overview – Test Cases Relab Unfinished Model, 2016 Lines OOAS Code, > 1.7M States at >1k Bytes, > 2.2M Transitions • Notes: • More functionality in test-adapter • ~ 2 Mio States (3GB) give a depth of 10 but a lot more depthis needed! • and d. most likely not until end of June
Overview – Test Cases Other Models Models not yet available