02-09-2016, 12:57 PM
Thanks for the reply, Andrew.
Even when only considering Decidable behaviours, it's unlikely that full checking will be claimed by a tool vendor. I have looked at the compliance matrices for PC-Lint, C-STAT and LDRA.
I understand that you had to strike a balance between the number of rules and ease of checking conformity, although an extra 46 rules wouldn't have been necessary, as rules can preclude more than one behaviour (e.g. Rule 21.6), although that comes at the cost of increased restriction.
How would you go about checking Rule 1.3? Surely there's no way of avoiding an extensive manual review (involving a heavily marked-up printout of Annex J of the standard, cross-referenced with Appendix H of the guidelines) whatever tools are used.
Even when only considering Decidable behaviours, it's unlikely that full checking will be claimed by a tool vendor. I have looked at the compliance matrices for PC-Lint, C-STAT and LDRA.
I understand that you had to strike a balance between the number of rules and ease of checking conformity, although an extra 46 rules wouldn't have been necessary, as rules can preclude more than one behaviour (e.g. Rule 21.6), although that comes at the cost of increased restriction.
How would you go about checking Rule 1.3? Surely there's no way of avoiding an extensive manual review (involving a heavily marked-up printout of Annex J of the standard, cross-referenced with Appendix H of the guidelines) whatever tools are used.
<t></t>