home *** CD-ROM | disk | FTP | other *** search
/ Usenet 1994 January / usenetsourcesnewsgroupsinfomagicjanuary1994.iso / sources / std_unix / volume.30 / text0043.txt < prev    next >
Encoding:
Text File  |  1993-03-11  |  1.4 KB  |  32 lines
  1. Submitted-by: jason@cnd.hp.com (Jason Zions)
  2.  
  3. >Where may I obtain information about certifying that my *application* is
  4. >POSIX compliant?  I know about the NIST, X/Open and AT&T conformance suites, 
  5. >but as I read about those, I surmise that they are geared to *operating system*
  6. >compliance as opposed to application compliance.  Can someone assist me?
  7.  
  8. Ah, yes, the "POSIX Conforming Application" question.
  9.  
  10. This is a much tougher thing to test, although I seem to recall Mindcraft
  11. talking about having a product that did this; the talk was back in April
  12. 1990 (the POSIX Snowbird meeting, anyway).
  13.  
  14. An application is said to strictly conform to 1003.1 if it uses only things
  15. defined by that standard and the ones it relies on (e.g. ISO C). So, a test
  16. suite would have to make sure that every time your application invokes
  17. open() that you are using it in a way for which the standard defines
  18. functionality. Recall that there are many times the standard is deliberately
  19. silent on the way a conforming implementation behaves when an application
  20. takes some action; if your application ever takes that action, it no longer
  21. strictly conforms. For some interfaces (perhaps not open()), this checking
  22. may be equivalent to the Stopping Problem; I suspect full verification of
  23. application conformance is NP-Complete.
  24.  
  25. 1003.2 will be even worse.
  26.  
  27. Jason
  28.  
  29.  
  30. Volume-Number: Volume 30, Number 44
  31.  
  32.