Verification, precondition, validation activity result objects also have a record of any issues, i.e., error, warning, or info messages providing explanation of the results, in particular if the verification activity fails. In our example inthe previous section, Resolute claim functions that has been registered as verification method. The claim funcitons themselves call other claim functions and computational functions. Recursively executed claim functions create a result report structure in Resolute format. Our interface with Resolute translates that information into a common Alisa result issue report format for inclusion in the assurance case result instance.
The format specified here is the common representation of result issues that are recorded as part of an Assurance Case Result Instance or as part of a result report.
ResultIssue ::=
ResultIssueType
“message”
('target' <Eobject reference>
('exception' “exceptionType” )?
('diagnosticId' “diagnosticId” )?
('[' ( ResultIssue )+ ']')?
ResultIssueType ::=
'error' | 'warning' | 'info' | 'success' | 'fail'
Results reported by OSATE analysis plug-in via Eclipse Markers, Resolute result issues, AssertionExceptions and other Java exceptions, as well as JUnit results are mapped into this format as part of an assurance case result instance.