Zheng Li, Zhanqi Cui, Jianbin Liu, Liwei Zheng, Xiulei Liu
{"title":"基于变质关系的神经网络分类器测试","authors":"Zheng Li, Zhanqi Cui, Jianbin Liu, Liwei Zheng, Xiulei Liu","doi":"10.1109/DSA.2019.00060","DOIUrl":null,"url":null,"abstract":"The application of machine learning programs is becoming increasingly more widespread. Neural networks, which are among the most popular machine learning programs, play important roles in people's daily lives, such as by controlling cars in autonomous driving systems. However, neural networks still lack effective testing methods. To address this problem, this paper proposes a testing method for neural network classifiers based on metamorphic relations. Firstly, it designs metamorphic relations to transform the original data set into derivative data sets. Then, it uses the data before and after the transformation to train and test the neural network classifier, respectively. Finally, it checks whether the output conforms to the metamorphic relations. The neural network classifier is defective if conflicts are detected. Experiments are conducted on a neural network classifier from Stanford's cs231n course to verify the effectiveness of the method. The results show that the defect detection capability of the proposed method is accurate, and 87.5% of the mutants are successfully detected.","PeriodicalId":342719,"journal":{"name":"2019 6th International Conference on Dependable Systems and Their Applications (DSA)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2020-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"Testing Neural Network Classifiers Based on Metamorphic Relations\",\"authors\":\"Zheng Li, Zhanqi Cui, Jianbin Liu, Liwei Zheng, Xiulei Liu\",\"doi\":\"10.1109/DSA.2019.00060\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The application of machine learning programs is becoming increasingly more widespread. Neural networks, which are among the most popular machine learning programs, play important roles in people's daily lives, such as by controlling cars in autonomous driving systems. However, neural networks still lack effective testing methods. To address this problem, this paper proposes a testing method for neural network classifiers based on metamorphic relations. Firstly, it designs metamorphic relations to transform the original data set into derivative data sets. Then, it uses the data before and after the transformation to train and test the neural network classifier, respectively. Finally, it checks whether the output conforms to the metamorphic relations. The neural network classifier is defective if conflicts are detected. Experiments are conducted on a neural network classifier from Stanford's cs231n course to verify the effectiveness of the method. The results show that the defect detection capability of the proposed method is accurate, and 87.5% of the mutants are successfully detected.\",\"PeriodicalId\":342719,\"journal\":{\"name\":\"2019 6th International Conference on Dependable Systems and Their Applications (DSA)\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2020-01-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2019 6th International Conference on Dependable Systems and Their Applications (DSA)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/DSA.2019.00060\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2019 6th International Conference on Dependable Systems and Their Applications (DSA)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/DSA.2019.00060","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Testing Neural Network Classifiers Based on Metamorphic Relations
The application of machine learning programs is becoming increasingly more widespread. Neural networks, which are among the most popular machine learning programs, play important roles in people's daily lives, such as by controlling cars in autonomous driving systems. However, neural networks still lack effective testing methods. To address this problem, this paper proposes a testing method for neural network classifiers based on metamorphic relations. Firstly, it designs metamorphic relations to transform the original data set into derivative data sets. Then, it uses the data before and after the transformation to train and test the neural network classifier, respectively. Finally, it checks whether the output conforms to the metamorphic relations. The neural network classifier is defective if conflicts are detected. Experiments are conducted on a neural network classifier from Stanford's cs231n course to verify the effectiveness of the method. The results show that the defect detection capability of the proposed method is accurate, and 87.5% of the mutants are successfully detected.