Activity
From 02/10/2018 to 31/10/2018
31/10/2018
-
08:32 AM Task #3146 (In Progress): Envoi d une TC dont la taile est inferieure à 16
le script utilisé est /opt/VALIDATION_R3plusplus/lfrverif/LFR_SVS/SVS-0003/send_short_tc.py.
On envoie une tc don...
30/10/2018
-
- un nouveau
-
Peux-tu m extraire la couverture de test en 3.2.0.22.
Les fichiers sont rangés dans data/R3++/3.2.0.22/1.1.91/G...-
la fonction tc_check_crc est entierement validée.-
Test SVS-0003 joué en 3.2.0.24 (compilé sur rangiroa).
-
Fsw ne fonctionne pas.
Certaines fonctions sont devenues invisibles (ENABLE_DEAD_CODE) mais pas leur définition.
-
- Compilé sur **rangiroa**
-
09:58 AM Task #3167 (Closed): Livraison de 3.2.0.23 avec gcov
- Nouvelle version avec le code mort désactivé (#ifdef ENABLE_DEAD_CODE) et le version min de CMake est baissée à 3.5.
-
Cette version est installée et fonctionnelle sur pc-solar3.
Le software LFR a été généré sur la machine rangiroa...-
- Suppression des fonctions déclarées mais non définies.
-
Verifier le code executé sur l envoi de TC_LFR_LOAD_FILTER_PAR.
Dans le fichier tc_acceptance.c , la fonction tc_c...
29/10/2018
-
- Voici
-
Le CRC comprend 2 octets, le test ne changé que le dernier octet du CRC.
J ai donc rajouté le test pour le 1er o...-
- Voici
-
- Analyse GCOV du test décrit ci-dessous.
Ce test se nomme /opt/VALIDATION_R3plusplus/lfrverif/LFR_SVS/SVS-0003/se... -
- Voici
-
- Hello
Peux tu extraire le GCOV pour le test SVS-0074 joué sur 3.2.0.22.
22/10/2018
-
- Cette dernière version fonctionne.
-
- Le FSW compilé sans la modif de l'exit GCOV.
-
- Voici
-
- hello
Peux-tu me generer le rapport pour ce test.
Le test correspond à l envoi dune TC trop courte (#3146)
merci.
19/10/2018
-
- Hello
Verifiez le comportement de LFR que reception d une TC < CCSDS_TC_PKT_MIN_SIZE (16 octets).
Cette taille est... -
- IL manque dans l APPENDIX C , tableau des TC
la description de la TC_LFR_LOAD_FILTER_PAR -
test de la version 3.2.0.22 avec gcov.
Le soft se lance je suis en standby les hk arrivent corresctement. L'envoi ...-
16/10/2018
-
- 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.
-
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.
Also available in: Atom