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

The Open Brand -- Problem Reporting and Interpretations System

Problem Report 2261 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 2261.

Report 2261 Actions

    Problem Report Number 2261
    Submitter's Classification Test Suite problem
    State Resolved
    Resolution Test Suite Deficiency (TSD)
    Problem Resolution ID TSD.X.1159
    Raised 2003-07-25 17:45
    Updated 2003-07-25 19:21
    Published 2003-07-25 19:21
    Product Standard Internationalised System Calls and Libraries Extended V2 (UNIX 98)
    Certification Program The Open Brand certification program
    Test Suite VSX4 version 4.5.4
    Test Identification /tset/XOPEN.os/maths/y0/T.y0 10
    Linked Problem Reports 2258
    Problem Summary The fault in this case is caused by a floating point overflow in the
    test suite.
    Problem Text The fault in this test case is caused by a floating point overflow in
    the test suite.
    Test Output /tset/XOPEN.os/maths/y0/T.y0 10 Failed

    Test Description:
    For UNIX03 mode:
    When the correct result would cause overflow, then y1()
    returns
    either -HUGE_VAL or zero, and a range overflow error may
    occur.
    For other test modes:
    When the correct result would cause overflow, then y1()
    either
    a. returns either -HUGE_VAL or zero, and may set errno to
    ERANGE,
    or
    b. returns a value approximately equal to (-2/PI)*(1/x).

    Test Strategy:
    CREATE child process
    For UNIX03 and POSIX01 modes:
    CLEAR errno and FP exception flags, using mlerrprep().
    VERIFY that y1(0.5 / maxdble) returns 0 or -HUGE_VAL.
    VERIFY that if an error is generated then this error is a
    range
    overflow error, using mlerrchk().
    For other test modes:
    SET errno to zero
    CALL y1(mindble)
    IF y1() returned -HUGE_VAL or 0.0
    VERIFY errno is either ERANGE or zero
    OTHERWISE
    VERIFY y1(mindble)*mindble is approximately equal to -2/PI

    Test Information:
    RETURN VALUES: expected: -Inf, observed: -1
    Bit Representation: expected value:
    \377\360\000\000\000\000\000\000
    Bit Representation: observed value:
    \277\360\000\000\000\000\000\000
    ERRNO VALUES: expected: 34 (ERANGE), observed: 0 (NO ERROR)

    Review Information

    Review Type TSMA Review
    Start Date 2003-07-25 17:45
    Last Updated 2003-07-25 18:49
    Completed 2003-07-25 18:49
    Status Complete
    Review Recommendation Test Suite Deficiency (TSD)
    Review Response TSD.X.1156 (PR2258) is not fixed in VSX4.5.4, so an equivalent TSD
    needs to be issued for the new release. (The bug was reported after
    VSX4.5.4 completed its beta reviews.)

    Review Type SA Review
    Start Date 2003-07-25 17:49
    Last Updated 2003-07-25 19:21
    Completed 2003-07-25 19:21
    Status Complete
    Review Resolution Test Suite Deficiency (TSD)
    Review Conclusion A test suite deficiency is granted.

    Problem Reporting System Options:

     

    Back   

Contact the Certification Authority