<gh_stars>1-10
#!/usr/bin/env python3
# -*- coding: utf-8 -*-
"""
Neural Network Verification Model Translation Tool (NNVMT)

@author: 
  <NAME>(<EMAIL>) 
  <NAME> (<EMAIL>)
"""
import os
from os import path
import unittest
import warnings 
warnings.filterwarnings("ignore", category=UserWarning)
warnings.filterwarnings("ignore", category=DeprecationWarning)

from nnvmt import parseArguments, decideTool, decideOutput, parseHandler
from src.nnvmt_exceptions import FileExtensionError,OutputFormatError  


#class that implements unit tests for our tool
class TestNNVMT(unittest.TestCase):
    #tests decide tool function
    def test_decideTool(self):
        #open the tests text file
        test_path=os.path.join(os.getcwd(),"tests/decide_tool_tests.txt")
        file = open(test_path, "r") 
        line=True
        try:
            while line:
                line=file.readline().strip("\n")
                tup=line.split(",")
                if len(tup)==2:
                    #get the toolname
                    toolname=tup[0]
                    #get the file path
                    path=tup[1]
                    #get the filename
                    filename=os.path.basename(path)
                    #assert that reluplex files end in .nnet
                    if toolname in ["Reluplex","reluplex","nnet"] and not (".nnet" in filename):
                        self.assertRaises(FileExtensionError,decideTool,toolname,path)
                    elif toolname in ["Reluplex","reluplex","nnet"]:
                        self.assertIn(".nnet",filename)
                    #assert that sherlock files end in .txt or have no file extension
                    elif toolname in ["sherlock","Sherlock"] and not (".txt" in filename or len(filename.split("."))==1):
                        self.assertRaises(FileExtensionError,decideTool,toolname,path)
                    elif toolname in ["sherlock","Sherlock"]:
                        self.assertTrue(".txt" in filename or len(filename.split("."))==1)
                    #assert that keras files end in .h5 
                    elif toolname in ["keras","Keras"] and not (".h5" in filename):
                        self.assertRaises(FileExtensionError,decideTool,toolname,path)
                    elif toolname in ["keras","Keras"]:
                        self.assertIn(".h5",filename)
                    #assert that tensorflow files have a .meta file 
                    elif toolname in ["tensorflow","Tensorflow"] and not (".meta" in filename):
                        self.assertRaises(FileExtensionError,decideTool,toolname,path)
                    elif toolname in ["tensorflow","Tensorflow"]:
                        self.assertIn(".meta",filename)
                    #assert that Matfiles have a .mat file extension 
                    elif toolname in ["mat","Matfile"] and not (".mat" in filename):
                        self.assertRaises(FileExtensionError,decideTool,toolname,path)
                    elif toolname in ["Matfile","mat"]:
                        self.assertIn(".mat",filename)
                    #assert that any other filename throws a Name Error
                    else:
                        self.assertRaises(NameError,decideTool,toolname,path)
        finally:         
            file.close()

    #test case that tests the main functionality of nnvmt
    def test_parseHandler(self):
        #open the tests text file
        test_path=os.path.join(os.getcwd(),"tests/parse_handler_tests.txt")
        if not os.path.exists("tests/unit_test_translated_networks/"):
            os.mkdir("tests/unit_test_translated_networks/")
        file = open(test_path, "r") 
        line=True
        count=0
        try:
            #read the test file line by line
            while line:
                line=file.readline().strip("\n").replace(" ", "")
                tup=line.split(",")
                #if the length of the list is 4, its either a nnet, sherlock, or keras file
                if len(tup)==4:
                    count+=1
                    input_path=os.path.join(os.getcwd(),tup[0])
                    output_path=os.path.join(os.getcwd(),tup[1])
                    printer=parseHandler(tup[2],tup[3],input_path,output_path,'')
                #if the length of the list is 5 then its either a keras file with a .json file or a tensorflow file
                elif len(tup)==5:
                    count+=1
                    input_path=os.path.join(os.getcwd(),tup[0])
                    output_path=os.path.join(os.getcwd(),tup[1])
                    printer=parseHandler(tup[2],tup[3],input_path,output_path,tup[4])
                #assert that a file was created in the specified output directory
                self.assertTrue(path.exists(printer.final_output_path))
        finally:
            file.close()
        



#!/usr/bin/env python3
# -*- coding: utf-8 -*-
"""
Neural Network Verification Model Translation Tool (NNVMT)

@author: 
  <NAME>(<EMAIL>) 
  <NAME> (<EMAIL>)
"""
import os
from os import path
import unittest
import warnings 
warnings.filterwarnings("ignore", category=UserWarning)
warnings.filterwarnings("ignore", category=DeprecationWarning)

