Testing all but given actions

hi,

my interface has actions, start(), b(), c(), d(), end().

i want generate tests start start() , ends end(). in between start , end, want b() or d() not c(). how specify in cord without declaring "except" in config. of course, not want to explicitly enumerate actions in cord.

any thoughts?

thanks,

dharma

hi dharma,

you try this

( (_)* |?| !call c()*) || model)

hope helps.

Archived Forums M  >  Model-Based Testing with Spec Explorer