article

Free access

Automated testing of POSIX standards

Editor: Carl F. Cargill Authors:

J. F. Leathrum,

K. A. LiburdyAuthors Info & Claims

StandardView, Volume 2, Issue 1

Pages 55 - 59

https://doi.org/10.1145/224145.224154

Published: 01 March 1994 Publication History

PDF eReader

References

[1]

IEEE. 1990. Portable operating system interface (POSIX)----part 1: System application program interface (AP1), IEEE Std. 1003.1.

Google Scholar

[2]

IEEE. 1991. Standard for test methods for measuring conformance to POSIX, IEEE Std. 1003.3.

Google Scholar

[3]

LEATHRIJM, J. F. 1993. Design specifications for the Clemson Automated Testing System (CATS). Clem.$on Univ. Tech. Rep. TR-O12793-O915P-2, Jan.

Google Scholar

[4]

LEATHRUM, J.F. 1993. The CATS I1 test assertion language. Aurora. Testing Open Syst. 1, 2.

Google Scholar

[5]

NEXT GENERATION COMPUTING RESOURCES (NGCR). 1992. Operating system conformance test i.~sues paper, Vet. 1.0.

Google Scholar

[6]

O.~rROEF, J.S. 1989. Temporal Logic for Real-Time Systems, Wiley, New York, 1989.

Crossref

Google Scholar

[7]

QUARTERMAN, J. S. and WILItELM, S. 1993. UNIX, POS1X and Open Systems: The Open Standards Puzzle, Addison Wesley, Reading, Ma~.

Crossref

Google Scholar

[8]

U. S. DEPT. OF DEFENSE (DoD). 1983. Ada Language Reference Manual. M1L-STD-1815.

Google Scholar

[9]

WALL1, S. 1992. POSIX--Caving in under it~ own weight; login: UNSENIX Assoc. Newsl. Nov./Dec. 1992.

Google Scholar

Cited By

View all

Leathrum JLiburdy K(1996)A formal approach to requirements based testing in open systems standardsProceedings of the Second International Conference on Requirements Engineering10.1109/ICRE.1996.491434(94-100)Online publication date: 1996
https://doi.org/10.1109/ICRE.1996.491434
Leathrum JLiburdy K(1995)Formal test specifications in IEEE POSIXComputer Standards & Interfaces10.1016/0920-5489(95)00015-M17:5-6(603-614)Online publication date: 30-Sep-1995
https://dl.acm.org/doi/10.1016/0920-5489%2895%2900015-M

Index Terms

Automated testing of POSIX standards
1. General and reference
  1. Document types
    1. Computing standards, RFCs and guidelines
2. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Software defect analysis
        Software testing and debugging
  2. Software notations and tools
    1. Context specific languages

Recommendations

Reconciling Manual and Automated Testing: The AutoTest Experience
HICSS '07: Proceedings of the 40th Annual Hawaii International Conference on System Sciences

Software can be tested either manually or automatically. The two approaches are complementary: automated testing can perform a large number of tests in little time, whereas manual testing uses the knowledge of the testing engineer to target testing to ...
A generic interoperability testing framework and a systematic development process for automated interoperability testing

Interoperability is a prerequisite to allow users to access systems implemented by different vendors seamlessly. A good baseline to achieve interoperability is the implementation of a common set of standards. However, this is often not sufficient as ...
A formal approach to requirements based testing in open systems standards
ICRE '96: Proceedings of the 2nd International Conference on Requirements Engineering (ICRE '96)

Experience with an innovative approach to requirements based testing in the IEEE POSIX arena is presented. The work described in this paper is based on a full scale conformance test suite development for the standard IEEE Std 10035-The Ada Language ...

Comments

Information & Contributors

Information

Published In

StandardView Volume 2, Issue 1

March 1994

57 pages

ISSN:1067-9936

EISSN:1557-7376

DOI:10.1145/224145

Editor:
Carl F. Cargill
SunSoft, Inc., Mountain View, CA

Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 March 1994

Published in STANDARDVIEW Volume 2, Issue 1

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
235
Total Downloads

Downloads (Last 12 months)32
Downloads (Last 6 weeks)5

Reflects downloads up to 04 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Leathrum JLiburdy K(1996)A formal approach to requirements based testing in open systems standardsProceedings of the Second International Conference on Requirements Engineering10.1109/ICRE.1996.491434(94-100)Online publication date: 1996
https://doi.org/10.1109/ICRE.1996.491434
Leathrum JLiburdy K(1995)Formal test specifications in IEEE POSIXComputer Standards & Interfaces10.1016/0920-5489(95)00015-M17:5-6(603-614)Online publication date: 30-Sep-1995
https://dl.acm.org/doi/10.1016/0920-5489%2895%2900015-M

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

References

Cited By

Index Terms

Recommendations

Reconciling Manual and Automated Testing: The AutoTest Experience

A generic interoperability testing framework and a systematic development process for automated interoperability testing

A formal approach to requirements based testing in open systems standards

Comments

Information

Published In

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations