Feature #9381
closed
Return back program fragment sizes
Added by Evgeny Novikov about 6 years ago.
Updated almost 5 years ago.
Category:
Program fragments generation
Description
Before Klever 2.0 VOG provided sizes of generated verification objects. PFG that replaces it provides information on C source files constituting program fragments but no sizes as I see. I suggest to add sizes at all levels, i.e. sizes for C source files, for program components if so and for program fragments after all.
Just to keep in mind, that this requires refactoring of the Clade source graph collecting extension, that is why the feature was finally removed from Klever 2.0 before the release intentionally. With the current Clade implementation this feature would require an enormous amount of memory for Linux.
- Subject changed from Return back program fragment sized to Return back program fragment sizes
- Status changed from New to Resolved
- Status changed from Resolved to Open
I dislike that there is strange attribute with name "Size", say, for unsafes. Please, either specify a good name or move the attribute to the right place, e.g. to description of program fragment. I prefer the latter.
In other places, say, for VTGW attribute "Size" does not look nice as well.
At last I fixed representation of data reports from PFG, so that program fragments and their sizes are shown directly at the PFG page. But now PFG provides not only program fragment sizes but their source files as well as sizes of the latter. After all the representation is not great and you need to fix it.
- Status changed from Open to Resolved
Fixed issues mentioned above:
- Simplified data attached to the PFG component report, removed information about composite fragments, their sizes and removed sizes of separate files. This was done to simplify drawing table in the PFG page.
- Fixed the table at PFG page and added program fragments sizes and file lists per program fragment.
- Removed Size attribute and added total program fragment size to the data value of Program fragment attribute.
Implemented in branch 9381-fragments-size.
- Status changed from Resolved to Closed
Also available in: Atom
PDF