Sionnx: Automatic Unit Test Generator for ONNX Conformance

06/12/2019
by   Xinli Cai, et al.
0

Open Neural Network Exchange (ONNX) is an open format to represent AI models and is supported by many machine learning frameworks. While ONNX defines unified and portable computation operators across various frameworks, the conformance tests for those operators are insufficient, which makes it difficult to verify if an operator's behavior in an ONNX backend implementation complies with the ONNX standard. In this paper, we present the first automatic unit test generator named Sionnx for verifying the compliance of ONNX implementation. First, we propose a compact yet complete set of rules to describe the operator's attributes and the properties of its operands. Second, we design an Operator Specification Language (OSL) to provide a high-level description for the operator's syntax. Finally, through this easy-to-use specification language, we are able to build a full testing specification which leverages LLVM TableGen to automatically generate unit tests for ONNX operators with much large coverage. Sionnx is lightweight and flexible to support cross-framework verification. The Sionnx framework is open-sourced in the github repository (https://github.com/alibaba/Sionnx).

READ FULL TEXT
research
10/17/2017

System Description: Russell - A Logical Framework for Deductive Systems

Russell is a logical framework for the specification and implementation ...
research
04/06/2022

Towards Better Test Coverage: Merging Unit Tests for Autonomous Systems

We present a framework for merging unit tests for autonomous systems. Ty...
research
05/18/2023

PPDONet: Deep Operator Networks for Fast Prediction of Steady-State Solutions in Disk-Planet Systems

We develop a tool, which we name Protoplanetary Disk Operator Network (P...
research
04/13/2020

Generation Of A Complete Set Of Properties

One of the problems of formal verification is that it is not functionall...
research
04/21/2022

AU-NN: ANFIS Unit Neural Network

In this paper is described the ANFIS Unit Neural Network, a deep neural ...
research
06/01/2022

Intelligent UNIT LEVEL TEST Generator for Enhanced Software Quality

Unit level test has been widely recognized as an important approach to i...
research
09/25/2021

Auditing AI models for Verified Deployment under Semantic Specifications

Auditing trained deep learning (DL) models prior to deployment is vital ...

Please sign up or login with your details

Forgot password? Click here to reset