home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / comp / std / unix / 534 < prev    next >
Encoding:
Internet Message Format  |  1993-01-28  |  1.8 KB
  1. Path: sparky!uunet!not-for-mail
  2. From: jason@cnd.hp.com (Jason Zions)
  3. Newsgroups: comp.std.unix
  4. Subject: Re: Posix compliance (application)
  5. Date: 28 Jan 1993 11:19:53 -0800
  6. Organization: Hewlett Packard, Network & System Management Division
  7. Lines: 30
  8. Sender: sef@ftp.UU.NET
  9. Approved: sef@ftp.uucp (Moderator, Sean Eric Fagan)
  10. Message-ID: <1k9bkpINN6qe@ftp.UU.NET>
  11. NNTP-Posting-Host: ftp.uu.net
  12. X-Submissions: std-unix@uunet.uu.net
  13.  
  14. Submitted-by: jason@cnd.hp.com (Jason Zions)
  15.  
  16. >Where may I obtain information about certifying that my *application* is
  17. >POSIX compliant?  I know about the NIST, X/Open and AT&T conformance suites, 
  18. >but as I read about those, I surmise that they are geared to *operating system*
  19. >compliance as opposed to application compliance.  Can someone assist me?
  20.  
  21. Ah, yes, the "POSIX Conforming Application" question.
  22.  
  23. This is a much tougher thing to test, although I seem to recall Mindcraft
  24. talking about having a product that did this; the talk was back in April
  25. 1990 (the POSIX Snowbird meeting, anyway).
  26.  
  27. An application is said to strictly conform to 1003.1 if it uses only things
  28. defined by that standard and the ones it relies on (e.g. ISO C). So, a test
  29. suite would have to make sure that every time your application invokes
  30. open() that you are using it in a way for which the standard defines
  31. functionality. Recall that there are many times the standard is deliberately
  32. silent on the way a conforming implementation behaves when an application
  33. takes some action; if your application ever takes that action, it no longer
  34. strictly conforms. For some interfaces (perhaps not open()), this checking
  35. may be equivalent to the Stopping Problem; I suspect full verification of
  36. application conformance is NP-Complete.
  37.  
  38. 1003.2 will be even worse.
  39.  
  40. Jason
  41.  
  42.  
  43. Volume-Number: Volume 30, Number 44
  44.