Applications Conformance Testing
Jan. 17th, 2013 07:30 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
codedothttp://www.knosof.co.uk/poschk.html
Applications POSIX.1 conformance testing
Derek Jones
derek@knosof.co.uk
Knowledge Software Ltd
Farnborough, Hants
UK
ABSTRACT
The Standards for POSIX and C were designed to enable the portability of applications across platforms. A lot of work has gone into checking compilers and environments for conformance to these Standards, but almost nothing has been done to check applications conformance. The incorrect assumption being made that the development compiler will warn about any construct that needs looking at. This paper discusses a tool that checks applications software for conformance to these Standards at compile, link and runtime as well as the library interface. Any application that can pass through this checker without producing any warnings is a conforming POSIX program and a strictly conforming C program.
© Copyright 1992,95. Knowledge Software Ltd. All rights reserved;
Presented at the EurOpen & USENIX Spring 1992 Workshop/Conference
Applications POSIX.1 conformance testing
Derek Jones
derek@knosof.co.uk
Knowledge Software Ltd
Farnborough, Hants
UK
ABSTRACT
The Standards for POSIX and C were designed to enable the portability of applications across platforms. A lot of work has gone into checking compilers and environments for conformance to these Standards, but almost nothing has been done to check applications conformance. The incorrect assumption being made that the development compiler will warn about any construct that needs looking at. This paper discusses a tool that checks applications software for conformance to these Standards at compile, link and runtime as well as the library interface. Any application that can pass through this checker without producing any warnings is a conforming POSIX program and a strictly conforming C program.
© Copyright 1992,95. Knowledge Software Ltd. All rights reserved;
Presented at the EurOpen & USENIX Spring 1992 Workshop/Conference
