Ying-chao Wang, Wei Liu, Peng Chen, Cong Zhang, Chunjingming Li
{"title":"基于SFMEA和SFTA的FPGA软件安全测试激励随机生成","authors":"Ying-chao Wang, Wei Liu, Peng Chen, Cong Zhang, Chunjingming Li","doi":"10.1109/DSA.2019.00074","DOIUrl":null,"url":null,"abstract":"According to the analysis and research of SFMEA and SFTA technology, this paper provides an FPGA software security test excitation random generation technology based on SFMEA and SFTA reverse synthesis. Firstly, establish the FPGA software fault tree through SFTA. Secondly, the SFMEA is performed for the important bottom event, analyze the potential fault effect and supplement the fault tree. Then refine the test constraints according to the bottom event. Finally generate the security random test stimulus using the verification language. This technology can effectively improve the sufficiency of FPGA software security testing, standardize the testing process, and ultimately improve software security and ensure software quality.","PeriodicalId":342719,"journal":{"name":"2019 6th International Conference on Dependable Systems and Their Applications (DSA)","volume":"4 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2020-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"FPGA Software Security Testing Excitation Random Generation Based on SFMEA and SFTA\",\"authors\":\"Ying-chao Wang, Wei Liu, Peng Chen, Cong Zhang, Chunjingming Li\",\"doi\":\"10.1109/DSA.2019.00074\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"According to the analysis and research of SFMEA and SFTA technology, this paper provides an FPGA software security test excitation random generation technology based on SFMEA and SFTA reverse synthesis. Firstly, establish the FPGA software fault tree through SFTA. Secondly, the SFMEA is performed for the important bottom event, analyze the potential fault effect and supplement the fault tree. Then refine the test constraints according to the bottom event. Finally generate the security random test stimulus using the verification language. This technology can effectively improve the sufficiency of FPGA software security testing, standardize the testing process, and ultimately improve software security and ensure software quality.\",\"PeriodicalId\":342719,\"journal\":{\"name\":\"2019 6th International Conference on Dependable Systems and Their Applications (DSA)\",\"volume\":\"4 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2020-01-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"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.00074\",\"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.00074","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
FPGA Software Security Testing Excitation Random Generation Based on SFMEA and SFTA
According to the analysis and research of SFMEA and SFTA technology, this paper provides an FPGA software security test excitation random generation technology based on SFMEA and SFTA reverse synthesis. Firstly, establish the FPGA software fault tree through SFTA. Secondly, the SFMEA is performed for the important bottom event, analyze the potential fault effect and supplement the fault tree. Then refine the test constraints according to the bottom event. Finally generate the security random test stimulus using the verification language. This technology can effectively improve the sufficiency of FPGA software security testing, standardize the testing process, and ultimately improve software security and ensure software quality.