Runtime Software Monitoring Based on Binary Code Translation for Real-Time Software
0
조회
0
다운로드
1
인용
0
참고문헌
키워드
초록
Real-time embedded systems have become pervasive in general industry. They also began to be applied in suchdomains as avionics, automotive, aerospace, healthcare, and industrial Internet. However, the system failure ofsuch domains could result in catastrophic consequences. Runtime software testing is required in such domainsthat demands very high accuracy. Traditional runtime software testing based on handwork is very inefficientand time consuming. Hence, test automation methodologies in runtime is demanding. In this paper, weintroduce a software testing system that translates a real-time software into a monitorable real-time software. The monitorable real-time software means the software provides the monitoring information in runtime. Themonitoring target are time constraints of the input real-time software. We anticipate that our system lessensthe burden of runtime software testing.
Abstract
Real-time embedded systems have become pervasive in general industry. They also began to be applied in suchdomains as avionics, automotive, aerospace, healthcare, and industrial Internet. However, the system failure ofsuch domains could result in catastrophic consequences. Runtime software testing is required in such domainsthat demands very high accuracy. Traditional runtime software testing based on handwork is very inefficientand time consuming. Hence, test automation methodologies in runtime is demanding. In this paper, weintroduce a software testing system that translates a real-time software into a monitorable real-time software. The monitorable real-time software means the software provides the monitoring information in runtime. Themonitoring target are time constraints of the input real-time software. We anticipate that our system lessensthe burden of runtime software testing.
참고문헌 (17)
- Mohamed Belaoued, "A Chi-Square-Based Decision for Real-Time Malware Detection Using PE-File Features", JIPS(Journal of Information Processing Systems), 12(4), pp.644~660 (2016), 한국정보처리학회
- Sangeeta Sabharwal, "Test Set Generation for Pairwise Testing Using Genetic Algorithms", JIPS(Journal of Information Processing Systems), 13(5), pp.1089~1102 (2017), 한국정보처리학회[DOI]
- "ARMv7-M Architecture Reference Manual"[URL]
- D. Xu, "Application and Theory of Petri Nets", pp.308~317 (2011), Springer
- M. Conrad, "Testing-based translation validation of generated code in the context of IEC 61508", Formal Methods in System Design, 35(3), pp.389~401 (2009)
- "An introduction to test-driven code generation"[URL]
- N. Hasabnis, "Checking correctness of code generator architecture specifications", Proceedings of 2015 IEEE, 2015, 167~178
- "Tool Interface Standard (TIS) Executable and Linking Format (ELF) Specification version 1.2" (1995)[URL]
- "Shellcode"[URL]
- J. C. Foster, "Sockets, Shellcode, Porting, and Coding: Reverse Engineering Exploits and Tool Coding for Security Professionals" (2005), Syngress Publishing
- "Trampoline"[URL]
- H. G. Baker, "CONS should not CONS its arguments, Part II: Cheney on the MTA", ACM SIGPLAN Notices, 30(9), pp.17~20 (1995)
- C. DiBona, "Open sources: Voices from the Open Source Revolution" (1999), O'Reilly Media Inc
- Mohammad M. Tajwar, "CPU Scheduling with a Round Robin Algorithm Based on an Effective Time Slice", JIPS(Journal of Information Processing Systems), 13(4), pp.941~950 (2017), 한국정보처리학회[DOI]
- R. P. Weicker, "Dhrystone : a synthetic systems programming benchmark", Communications of the ACM, 27(10), pp.1013~1030 (1984)
- H. J. Curnow, "A synthetic benchmark", The Computer Journal, 19(1), pp.43~49 (1976)
- M. R. Guthaus, "MiBench: a free, commercially representative embedded benchmark suite", Proceedings of the 4th Annual IEEE International Workshop on Workload Characterization (Cat. No. 01EX538), pp.3~14 (2001)