News

New software verification services launched

Layout of a (standalone) TraCIM client required to undertake communication between a user of a TraCIM software verification service and the TraCIM server.

NPL, the UK National Measurement Institute (NMI), has made available a number of software verification services as a result of work carried out in the EMPIR Support for Impact Project ‘Validation of software development and analysis tools using TraCIM’ (15SIP06 ValTraC).

Increasingly, developers and users of mathematical software, i.e., software that implements mathematical calculations, are looking to organisations such as NMIs to provide independent verification of that software. Such verification helps to increase confidence in the accuracy of results returned by the software.

The TraCIM system (developed under the previous EMRP Joint Research Project 'Traceability for computationally-intensive metrology', NEW06 TraCIM) allows verification of software to be undertaken via the internet. The user of a TraCIM software verification service is required to implement a TraCIM client to undertake the necessary communication with the TraCIM server running at NPL. On request, the TraCIM server provides users with multiple sets of reference data. The data is processed by the software under test to obtain test results that are submitted to the TraCIM server. The test results are then compared with corresponding reference results stored on the TraCIM server, allowing a software evaluation report to be generated and provided to the user.

Within the ValTraC project, NPL worked with National Instruments to demonstrate the application of the TraCIM approach to the verification of mathematical functions implemented within its products, including the widely used systems engineering tool LabVIEW®. The project considered the use of both standalone TraCIM clients, for cases where the software under test is unable to communicate via the internet, and integrated TraCIM clients, for cases where such communication is possible.

Ian Smith from NPL, Project Coordinator, said “Previously, verification services for mathematical software were somewhat ad hoc in nature, with their speed and efficiency dictated by how much information was required to be transferred between service provider and service user, as well as the means of that transfer. The TraCIM system implements a more standardised approach, and takes advantage of modern internet communication services, to provide the means for NPL to undertake verification in an efficient and swift manner.”

The main outputs of the project, including guidelines on the use of the TraCIM system to undertake verification, are available on the project website (http://empir.npl.co.uk/valtrac).

 

The ValTraC project is part of EURAMET’s European Metrology Programme for Innovation and Research (EMPIR). EMPIR is co-funded by the European Union's Horizon 2020 research and innovation programme and the EMPIR Participating States.

The TraCIM project is part of EURAMET’s European Metrology Research Programme (EMRP). EMRP is jointly funded by the EMRP participating countries within EURAMET and the European Union.

Select your area of interest
Maguelonne Chambon elected as the new Vice-Chairperson (EMPIR)
2022-01-03

EURAMET would like to congratulate Maguelonne Chambon (LNE, France) in her new role, following Erkki Ikonen as Vice-Chairperson (EMPIR) more

Erkki Ikonen’s term as Vice-Chairperson (EMPIR) ended
2022-01-03

A big "Thank You!" from the EURAMET community more

EMPIR project develops new ionisation gauge for high vacuum measurement
2021-12-28

The new gauge will be made available to calibration laboratories and the research will feed into new ISO standards more

A big "Thank You!" from EURAMET to past-chair Hans Arne Frøystein
2021-12-18

Hans Arne Frøystein’s three-year term as EURAMET Chairperson ended at the association’s 2021 General Assembly, where he handed over the important posi... more

Zoltan Zelenka is new chair of EURAMET’s TC Mass and Related Quantities
2021-12-18

EURAMET welcomes Zoltan Zelenka as chair of Technical Committee (TC) for Mass and Related Quantities more