STATIC ANALYSIS METHOD FOR LYEE-ORIENTED SOFTWARE

摘要

A static analysis method conventionally used is applied to the Lyee requirement. More specifically, for Lyee requirement as an object, optimization (classical optimization, optimization by ordering of a predicate vector), slicing, requirement debug, and typing (error detection, type finding, security using a type) are performed. These are subjected to a pre-processing appropriate for generation of optimal code by the LyeeAll tool to obtain a format for outputting a requirement. Thus, it is possible to optimize the requirement definition for code generation having a more preferable quality (reduction in memory and execution time consumption) in the Lyee methodology.