I forwarded your posting to the linux-kernel mailing list to hear
if by chance some kernel hacker did POSIX testing lately.
Now before 2.2 is coming out, it would be the right time to fix it!
In article <361D6DF7.3B38@vsl.com.au> you wrote:
: Hi All,
: 1. I am formally testing a system and need to show that RedHat Linux
: TCP follows the appropriate RFC standard. Does anyone know where any
: documentation stating this fact can be found.
No idea. Alan Cox probably knows.
: 2. Also I need to show that RedHat is Posix compliant. The
: documentation I have found states that it is Posix based but not
: necessary Posix compliant. Does anyone know how where I can find out
: about what library calls would stop an application from being posix
: compliant.
There are different classes of compliance for applications.
Strict compliance may not use any extensions over POSIX.
Apps from the other classes allow extensions, but need to document them.
Of course, the kernel and the c and math library must be compliant, too.
I did FIPS/POSIX compliance testing for kernel 1.2.13 and libc/libm 5.x
when working at Unifix in 1995/96 (leading to the first certified Linux
Unifix Linux and Linux-FT).
We used a test suite from NIST, which is now freely available.
ftp://ftp.tsx-11.edu/pub/linux/sources/test_suites/NIST*
This is a bit ancient, however. POSIX did a new release after that.
To the best of my knowledge there is no uptodate free test suite.
Ulrich Drepper, who manages the new glibc, did run tests with
this suite. So glibc is probably fixed.
The Linux kernel has not had a test (for what I know) for some time,
so it might be a good time to redo them.
Once you have succeeded with the test suite, you need to have the tests
redone by an independent testing lab to get certified.
Unfortunately, this did cost some thousand $$$, when Unifix did that.
Regards,
Heiko Eissfeldt
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.rutgers.edu
Please read the FAQ at http://www.tux.org/lkml/