Activity
From 17/09/2018 to 16/10/2018
16/10/2018
-
04:13 PM Task #3134: Livraison de 3.2.0.22 avec gcov
- Il manquait l'option FSW_lpp_dpu_destid.... :(
-
03:39 PM Task #3134 (In Progress): Livraison de 3.2.0.22 avec gcov
- Cette version ne boote pas...Le soft est uploadé puis rien, pas de HK.
Autre remaqrue : attention quand on copie l...
10/10/2018
-
- Nouvelle version intégrant les modifs logiscope, compilée en -O2 et avec une modif expérimentale de gcov.
-
- tout est corrigé dans la "r399":Corrigé dans la "r399":https://hephaistos.lpp.polytechnique.fr/rhodecode/HG_REPOSITOR...
-
- Corrigé dans la "r399":https://hephaistos.lpp.polytechnique.fr/rhodecode/HG_REPOSITORIES/LPP/INSTRUMENTATION/USERS/JE...
-
11:05 AM Bug #3123: Analyse Logiscope LFR_3.2.0.21 : LFR_basic-parameters : Tr_Parenthèses Severity is Medium
- Voilà j'ai revérifier hier avec le dernier fichier envoyé par Bruno et là je viens de pusher sur mon dépot cette dern...
-
10:08 AM Bug #3123 (Resolved): Analyse Logiscope LFR_3.2.0.21 : LFR_basic-parameters : Tr_Parenthèses Severity is Medium
- Le nouveau fichier a été analysé et l'erreur n'apparait plus.
Cette issue sera close à la prochaine analyse complète.
09/10/2018
-
- William Recart wrote:
> Il reste une erreur ligne suivante :
> 221 : multiplication à mettre entre parenthèse : pr... -
- Il reste une erreur ligne suivante :
221 : multiplication à mettre entre parenthèse : proposition de correction :
... -
- Je confirme que la proposition de Bruno est OK pour Logiscope.
-
- Le fichier a été analysé en même temps que pour l'issue #3123
L'erreur n'apparait plus.
Cette issue sera close à la...
08/10/2018
-
- Salut Alexis !
Voici ma proposition pour la modif après les échanges que j'ai eu avec William sur l'application des ... -
- Thomas a validé que les sorties du programme sont les mêmes après les modifs LOGISCOPE.
Le fichier corrigé est en P... -
- Corrigé en attente de validation par Thomas
-
- Thomas a validé que les sorties du programme sont les mêmes après les modifs LOGISCOPE. William a proposé de faire un...
-
- Corrigé, en attente de validation Thomas.
-
- Effectivement, le copier/coller est faux sur cette ligne :
+ ((compressed_spec_mat[(i*NB_VALUES_PER_SPECTRAL_MATRIX... -
- William Recart wrote:
> Sur le dernier point, toutes les parenthèses sont présentes et il n'en manque pas (c'est un ... -
- Sur le dernier point, toutes les parenthèses sont présentes et il n'en manque pas (c'est un copier/coller de ce qui f...
-
- Mes commentaires en interligne.
William Recart wrote:
> point 2 : attention, il y a deux soucis :
> 2.1 : les o... -
- point 2 : attention, il y a deux soucis :
2.1 : les opérations dans les index;
2.2 : les parenthèses des multiplic... -
- 1- J'ai eu William au téléphone, l'option 'partpar' est bien activée donc on peut faire les modifs en tenant compte d...
-
- Alexis Jeandet wrote:
> Ce source n'est pas utilisé dans le FSW, c'est juste utilisé pour les tests de Thomas un loc... -
- Ce source n'est pas utilisé dans le FSW, c'est juste utilisé pour les tests de Thomas un local sur son PC.
Les seu... -
- Corrigé, en attente de validation par Thomas.
-
- 3.2.0.21 livrée
05/10/2018
-
- Voici les rapports pour les trois derniers tests, à la racine tu as la couverture cumulée des 3 tests puis dans chaqu...
04/10/2018
-
- Je suis d'accord : ca rentre dans le contexte de la RFW 256 déjà acceptée.
03/10/2018
-
- Contrairement a ce que dit la régle, Logiscope n'était pas conifugré pour accepter #error.
L'analyseur a été corrigé... -
- Rappel de la règle :
Tr_Pragma
Definition:
-----------
No pre-processing instructions may be used, except for th... -
- Rappel de la règle :
Tr_Parenthèses
Definition:
-----------
In expressions, every binary and ternary operator has... -
- Satus on FSW V3.2.0.21: (RPW-MEB-LFR-RFW-00257-LPP accepted in DP R3++)
- avf0_prc0.c: line 117
- avf1_prc1.c: lin... -
- Satus on FSW V3.2.0.21 : (RPW-MEB-LFR-RFW-00256-LPP accepted in DP R3++ updated)
- ccsds_types.h: lines 819, 820, 82... -
- Satus on FSW V3.2.0.21:
- fsw_params.h : lines 66, 67, 68, 76, 77, 78, 86, 87, 88 : Violation are due to use of debu... -
- Satus on FSW V3.2.0.21: 37 wrong positives raised by Logiscope :
- avf0_prc0.c : lines 143, 156, 257, 266, 424, 429;... -
- Satus on FSW V3.2.0.21: 259 violations due to tool limitation :
- avf0_prc0.c : lines 228, 229, 230, 231, 239, 242, ... -
- Satus on FSW V3.2.0.21: two wrong positives raised by Logiscope :
- fsw_globals.c : line 114: rw_f is an extern vari... -
-
- Satus on FSW V3.2.0.21 : still opened : metric not respected for 17.04% :
lfr_rtems_cpu_usage_report (void) 0.04
... -
- Exemple de correction :
float compressed_spectral_matrix_f0[NB_BINS_COMPRESSED_MATRIX_f0 * NB_VALUES_PER_SPECTRAL_M... -
- Rappel de la règle :
Don_Initialisation_P1:
Definition:
-----------
Global variables must be initialized when the... -
- Rappel de la règle :
Tr_Parenthèses
Definition:
-----------
In expressions, every binary and ternary operator has... -
- Je propose que ceci ne soit pas modifié et rentre dans le cadre de la RFW existante : RPW-MEB-LFR-RFW-00256-LPP
-
- Rappel de la règle :
Don_Enumeration
Definition:
-----------
Numbers, characters and strings have to be declared ... -
- Rappel de la règle :
Tr_OperCond
Definition:
-----------
The conditional operator ? ... : ... must not be used.
... -
- Resultats d'analyse trop vieux. Plusieurs modifs/ajouts depuis donc non pertinent.
-
03:07 PM Task #3119: Livraison de 3.2.0.21 avec gcov
Juste le test SVS-0064 ( deconnecter le cable spacewire et reconnecter le cable apres 5s.
-
Ce fichier correspond à 4245 HK générés .
Tous les produits scientifiques ont été générés excepté LONG_F3, ASM_Fx....-
- Ce fichier comprenant 1h37 de tests, le nbre de HK générés est 5878.
Tous les produits scientifiques ont été générés...
02/10/2018
-
- RPW-MEB-LFR-RFW-00255-LPP Rejected on 20/07/2017
-
- RFW signée et livrée en sept 2017 dans DP R3++ updated
-
- RFW signée et livrée en sept 2017 dans DP R3++ updated
-
-
- En PJ un zip des sources de Alexis pourle FSW 3.2.0.21 (rev 397).
Obtenu par :
hg clone https://katra@hephaistos.lp... -
- Sortie html correspondante
-
FIchier gcov (gcov_out_2018_10_02 10:23*.zip) correspondant aux tests
SVS-0002, SVS-0003,SVS-0005,SVS-0007 (4 step...-
Installation du soft livré le 2 octobre dans le répertoire /opt/LFR/LFR-FSW/3.2.0.21.
Les fichiers modiifiés sont...-
- Voici le FSW avec optimisation mais sans inlining.
01/10/2018
24/09/2018
-
- Point JIRA correspondant commenté
-
- J'ai commenté le point JIRA correspondant.
-
- J'ai commenté le JIRA correspondant du coup.
20/09/2018
-
- https://hephaistos.lpp.polytechnique.fr/rhodecode/HG_REPOSITORIES/LPP/INSTRUMENTATION/USERS/JEANDET/LFR_FSW/changeset...
-
- Il restait essentiellement des définitions de structures que j'ai enlevé:
https://hephaistos.lpp.polytechnique.fr/... -
- Maintenant tout est intégré dans les sources du FSW, il suffit d'activer la couverture avec CMake à la compilation du...
-
- Maintenant tout est intégré dans les sources du FSW, il suffit d'activer la couverture avec CMake à la compilation du...
-
- Implémenté depuis https://hephaistos.lpp.polytechnique.fr/rhodecode/HG_REPOSITORIES/LPP/INSTRUMENTATION/USERS/JEANDET...
Also available in: Atom