Home • About Us • A-Z Index • Search * Contact Us • Register • Login • Press • Shop

The Open Brand -- Problem Reporting and Interpretations System

Problem Report 0769 Details

Help Show help | Quick Search | Submit a Test Suite Support Request | Click here to view your privileges

This page provides all information on Problem Report 0769.

Report 0769 Actions

    Problem Report Number 0769
    Submitter's Classification Specification problem
    State Resolved
    Resolution Temporary Interpretation (TIN)
    Problem Resolution ID TIN.X.0060
    Raised 1970-01-01 08:00
    Updated 2003-03-13 08:00
    Published 1995-08-09 08:00
    Product Standard Commands and Utilities V2 (UNIX 95)
    Certification Program The Open Brand certification program
    Test Suite VSC version 4.1.4
    Test Identification POSIX.cmd/bc 139,141,142,144
    Specification Commands and Utilities Issue 4 Version 2
    Location in Spec See Problem Text
    Problem Summary TIN4C.00001 tests should all scale of some calculations to be either 0 or 20
    Problem Text
    The scale of the result of bc was recently the subject of an
    interpretation (PASC 1003.2-92 #96) with the resolution being
    the standard was unclear on this matter and was being referred
    to the sponsor. The wording has been changed in P1003.2b/D11.
    Test Output
    Assertion #139 (A): check sin
    Note: The behavior associated with this assertion is currently
    the subject of an IEEE POSIX.2 interpretation request and may
    change in a future revision of POSIX.2.
    Standard output isn't the same as file 'bc_eso_139_1'
    diff of "out.stdout" and "bc_eso_139_1":
    *** out.stdout Tue Aug 1 19:54:49 1995
    --- bc_eso_139_1 Tue Aug 1 19:54:49 1995
    ***************
    *** 1,5 ****
    0
    ! 20
    1.68294
    20
    1.68294
    --- 1,5 ----
    0
    ! 0
    1.68294
    20
    1.68294
    Assertion Result: FAIL

    Assertion #141 (A): check arctanngent
    Note: The behavior associated with this assertion is currently
    the subject of an IEEE POSIX.2 interpretation request and may
    change in a future revision of POSIX.2.
    Standard output isn't the same as file 'bc_eso_141_1'
    diff of "out.stdout" and "bc_eso_141_1":
    *** out.stdout Tue Aug 1 19:55:08 1995
    --- bc_eso_141_1 Tue Aug 1 19:55:08 1995
    ***************
    *** 1,5 ****
    0
    ! 20
    3.14159
    20
    3.14159
    --- 1,5 ----
    0
    ! 0
    3.14159
    20
    3.14159
    Assertion Result: FAIL

    Assertion #142 (A): check log
    Note: The behavior associated with this assertion is currently
    the subject of an IEEE POSIX.2 interpretation request and may
    change in a future revision of POSIX.2.
    Standard output isn't the same as file 'bc_eso_142_1'
    diff of "out.stdout" and "bc_eso_142_1":
    *** out.stdout Tue Aug 1 19:55:21 1995
    --- bc_eso_142_1 Tue Aug 1 19:55:21 1995
    ***************
    *** 1,5 ****
    0
    ! 20
    2.30259
    20
    2.30259
    --- 1,5 ----
    0
    ! 0
    2.30259
    20
    2.30259
    Assertion Result: FAIL

    Assertion #144 (A): check bessel
    Note: The behavior associated with this assertion is currently
    the subject of an IEEE POSIX.2 interpretation request and may
    change in a future revision of POSIX.2.
    Standard output isn't the same as file 'bc_eso_144_1'
    diff of "out.stdout" and "bc_eso_144_1":
    *** out.stdout Tue Aug 1 19:55:50 1995
    --- bc_eso_144_1 Tue Aug 1 19:55:50 1995
    ***************
    *** 1,5 ****
    0
    ! 20
    1.57672
    20
    1.57672
    --- 1,5 ----
    0
    ! 0
    1.57672
    20
    1.57672
    Assertion Result: FAIL

    Review Information

    Review Type TSMA Review
    Start Date null
    Completed null
    Status Complete
    Review Recommendation No Resolution Given
    Review Response
    The POSIX.2b/D11 wording states

    The scale of the result returned by these functions shall be the
    value of the scale register at the time the function is invoked.

    This supports the requested interpretation.

    But POSIX.2b was published before pasc-1003.2-96. We believe this
    wording came about as a result of pasc-1003.2-77. It does not
    reflect pasc-1003.2-96. pasc-1003.2-96 ruled pasc-1003.2-77
    incorrect so both it and the 2b statement can not be considered
    binding at this point.

    This leaves us with pasc-1003.2-96 as the only viable
    source for resolving this request. This states

    Upon further consideration, we agree that the response to PASC
    Interpretation #77 is incorrect.

    The interpretation on #77 should have been:
    (1) the first sentence of the paragraph on page 200 l1570-1573
    is poorly worded.
    (2) the scale of the result of calling one of the math functions
    provided when the -l option is specified, could be interpreted to
    be the value of the the scale register at the time the function
    is invoked or the scale of 0 (which is 0).

    The standard is unclear on this issue, and no conformance
    distinction can be made between alternative implementations based
    on this. This is being referred to the sponsor.

    We believe this allows either the currently expected or requested
    behavior for the tests.

    Anticipating future alignment of the POSIX 2003.2 methods which
    the tests are based on with pasc-1003.2-96 a Temporary
    Interpretation is recommended.

    Review Type SA Review
    Start Date null
    Completed null
    Status Complete
    Review Resolution Temporary Interpretation (TIN)
    Review Conclusion
    A Temporary Interpretation is granted.

    Problem Reporting System Options:

     

    Back   

Contact the Certification Authority