My employer is trying to find a firm (via tendering) that would be able
to test the operational software we are using for robustness, i.e.,
whether all input is correctly used or diagnosed as faulty, all
algorithms are coded defensively, etc.

The tender called for such a test for all languages in use (Fortran, C,
C++, Java - and a couple of others).

Unfortunately, all offers exclude Fortran ("visible inspection only")
from the test - which makes these offers useless for us, as Fortran is
the bulk of our code ...

Does anyone on this newsgroup knows of a firm that can perform such tests ?

Thanks in advance,

Toon Moene wrote:
...

Where are you located or do you care on location?

The office of SAIC in Lynchburg, VA, with whom I once worked closely did
software V&V as a core business; I assume they still do.

Several other offices of SAI also have professionals in the field.

--

dpb wrote:

...

...

That question, of course, means I wasn't really paying any attention at
all to who asked the question... :)

--