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

The Open Brand -- Problem Reporting and Interpretations System

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

Report 2416 Actions

    Problem Report Number 2416
    Submitter's Classification Test Suite problem
    State Resolved
    Resolution Test Suite Deficiency (TSD)
    Problem Resolution ID TSD.X.1251
    Raised 2004-08-26 22:42
    Updated 2004-09-01 19:44
    Published 2004-09-01 19:44
    Product Standard Internationalised System Calls and Libraries Extended V3 (UNIX 03)
    Certification Program The Open Brand certification program
    Test Suite VSX5 version 5.2.4
    Test Identification MSE.os/streamio/wprintf/T.*wprintf 56, 74, 75,
    MSE.os/streamio/wprintf_X/T.*wprintf_X 57
    Specification Base Definitions Issue 6
    Location in Spec SUSv3 TC2 Line 13601
    Linked Problem Reports TSD.X.1250(PR, 2414)
    Problem Summary Tests do not specify output precision
    Problem Text This is the same problem as reported in PR 2414 for the corresponding VSX4
    printf() tests, except this PR is for the tests in VSX5:

    SUSv3 TC2 states:

    if the precision is missing and FLT_RADIX is a power of 2, then the
    precision
    shall be sufficient for an exact representation of the value; if the
    precision is
    missing and FLT_RADIX is not a power of 2, then the precision shall be
    sufficient to distinguish values of type double, except that trailing
    zeros may
    be omitted;

    We set FLT_RADIX to 2, so the precision should be sufficient for an exact
    representation of the value. In this case, we don't believe the extra
    zeros in
    the expected output are required.

    The full set of test affected is:

    MSE.os/streamio/wprintf/T.fwprintf 56 Failed
    MSE.os/streamio/wprintf/T.fwprintf 74 Failed
    MSE.os/streamio/wprintf/T.fwprintf 75 Failed
    MSE.os/streamio/wprintf/T.swprintf 56 Failed
    MSE.os/streamio/wprintf/T.swprintf 74 Failed
    MSE.os/streamio/wprintf/T.swprintf 75 Failed
    MSE.os/streamio/wprintf/T.vfwprintf 56 Failed
    MSE.os/streamio/wprintf/T.vfwprintf 74 Failed
    MSE.os/streamio/wprintf/T.vfwprintf 75 Failed
    MSE.os/streamio/wprintf/T.vswprintf 56 Failed
    MSE.os/streamio/wprintf/T.vswprintf 74 Failed
    MSE.os/streamio/wprintf/T.vswprintf 75 Failed
    MSE.os/streamio/wprintf/T.vwprintf 56 Failed
    MSE.os/streamio/wprintf/T.vwprintf 74 Failed
    MSE.os/streamio/wprintf/T.vwprintf 75 Failed
    MSE.os/streamio/wprintf/T.wprintf 56 Failed
    MSE.os/streamio/wprintf/T.wprintf 74 Failed
    MSE.os/streamio/wprintf/T.wprintf 75 Failed
    MSE.os/streamio/wprintf_X/T.fwprintf_X 57 Failed
    MSE.os/streamio/wprintf_X/T.swprintf_X 57 Failed
    MSE.os/streamio/wprintf_X/T.vfwprintf_X 57 Failed
    MSE.os/streamio/wprintf_X/T.vswprintf_X 57 Failed
    MSE.os/streamio/wprintf_X/T.vwprintf_X 57 Failed
    MSE.os/streamio/wprintf_X/T.wprintf_X 57 Failed
    Test Output examples of the test output


    ************************************************************************
    /tset/MSE.os/streamio/wprintf/T.fwprintf 56 Failed

    Test Description:
    When format contains %L?, where ? is one of the type conversion
    wide
    characters a, f, e, g, A, F, E or G, and the long double type is
    supported, then the corresponding argument is taken to be a long
    double and converted accordingly.
    Note: The a A and F directives are not tested in UNIX98 mode.

    Test Strategy:
    IF the long double type is supported
    CREATE child process
    SETUP pipe for writing to parent
    PERFORM output using fwprintf()
    VERIFY that the expected formatted output was produced

    Test Information:
    fwprintf(f_wr, "%La %La %LA %LA %LF %LF
    ", -22.625, 12.625,
    -22.625,
    12.625, -22.625, 12.625) failed
    (L) format modifier specifies argument is long double
    Observed output: "-0x1.6ap+4 0x1.94p+3 -0X1.6AP+4 0X1.94P+3
    -22.625000
    12.625000
    "
    Expected output to match one of the following patterns:
    "-0xb\.5000*p+1 0xc\.a000*p+0 -0XB\.5000*P+1 0XC\.A000*P+0
    -22\.625000 12\.625000
    "
    "-0x5\.a800*p+2 0x6\.5000*p+1 -0X5\.A800*P+2 0X6\.5000*P+1
    -22\.625000 12\.625000
    "
    "-0x2\.d400*p+3 0x3\.2800*p+2 -0X2\.D400*P+3 0X3\.2800*P+2
    -22\.625000 12\.625000
    "
    "-0x1\.6a00*p+4 0x1\.9400*p+3 -0X1\.6A00*P+4 0X1\.9400*P+3
    -22\.625000 12\.625000
    "


    ************************************************************************


    ***********************************************************************
    /tset/MSE.os/streamio/wprintf/T.fwprintf 74 Failed

    Test Description:
    When format contains %a, then the float or double specified by the
    corresponding argument is converted to a hexadecimal notation wide
    character string of the form "[-]0xh.hhhp_d" where, by default,
    there
    is one digit before the radix character, at least one digit in the
    exponent, and sufficient digits after the radix character:
    a. for an exact representation of the value, in the case that
    FLT_RADIX is a power of 2;
    b. to distinguish values of type double, in the case that
    FLT_RADIX is
    not a power of 2.
    Note: This test is not executed in UNIX98 mode.

    Test Strategy:
    For POSIX01 and UNIX03 modes:
    CREATE child process
    SETUP pipe for writing to parent
    PEFRORM output using fwprintf()
    VERIFY that the expected formatted output was produced and that
    the correct number of bits are printed.

    Test Information:
    fwprintf(f_wr, "%a %a
    ", -12.3, 321.765432) failed
    (a) format converts float or double to [-]0xh.hhhp[+-]d format
    Observed output: "-0x1.899999999999ap+3 0x1.41c3f35baccfp+8
    "
    Expected output: "-0x1.899999999999ap+3 0x1.41c3f35baccf0p+8
    "
    fwprintf(f_wr, "%a %a
    ", -12.3, 321.765432) failed
    (a) format converts float or double to [-]0xh.hhhp[+-]d format
    %n 49 bits printed, expected at least 53


    ************************************************************************

    ************************************************************************
    /tset/MSE.os/streamio/wprintf/T.fwprintf 75 Failed

    Test Description:
    When format contains %A, then the float or double specified by the
    corresponding argument is converted to a hexadecimal notation wide
    character string of the form "[-]0Xh.hhhP_d" where, by default,
    there
    is one digit before the radix character, at least one digit in the
    exponent, and sufficient digits after the radix character:
    a. for an exact representation of the value, in the case that
    FLT_RADIX is a power of 2;
    b. to distinguish values of type double, in the case that
    FLT_RADIX is
    not a power of 2.
    Note: This test is not executed in UNIX98 mode.


    Test Strategy:
    For POSIX01 and UNIX03 modes:
    CREATE child process
    SETUP pipe for writing to parent
    PEFRORM output using fwprintf()
    VERIFY that the expected formatted output was produced and that
    the correct number of bits are printed.

    Test Information:
    fwprintf(f_wr, "%A %A
    ", -12.3, 321.765432) failed
    (A) format converts float or double to [-]0XH.HHHP[+-]d format
    Observed output: "-0X1.899999999999AP+3 0X1.41C3F35BACCFP+8
    "
    Expected output: "-0X1.899999999999AP+3 0X1.41C3F35BACCF0P+8
    "
    fwprintf(f_wr, "%A %A
    ", -12.3, 321.765432) failed
    (A) format converts float or double to [-]0XH.HHHP[+-]d format
    %n 49 bits printed, expected at least 53


    ************************************************************************


    ************************************************************************
    /tset/MSE.os/streamio/wprintf_X/T.fwprintf_X 57 Failed

    Test Description:
    When format contains %k$L?, where k is a positive integer, arg
    is the
    kth argument and ? is one of the type conversion wide characters
    a, f,
    e, g, A, F, E or G, and the long double type is supported, then
    arg is
    taken to be a long double and converted accordingly.
    Note: The a, A and F directives are not tested in UNIX98 mode.

    Test Strategy:
    CREATE child process
    SETUP pipe for writing to parent
    PERFORM output using fwprintf()
    VERIFY that the %k$L modifier operates with the specifiers a, f,
    e, g,
    A, F, E and G

    Test Information:
    fwprintf(f_wr, "%2$La %1$La %2$LA %1$LA %2$LF %1$LF
    ", 12.625,
    -22.625) failed
    (L) format modifier specifies argument is long double
    Observed output: "-0x1.6ap+4 0x1.94p+3 -0X1.6AP+4 0X1.94P+3
    -22.625000
    12.625000
    "
    Expected output to match one of the following patterns:
    "-0xb\.5000*p+1 0xc\.a000*p+0 -0XB\.5000*P+1 0XC\.A000*P+0
    -22\.625000 12\.625000
    "
    "-0x5\.a800*p+2 0x6\.5000*p+1 -0X5\.A800*P+2 0X6\.5000*P+1
    -22\.625000 12\.625000
    "
    "-0x2\.d400*p+3 0x3\.2800*p+2 -0X2\.D400*P+3 0X3\.2800*P+2
    -22\.625000 12\.625000
    "
    "-0x1\.6a00*p+4 0x1\.9400*p+3 -0X1\.6A00*P+4 0X1\.9400*P+3
    -22\.625000 12\.625000
    "


    ***********************************************************************

    Review Information

    Review Type TSMA Review
    Start Date 2004-08-26 22:42
    Last Updated 2004-09-01 18:23
    Completed 2004-09-01 18:23
    Status Complete
    Review Recommendation Test Suite Deficiency (TSD)
    Review Response This is accepted as a fault in the test suite.

    Review Type SA Review
    Start Date 2004-09-01 17:23
    Last Updated 2004-09-01 19:44
    Completed 2004-09-01 19:44
    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