• Corpus ID: 64563632

Determining the quality of mathematical software using reference data sets

@inproceedings{Lines2017DeterminingTQ,
  title={Determining the quality of mathematical software using reference data sets},
  author={K. J. Lines and Ian M. Smith},
  year={2017}
}
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 Union-funded 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… 

References

SHOWING 1-10 OF 10 REFERENCES
Design and use of reference data sets for testing scientific software
Abstract A general methodology for evaluating the accuracy of the results produced by scientific software has been developed at the National Physical Laboratory. The basis of the approach is the
Reference data sets for testing metrology software
Many fields of metrology rely on calculations that are implemented in software. When such software is used to provide a measurement result, which is required to be traceable, it is necessary to
Online Validation of Comparison Algorithms Using the TraCIM-System
The use of validated algorithms shall guarantee the correct calculation of measurement results which also includes the evaluation of national and international comparisons. To fulfill this essential
An Exploration into Measurement Consistency on Coordinate Measuring Machines
TLDR
A framework is outlined in which consistency is controlled through measurement strategy, such as the number and location of measurement points, which is put to action in a case study, demonstrating the usefulness of the approach and highlighting the dangers of imposing rigid measurement strategies across the supply chain.
Looking at the future of manufacturing metrology: roadmap document of the German VDI/VDE Society for Measurement and Automatic Control
Abstract. "Faster, safer, more accurately and more flexibly'' is the title of the "manufacturing metrology roadmap'' issued by the VDI/VDE Society for Measurement and Automatic Control (
A beginner's guide to measurement.
TLDR
This Beginner’s Guide explains the fundamental concepts and basic facts about measurement, and in particular accurate measurement and explains the significance of such fundamental concepts as measurement traceability and calibration.
Using Z - specification, refinement, and proof
  • J. Woodcock, J. Davies
  • Mathematics, Computer Science
    Prentice Hall international series in computer science
  • 1996
TLDR
The book discusses data Refinement, Relaxing and Unwinding Data Refinement and Z, and the importance of Equality and Definite Description in the application of data refinement.
The Z notation - a reference manual
  • J. M. Spivey
  • Computer Science
    Prentice Hall International Series in Computer Science
  • 1989
TLDR
Tutorial introduction background the Z language the mathematical tool-kit sequential systems syntax summary and how to use it to solve sequential systems problems.
Least Squares Orthogonal Distance Fitting of Curves and Surfaces in Space
  • S. Ahn
  • Computer Science, Mathematics
    Lecture Notes in Computer Science
  • 2004
TLDR
This paper presents an Orthogonal Distance Fitting of Implicit Curves and Surfaces of Least-Squares and Object Reconstruction from Unordered Point Cloud from the 2015 Conference of the European Academy of Sciences.
Systematic software development using VDM (2. ed.)
  • Cliff B. Jones
  • Computer Science
    Prentice Hall International Series in Computer Science
  • 1990