Approving Software Products 1990
Conference Proceedings
Published in September 1990
Book
Hardback
364 pages
978-0-444-88843-3 (ISBN)
Description
A wide range of `off-the-shelf' software is now available to the general public, but the quality of such packages is variable. Users of PCs, office, industrial and financial systems all seek assurance that a software package will perform as claimed by the supplier. The papers collected here examine the difficulties involved in granting a `Seal of Approval' to software packages, which involves a range of issues, including performance criteria, test laboratories, as well as legal aspects such as liabilty and guarantee.
A wide range of `off-the-shelf' software is now available to the general public, but the quality of such packages is variable. Users of PCs, office, industrial and financial systems all seek assurance that a software package will perform as claimed by the supplier. The papers collected here examine the difficulties involved in granting a `Seal of Approval' to software packages, which involves a range of issues, including performance criteria, test laboratories, as well as legal aspects such as liabilty and guarantee.
A wide range of `off-the-shelf' software is now available to the general public, but the quality of such packages is variable. Users of PCs, office, industrial and financial systems all seek assurance that a software package will perform as claimed by the supplier. The papers collected here examine the difficulties involved in granting a `Seal of Approval' to software packages, which involves a range of issues, including performance criteria, test laboratories, as well as legal aspects such as liabilty and guarantee.
More details
Language
English
Place of publication
Oxford
United Kingdom
Publishing group
Elsevier Science & Technology
Target group
College/higher education
Professional and scholarly
Illustrations
Illustrations
Dimensions
Height: 230 mm
ISBN-13
978-0-444-88843-3 (9780444888433)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Content
Standards and Certification 1. IT Systems, Software Quality Standards, Certification and Legal Aspects within ESPRIT (J.J. Lauture). The SCOPE Project (P. Robert, A. Roan). A New Approach to Software Certification (M. Davies). Testing. On the Efficiency of Statistical Testing with respect to Software Structural Test Criteria (P. Thevenod-Fosse). A Bayes Sequential Statistical Procedure for Approving Products in Mutation-Based Software (M. Sahinoglu, E.H. Spafford). Functional Testing of Optimizing C Compilers (M. Ghiassi). Validation and Conformance Testing. Software Certification by Demand (A. Bertolino, C. Carlesi, M. Fusani). Approving Real Time Software (R. Milovanovic et al.). Conformance Testing of Implementations of Graphics Standards (R. Ziegler, M. Gobel). Standards and Certification 2. The Role of Software Certification in the EC (U. Boshagen). The Life Cycle Methodology for Software Production and the Related Experience (H. Hummel). Requirements, Development and Liability. Towards a Method for Evaluating the Quality of a User-Oriented Functional Specification (T. Moynihan, N. O'Connor). Agricultural Computing (J. Nixon, F. Robson). Experiences in System-Modelling using CASE (M. Grimmer, R. Kurpicz, J. Rohrle). The Gutegemeinschaft Software (G. Knorr). Liability. Product Liability for Validation and Testing Procedures (F.A. Koch). Software Quality - Some Legal Issues (I. Lloyd, R.I. Wilson). Liability for Unavoidable Defects of Computer Software under German and EC Law (B. Heussen). Methods. Product Certification and Process Certification (S. Lindskov-Hansen). Proposals for the Organisation of Final Software Black Box Tests (R. Linermeier, F. Siebert). Can We Afford Formal Third Party Testing? (E. Wegner). Tools. Experiences with Producing a Computerised Software Certification Tool (B. de Neumann, A. Wingrove). Supporting Software Quality Assurance by Integrating Design Metrics into a CASE Tool (A.A.R. Riegg, R.J. Lauber). A Software Modification Assistance using Interaction Representation (H. Yamada, Y. Tezuka). Case Studies. Assessing Quality for Business Oriented Software (G. Agostoni, P. Caliman, D. Di Ventura). Experiences of Automated Data Collection from Software Development Projects (R.B. Hunter, K.B. Kirkwood, A.K. Rae). Validating Technologies for Certifying Software Products (M. Neil, R. Bache). Additional Contributions. Cost Management with Metrics of Specification: The COSMOS Project (N. Fuchs, K.L. Tse, R. Whitty). Interaction of Man and Tools During Static Analysis (M. Kerksen). Defining a Method for Software Certification (H.L. Hausen, N. Cacutalua). Case Study ``Whisky'' - An Experiment of a Certification Process (A. Bors, M. Kersken). Experiences with Producing a Computerised Scheme for Producing Certification Models (B. de Neumann). Software Certification by Demand (A. Bertolino et al.). Software for Farmers in the U.K. (J. Nixon).