Lines, Keith J and Smith , Ian M. (2017). Determining the quality of mathematical software using reference data sets. In: Achieving Software Quality in Development and Use. SQM, 1 (25). BCS, Southampton, UK, pp. 3952. ISBN 9780993288968
This is the latest version of this item.

PDF
SQM 12 Lines Smith.pdf Download (236Kb)  Preview 
Abstract
This paper describes a methodology for evaluating the numerical accuracy of software that performs mathematical calculations. The authors explain how this methodology extends the concept of metrological traceability, which is fundamental to measurement, to include software quality. Overviews of two European Unionfunded projects are also presented. The first project developed an infrastructure to allow software to be verified by testing, via the internet, using reference data sets. The primary focus of the project was software used within systems that make physical measurements. The second project, currently underway, explores using this infrastructure to verify mathematical software used within general scientific and engineering disciplines. Publications on using reference data sets for the verification of mathematical software are usually intended for a readership specialising in measurement science or mathematics. This paper is aimed at a more general readership, in particular software quality specialists and computer scientists. Further engagement with experts in these disciplines will be helpful to the continued development of this application of software quality.
Item Type:  Book Section 

Uncontrolled Keywords:  Software, Standards, Traceability, TraCIM, ValTraC, Verification 
Subjects:  TECHNOLOGY > Computing 
Depositing User:  Margaret Ross 
Date Deposited:  22 Jul 2017 17:26 
Last Modified:  22 Jul 2017 17:26 
URI:  http://ssudl.solent.ac.uk/id/eprint/3640 
Available Versions of this Item

Determining the quality of mathematical software
using reference data sets. (deposited 29 Jun 2017 15:44)

Determining the quality of mathematical software
using reference data sets. (deposited 04 Jul 2017 19:52)
 Determining the quality of mathematical software using reference data sets. (deposited 22 Jul 2017 17:26) [Currently Displayed]

Determining the quality of mathematical software
using reference data sets. (deposited 04 Jul 2017 19:52)
Actions (login required)
View Item 