Questions tagged [parasoft]

Parasoft C/C++test is an integrated Development Testing solution for automating a broad range of testing best practices proven to improve development team productivity and software quality.

70 questions
8
votes
3 answers

Confusing control flow analysis from Parasoft C++test

We use Parasoft C++test to statically analyze our code. It's having trouble with code like the following: void foo(int* x) { try { bar(); } catch(...) { delete x; throw; } *x; } It warns on the *x; line…
Michael Mrozek
  • 169,610
  • 28
  • 168
  • 175
4
votes
3 answers

How to mark a function as non-returning in Parasoft C++test?

We have a die function that outputs an error message and exits, e.g.: void die(const char* msg) { fprintf(stderr, "Error: %s\n", msg); exit(1); } We use Parasoft C++test to statically analyze our code, but it doesn't realize that die is a…
Michael Mrozek
  • 169,610
  • 28
  • 168
  • 175
4
votes
1 answer

Parasoft not recognizing custom IEnumerable extension method .IsNullOrEmpty()

We have a custom extension method .IsNullOrEmpty() that does exactly what it sounds like it does. public static bool IsNullOrEmpty(this IEnumerable target) { bool flag = true; if (target != null) { using (IEnumerator enumerator =…
JED
  • 1,538
  • 2
  • 19
  • 47
4
votes
4 answers

does anyone have parasoft .test or jtest experience

First i have no experience on parasoft .test or jtest experience. I have read the datasheet that the product could automatically generate unit test. but I am woundering how useful the auto generated unit test are. Does it really do not need any…
xiao_guaer
  • 51
  • 1
  • 2
4
votes
1 answer

parasoft c++ test - compile inline assembly code in

I want to compile and test a sample inline embedded assembly code in parasoft c++ test software. source code : #include void example() { int arg1, arg2, add, sub, mul, quo, rem ; printf( "Enter two integer numbers : " ); scanf(…
Mahsa ehsani
  • 117
  • 12
3
votes
2 answers

Generating tests from run-time analysis

We have a large body of legacy code, several portions of which are scheduled for refactoring or replacement. We wish to optimise parts that currently impact on the user-experience, facilitate reuse in a new product being planned, and hopefully…
Stewart
  • 4,223
  • 6
  • 31
  • 39
3
votes
2 answers

How to fix error checked by Parasoft

In my source code (in C), there is a line as below: char line[1000] = ""; fgets(line, sizeof(line), file) When I use parasoft to check, I receive two error: In 'fgets' function call, do not pass long casted to int expression as '2' function…
Waveter
  • 890
  • 10
  • 22
3
votes
3 answers

Is it possible to suppress a defect found by parasoft with an in-code directives?

I would like to know how to suppress this defect found by parasoft BD-PB-CC:Condition "result != 0" always evaluates to false /home/redbend/dev/vdm-10.2/sdk/source/engine/core/src/vdm_core_api.c:82 The problem is with this code: //Initialize MMI…
eyalm
  • 3,366
  • 19
  • 21
2
votes
2 answers

How to create build data file (bdf) in Parasoft?

I am trying to use Parasoft C/C++ Test to check "Coding Standards" with static tests. I found only "How to create bdf in Makefile projects" section in the Parasoft user guide. How can I create a bdf for every project? Is it mandatory to use makefile…
Alperen
  • 3,772
  • 3
  • 27
  • 49
2
votes
4 answers

Is there a dynamic checking utility that can flag overflow of static buffer in struct?

Is there a dynamic checking utility that can flag the following bug? Valgrind cannot. Can Purify or Insure++? This is on Linux Ubuntu latest version. struct A { char buff1[8]; int jj; char buff2[8]; int ii; char buff3[8]; }…
Robert R Evans
  • 177
  • 1
  • 11
2
votes
1 answer

Error detected by Parasoft

I have a function in C, which contains lines below: while (src=strstr(src,key)) { memmove(src,src+strlen(key),1+strlen(src+strlen(key))); } When I run parasoft to check the function, I receive so many errors from these lines: Not…
Waveter
  • 890
  • 10
  • 22
2
votes
1 answer

getting error: unable to load cross rule (invalid rule type or file does not exist)

I'm trying to load a custom rule within another custom rule, both made by the Parasoft rule wizard. The following code is the python snippet that is placed in the calling rule as a method: def somePythonMethod(node, context): parent =…
bzupnick
  • 2,646
  • 4
  • 25
  • 34
2
votes
2 answers

parasoft C++ unit test question

I work on a project that was just told we had to incorporate Parasoft C++ unit testing tool into any code changes going forward. The problem I face is that we have methods with very small changes and now it seems we are forced to unit test the whole…
Andrew Jahn
  • 667
  • 10
  • 18
2
votes
1 answer

How to integrate parasoft soatest with Jenkins

Is it possible to integrate Parasoft SOA webservices test with Jenkins? I have a soatest project created to test my webservices. I would like it to automate running soatest scripts through Jenkins in each build. Is there any possible way we can…
2
votes
2 answers

How to integrate Parasoft (JTest) in Hudson?

I normally use JTest Parasoft as a plugin in Eclipse. But now, I need to integrate JTest in Hudson, at a way that in the Post-build, JTest should run its tests over a Maven project. So my questions are : How to integrate JTest in Hudson? I found a…
user3169231
  • 257
  • 3
  • 13
1
2 3 4 5