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

The Open Brand -- Problem Reporting and Interpretations System

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

Report 0580 Actions

    Problem Report Number 0580
    Submitter's Classification Test Suite problem
    State Resolved
    Resolution Rejected (REJ)
    Problem Resolution ID REJ.X.0184
    Raised 1970-01-01 08:00
    Updated 2003-03-13 08:00
    Published null
    Product Standard Commands and Utilities V2 (UNIX 95)
    Certification Program The Open Brand certification program
    Test Suite VSC version 4.1.5
    Test Identification POSIX.upe/df 806
    Problem Summary PG4C.00093 This IR claims this test may properly fail if the VSC_OTHER_FS filesystem is "full".
    Problem Text
    The test failed because the file system being tested (VSC_OTHER_FS) was full,
    resulting in df reporting zero free space.

    We believe the test fails to take into account the possibility of df reporting
    zero or negative free space.

    The "CAE Specification, Commands and Utilities Issue 4, Version 2" document,
    page 262, states:

    <space free>
    The total amount of space available within the file system
    for the creation of new files by unprivileged users, in
    512-byte units. When this figure is less than or equal to
    zero, it is not possible to create any new files on the file
    system without first deleting others, unless the process has
    appropriate privileges. The figure written may be less than
    zero.

    The test for assertion 806 is implemented by comparing the output of 'df -P'
    against the output of 'df -P -k' using the shell construct

    [ "$sf" -gt "$sfk" ]

    where "$sf" is the amount of free space reported by 'df -P' and "$sfk" by
    'df -P -k'. This test will fail when df reports zero or negative free space.

    Please also note that the test would also fail when the amount of space used
    in the file system reported by df is zero, since it is verified using the
    shell construct

    [ "$su" -gt "$suk" ]

    where "$su" is the amount reported by 'df -P' and "$suk" by 'df -P -k'.
    Test Output
    Assertion #806 (C): When the -k option is specified, then d
    <LC> isk space shall be re...
    Command failed: '[ "0" -gt "0" ]'
    Assertion Result: FAIL

    Review Information

    Review Type TSMA Review
    Start Date null
    Completed null
    Status Complete
    Review Recommendation No Resolution Given
    Review Response
    We recommend this request be refused.

    We believe the test is correct and that the platform the test
    is running on is misconfigured.

    Although it is not explicitly stated in the User's Guide we believe
    it is implicitly clear that VSC_OTHER_FS (the file system discussed
    here) should not be a "full" filesystem.

    If the submitter wishes we will reword the test suite documentation.

    Review Type SA Review
    Start Date null
    Completed null
    Status Complete
    Review Resolution Rejected (REJ)
    Review Conclusion
    This request is refused.

    Problem Reporting System Options:

     

    Back   

Contact the Certification Authority