Comprehensive checker rule listing, see also Core checker rules. More...

Public Attributes
Severity.Critical	Measure_Chk001
	Correct target for ExecuteDeviceService and DeviceEventSource More...

Severity.Critical	Measure_Chk002
	Executed device service is declarated in device signature More...

Severity.Critical	Measure_Chk003
	Correct ExecuteDeviceService arguments More...

Severity.Critical	Measure_Chk004
	ExecuteDeviceService input argument omission More...

Severity.Critical	Measure_Chk005
	No Path in ExecuteDeviceService ouput arguments More...

Detailed Description

Comprehensive checker rule listing, see also Core checker rules.

Member Data Documentation

Severity.Critical OpenTestSystem.Otx.Extensions.Measure.CheckerRule.Measure_Chk001

Correct target for ExecuteDeviceService and DeviceEventSource

Criterion: The device attribute of an ExecuteDeviceService action or a DeviceEventSource term will refer to a Signature without realisation or a Signature with DeviceSignature realisation.No other SignatureRealisation type but the DeviceSignature type will be allowed.

Severity.Critical OpenTestSystem.Otx.Extensions.Measure.CheckerRule.Measure_Chk002

Executed device service is declarated in device signature

Criterion: The to-be-executed device service given by an ExecuteDeviceService action (value of the action's service attribute) will be declared in the corresponding device signature (given by the action's device attribute).

Severity.Critical OpenTestSystem.Otx.Extensions.Measure.CheckerRule.Measure_Chk003

Correct ExecuteDeviceService arguments

Criterion: In an ExecuteDeviceService action, the given arguments will match to the corresponding service parameter declaration in the corresponding device signature.This concerns parameter names as well as data types.

Severity.Critical OpenTestSystem.Otx.Extensions.Measure.CheckerRule.Measure_Chk004

ExecuteDeviceService input argument omission

Criterion: For any omitted input argument (when calling a device service), an initial value will be defined in the declaration of the corresponding parameter in the device signature.

Severity.Critical OpenTestSystem.Otx.Extensions.Measure.CheckerRule.Measure_Chk005

No Path in ExecuteDeviceService ouput arguments

Criterion: The target variable in any of the ExecuteDeviceService action's output arguments will not be part of a compound data structure like an otx:List or otx:Map.Therefore the path member element of target will not be used within any DeviceServiceOutArgument.