Venkata Narendra
Followers: 0 Following: 0
Statistiques
9 Questions
0 Réponses
RANG
168 744
of 292 676
RÉPUTATION
0
CONTRIBUTIONS
9 Questions
0 Réponses
ACCEPTATION DE VOS RÉPONSES
33.33%
VOTES REÇUS
0
RANG
of 19 931
RÉPUTATION
N/A
CLASSEMENT MOYEN
0.00
CONTRIBUTIONS
0 Fichier
TÉLÉCHARGEMENTS
0
ALL TIME TÉLÉCHARGEMENTS
0
RANG
of 147 817
CONTRIBUTIONS
0 Problèmes
0 Solutions
SCORE
0
NOMBRE DE BADGES
0
CONTRIBUTIONS
0 Publications
CONTRIBUTIONS
0 Public Chaîne
CLASSEMENT MOYEN
CONTRIBUTIONS
0 Point fort
NOMBRE MOYEN DE LIKES
Feeds
Question
How do I generate SIL block for one runnable(Function) present in a Autosar Software component?
I want to create a Test harness with verification mode as SIL for one unit/runnable/function present in Monitor Autosar SWC, but...
plus d'un an il y a | 1 réponse | 0
1
réponseQuestion
Why Polyspace Code Prover does not consider 'memcpy' declaration in default way & for that I am getting MISRA C violations of Rule 17.3?
While performing static code analysis by using Polyspace Code Prover Tool, I am facing the below violation 'A function shall...
environ 2 ans il y a | 1 réponse | 0
1
réponseQuestion
Issue with Polyspace Code Prover Autosar software component Analysis, How can I resolve it?
I am facing issue with Polyspace code prover analysis of Autosare components, It is not considering the given 'Rte_Type.h' as it...
plus de 2 ans il y a | 1 réponse | 0
1
réponseQuestion
Facing issue with Polyspace Bug Finder report generation
I am facing issue with polyspace report generation. The issue summary is "Converting report Document conversion failed. Unexp...
presque 3 ans il y a | 1 réponse | 0
1
réponseQuestion
WriteFile failed with error 112
I am encounter the error "WriteFile failed with error 112" while using the Polyspace Code Prover for doing the static analysis. ...
plus de 3 ans il y a | 1 réponse | 0
1
réponseQuestion
Issue with verifying AUTOSAR software components by using Polyspace Code Prover, variable definitions are not considering from Rte_Type.h header file even if it included in source file.
I am verifying Autosar swc by using Polyspace Code Prover, in that one source file is included with 'Rte_Type.h' all variables a...
environ 4 ans il y a | 1 réponse | 0
1
réponseQuestion
Polyspace Code Prover taking too much time to analyse the hand written C code which is having recursive structures
While doing static analysis for hand written C code which contains recursive structures, poyspace code prover takes too long tim...
plus de 4 ans il y a | 1 réponse | 0
0
réponseQuestion
Polyspace Code Prover not able to find windows.h as header file. getting compilation errors because of windows dependencies.
I am using polyspace code prover for doing static analysis, in that my source code contains 'windows.h' as header file like #inc...
plus de 4 ans il y a | 2 réponses | 0
2
réponsesQuestion
How do I get the default case(switch case) in auto code for if-else logic in Simulink model implementation?
When I generated the code for my Simulink model which contain if-else logic(States when execution is resumed: Reset for both if ...
presque 6 ans il y a | 1 réponse | 0