Evaluation of safety-critical software-Reference-Cited by-同舟云学术

Evaluation of safety-critical software

Published:1990-06 Issue:6 Volume:33 Page:636-648
ISSN:0001-0782
Container-title:Communications of the ACM
language:en
Short-container-title:Commun. ACM

Author:

Parnas David L.¹,van Schouwen A. John¹,Kwan Shu Po¹

Affiliation:

1. Queen's Univ., Kingston, Ont., Canada

Abstract

Methods and approaches for testing the reliability and trustworthiness of software remain among the most controversial issues facing this age of high technology. The authors present some of the crucial questions faced by software programmers and eventual users.

Publisher

Association for Computing Machinery (ACM)

Subject

General Computer Science

Link

https://dl.acm.org/doi/pdf/10.1145/78973.78974

Reference18 articles.

1. Britton K. and Parnas I). A-7E software module guide. NRL Memo. Rep. 4702 December 1981. Britton K. and Parnas I). A-7E software module guide. NRL Memo. Rep. 4702 December 1981.

2. Certifying the reliability of software

3. Specifying Software Requirements for Complex Systems: New Techniques and Their Application

4. Using Documentation as a Software Design Medium

Cited by 169 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Mathematisation of specialised disciplines as the basis for fundamentalising IT training in universities;The Education and science journal;2024-09-06

2. Ensuring Critical Properties of Test Oracles for Effective Bug Detection;Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings;2024-04-14

3. HUSTLE: A Hardware Unit for Self-test-Libraries Efficient Execution;Lecture Notes in Electrical Engineering;2024

4. Dependability factors of microprocessor protection software;Dependability;2023-08-22

5. Explanation Paradigms Leveraging Analytic Intuition (ExPLAIn);International Journal on Software Tools for Technology Transfer;2023-06