dll /r:BagImpl.dll /r:CustomStrategy.dll
# factory method of the model
BagModel.Factory.CreateScenario
# factory method of the strategy
/strategy:CustomStrategy.CustomStrategy.CreateStrategy
Systems with Complex State 209
# factory method of the stepper
/iut:BagImpl.Stepper.Create
# number of steps and runs
/runs:1 /steps:20
We can now execute ct @args.txt in a directory that contains the referenced
libraries and get the following output:
reward: 1 actions: Set(Count_Start(), Add("b"), Lookup_Start("b"),
Lookup_Start(""), Add(""), Delete(""), Delete("b"))
reward: 1 actions: Set(Count_Start(), Add("b"), Add(""), Delete(""),
Delete("b"))
reward: 1 actions: Set(Count_Start(), Delete(""), Delete("b"))
reward: 1 actions: Set(Delete(""), Delete("b"))
reward: 0.5 actions: Set(Count_Start(), Add("b"),
Lookup_Start("b"), Lookup_Start(""), Add(""), Delete(""), Delete("b"))
reward: 0.5 actions: Set(Count_Start(), Add("b"), Add(""), Delete(""),
Delete("b"))
reward: 0.5 actions: Set(Count_Start(), Add("b"), Add(""))
TestResult(0, Verdict("Failure"),
"Action ??™Count_Finish(-1)??™ not enabled in the model
Unexpected return value of finish action, expected: Count_Finish(0)
Unexpected finish action",
Trace(
Lookup_Start("b"),
Lookup_Finish(0),
Add("b"),
Count_Start(),
Count_Finish(1),
Delete("b"),
Lookup_Start(""),
Lookup_Finish(0),
Delete("b"),
Count_Start(),
Count_Finish(-1)
)
)
What is interesting to note here is the effect that the coverage function and the
reward functions have on the action selection process.
Pages:
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282