G - Physics – 06 – F
Patent
G - Physics
06
F
G06F 9/44 (2006.01) G06F 11/28 (2006.01)
Patent
CA 2518498
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 an 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.
Selon l'invention, une méthode d'analyse statique à utilisation classique est appliquée à l'exigence Lyee. Plus particulièrement, pour une exigence Lyee sous la forme d'un objet, on réalise une optimisation (optimisation classique, optimisation par ordonnancement d'un vecteur de prédicat), un découpage en tranches, une mise au point d'exigence, et un typage (détection d'erreur, recherche de type, sécurité utilisant un type). Ces opérations sont soumises à un prétraitement approprié pour la génération d'un code optimal au moyen de l'outil LyeeAll en vue de l'obtention d'un format permettant la production en sortie d'une exigence. Ainsi, il est possible d'optimiser la définition d'exigence pour une génération de code présentant une meilleure qualité (réduction de consommation de mémoire et de temps d'exécution) dans la méthodologie Lyee.
Erhioui Mourad
Fujita Hamido
Ktari Bechir
Mejri Mohamed
Catena Corporation
Marks & Clerk
LandOfFree
Static analysis method for lyee-oriented software does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Static analysis method for lyee-oriented software, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Static analysis method for lyee-oriented software will most certainly appreciate the feedback.
Profile ID: LFCA-PAI-O-1859640