wgh@Grumpy.UUCP (William G. Hutchison) (09/02/88)
Is there a program or package that can check a group of C programs to verify that they conform to the X/Open portability standards? Something like lint or PFORT would do the trick, if it existed. -- Bill Hutchison, DP Consultant rutgers!cbmvax!burdvax!Grumpy!wgh Unisys UNIX Portation Center "What one fool can do, another can!" P.O. Box 500, M.S. B121 Ancient Simian Proverb, quoted by Blue Bell, PA 19424 Sylvanus P. Thompson, in _Calculus Made Simple_
harriman@quando.UUCP (Jay Harriman) (09/06/88)
In article <339@Grumpy.UUCP> wgh@Grumpy.UUCP (William G. Hutchison) writes: >Is there a program or package that can check a group of C programs >to verify that they conform to the X/Open portability standards? >Something like lint or PFORT would do the trick, if it existed. > I am working for Quantum GmbH, in Dortmund, West Germany. We are a contractor to X/Open, doing quality assurance work. As far as I know, there is no test package available for testing pieces of software for compatibility to the X/Open Portability Guide. There is, however, an X/Open System Verification Suite designed to test actual computer systems for compliance. I believe that it will be publically available in the near future. For software to comply to the standard, you would have to make sure that the commands, subroutines, header values, etc, etc, used in the product were only those described in the XPG. Even more important and more difficult is to make sure that these elements have been applied with *only* the functionality as specified in the XPG. To this end, perhaps you could have your system tested for compliance. Afterwards you would know exactly what to use when developing and what not to. For a person at Unisys to contact: C. Earl Porter, Unisys Corp., 322 North Sperry Way, MS B2G11, Salt Lake City, UT 84116, (!ihnp4!sp7040!cep). Jay Harriman harriman@quando.uucp
gwc@root.co.uk (Geoff Clare) (09/09/88)
In article <592@quando.UUCP> harriman@quando.UUCP (Jay Harriman) writes: >In article <339@Grumpy.UUCP> wgh@Grumpy.UUCP (William G. Hutchison) writes: >>Is there a program or package that can check a group of C programs >>to verify that they conform to the X/Open portability standards? >As far as I know, there is no test package available for testing >pieces of software for compatibility to the X/Open Portability Guide. >For software to comply to the standard, you would have to make sure >that the commands, subroutines, header values, etc, etc, used in the >product were only those described in the XPG. Even more important >and more difficult is to make sure that these elements have been >applied with *only* the functionality as specified in the XPG. If all you want to do is to verify that the function calls in a C program have the correct arguments and return values for X/Open, you can easily build your own lint library from the definitions in the XPG and install it as /usr/lib/llib-lxopen.ln (or /usr/lib/lint/... depending on your system). You should then use the lint flags '-n -lxopen' to obtain lint checking against the xopen library instead of the standard C library for your system. Checking that programs don't use non-X/Open header file definitions is more of a problem. -- Geoff Clare UniSoft Limited, Saunderson House, Hayne Street, London EC1A 9HH gwc@root.co.uk ...!mcvax!ukc!root44!gwc +44-1-606-7799 FAX: +44-1-726-2750