XML reports generation available for future releases

Hello, will XML reports be available for future releases of Polyspace CodeProver? At the moment, after opening a result, it is permitted to generate an XML report, although it is written 'deprecated'.

[Lorenz Mende]

See at Release Notes of R2015b, it says 'XML and RTF report formats removed'.

Hopefully some kind of xml export will come with a future release, this would be very helpful for integration in a toolchain. The actual version R2016b states there is a Text File export, but did not yet tried that.

Answer 1

[Alexandre De Barros]

Hello,

The xml reports are indeed no longer supported. But, as Lorenz wrote it, starting from R2016b, it is possible to export the results in a .tsv (tab-separated values) file, one defect,check,violations or code metrics per line. This format is much easier to parse than the xml.

This export function is available via the Reporting/Export menu.

There is even a wysiwyg export via the menu Reporting/Export menu/Export Currently Displayed Results.

Best regards,

Alexandre