Abstract
Software processes are executed for a purpose: to satisfy a set of process requirements and to meet process constraints [1]. This paper shows that there is a critical set of process constraints, often considered only implicitly or even ignored, that are derived externally from social expectations. This paper suggests an approach to determining this set of process constraints and a basic method for their consideration during safety-critical testing process design.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Osterweil, Leon. Software Processes are Software Too, 9th Int’l Conf. on Soft. Eng., 1987.
Leveson, Turner, An Investigation of the Therac-25 Accidents, IEEE Computer, Vol 26, No. 7, July, 1993.
Nelson and Winter, An Evolutionary Theory of Economic Change, Belknap Press of Harvard University Press, 1982.
Hamlet, Are We Testing for True Reliability?, IEEE Software, July 1992
Prosser, Handbook of the Law of Torts, 4th Ed., West Publ., St Paul, Minn., 1971
Blyth v. Birmingham Waterworks Co., 1856, 11 Ex. 781, 784, 156 Eng. Rep. 1047.
Glendon, Gordon, Osakwe, Comparative Legal Traditions, West Publ. Co., St. Paul, MN., 1994
Gemignani, Law and the Computer, CBI Publ., Boston, MA., 1981
Lapp, Powers, Computer-aided Synthesis of Fault-Trees, IEEE Trans, on Reliability, April 1977, page 2.
Leveson, Harvey, Analyzing Software Safety, IEEE Trans, on Soft. Eng., Vol. SE-9, No. 5, September, 1983, page 569.
Fossett, The Development of Negligence in Computer Law, No. Ky. L. R. 14 No. 2, pps 289–310 (1987)
Weyuker, On Testing Non-Testable Programs, The Computer Journal, Vol 25, No. 4, 1982
Parnas, Evaluation of Safety-Critical Software, CACM Vol. 33, No. 6, June 1990
ISO 9000–3: 1991 (E), Quality management and quality assurance standards - Part 3: Guidelines for the application of ISO 9001 to the development, supply and maintenance of software.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer-Verlag London Limited
About this paper
Cite this paper
Turner, C.S., Richardson, D.J., King, J.L. (1997). Legal Sufficiency of Testing Processes. In: Schoitsch, E. (eds) Safe Comp 96. Springer, London. https://doi.org/10.1007/978-1-4471-0937-2_35
Download citation
DOI: https://doi.org/10.1007/978-1-4471-0937-2_35
Publisher Name: Springer, London
Print ISBN: 978-3-540-76070-2
Online ISBN: 978-1-4471-0937-2
eBook Packages: Springer Book Archive