from nnvmt import parseArguments, decideTool, decideOutput, parseHandler
from src.nnvmt_exceptions import FileExtensionError,OutputFormatError  


#class that implements unit tests for our tool
class TestNNVMT(unittest.TestCase):
    #tests decide tool function
    def test_decideTool(self):
        #open the tests text file
        test_path=os.path.join(os.getcwd(),"tests/decide_tool_tests.txt")
        file = open(test_path, "r") 
        line=True
        try:
            while line:
                line=file.readline().strip("\n")
                tup=line.split(",")
                if len(tup)==2:
                    #get the toolname
                    toolname=tup[0]
                    #get the file path
                    path=tup[1]
                    #get the filename
                    filename=os.path.basename(path)
                    #assert that reluplex files end in .nnet
                    if toolname in ["Reluplex","reluplex","nnet"] and not (".nnet" in filename):
                        self.assertRaises(FileExtensionError,decideTool,toolname,path)
                    elif toolname in ["Reluplex","reluplex","nnet"]:
                        self.assertIn(".nnet",filename)
                    #assert that sherlock files end in .txt or have no file extension
                    elif toolname in ["sherlock","Sherlock"] and not (".txt" in filename or len(filename.split("."))==1):
                        self.assertRaises(FileExtensionError,decideTool,toolname,path)
                    elif toolname in ["sherlock","Sherlock"]:
                        self.assertTrue(".txt" in filename or len(filename.split("."))==1)
                    #assert that keras files end in .h5 
                    elif toolname in ["keras","Keras"] and not (".h5" in filename):
                        self.assertRaises(FileExtensionError,decideTool,toolname,path)
                    elif toolname in ["keras","Keras"]:
                        self.assertIn(".h5",filename)
                    #assert that tensorflow files have a .meta file 
                    elif toolname in ["tensorflow","Tensorflow"] and not (".meta" in filename):
                        self.assertRaises(FileExtensionError,decideTool,toolname,path)
                    elif toolname in ["tensorflow","Tensorflow"]:
                        self.assertIn(".meta",filename)
                    #assert that Matfiles have a .mat file extension 
                    elif toolname in ["mat","Matfile"] and not (".mat" in filename):
                        self.assertRaises(FileExtensionError,decideTool,toolname,path)
                    elif toolname in ["Matfile","mat"]:
                        self.assertIn(".mat",filename)
                    #assert that any other filename throws a Name Error
                    else:
                        self.assertRaises(NameError,decideTool,toolname,path)
        finally:         
            file.close()

    #test case that tests the main functionality of nnvmt
    def test_parseHandler(self):
        #open the tests text file
        test_path=os.path.join(os.getcwd(),"tests/parse_handler_tests.txt")
        if not os.path.exists("tests/unit_test_translated_networks/"):
            os.mkdir("tests/unit_test_translated_networks/")
        file = open(test_path, "r") 
        line=True
        count=0
        try:
            #read the test file line by line
            while line:
                line=file.readline().strip("\n").replace(" ", "")
                tup=line.split(",")
                #if the length of the list is 4, its either a nnet, sherlock, or keras file
                if len(tup)==4:
                    count+=1
                    input_path=os.path.join(os.getcwd(),tup[0])
                    output_path=os.path.join(os.getcwd(),tup[1])
                    printer=parseHandler(tup[2],tup[3],input_path,output_path,'')
                #if the length of the list is 5 then its either a keras file with a .json file or a tensorflow file
                elif len(tup)==5:
                    count+=1
                    input_path=os.path.join(os.getcwd(),tup[0])
                    output_path=os.path.join(os.getcwd(),tup[1])
                    printer=parseHandler(tup[2],tup[3],input_path,output_path,tup[4])
                #assert that a file was created in the specified output directory
                self.assertTrue(path.exists(printer.final_output_path))
        finally:
            file.close()
#!/usr/bin/env python3 # -*- coding: utf-8 -*- Neural Network Verification Model Translation Tool (NNVMT)  @author:    <NAME>(<EMAIL>)    <NAME> (<EMAIL>) #class that implements unit tests for our tool #tests decide tool function #open the tests text file #get the toolname #get the file path #get the filename #assert that reluplex files end in .nnet #assert that sherlock files end in .txt or have no file extension #assert that keras files end in .h5 #assert that tensorflow files have a .meta file #assert that Matfiles have a .mat file extension #assert that any other filename throws a Name Error #test case that tests the main functionality of nnvmt #open the tests text file #read the test file line by line #if the length of the list is 4, its either a nnet, sherlock, or keras file #if the length of the list is 5 then its either a keras file with a .json file or a tensorflow file #assert that a file was created in the specified output directory