지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 저널정보
- 한국정보처리학회 JIPS(Journal of Information Processing Systems) JIPS(Journal of Information Processing Systems) 제15권 제6호
- 발행연도
- 2019.1
- 수록면
- 1,462 - 1,471 (10page)
이용수
초록· 키워드
오류제보하기
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 / 2016 / A Chi-Square-Based Decision for Real-Time Malware Detection Using PE-File Features / JIPS(Journal of Information Processing Systems) 12(4):644~660
Sangeeta Sabharwal / 2017 / Test Set Generation for Pairwise Testing Using Genetic Algorithms / JIPS(Journal of Information Processing Systems) 13(5):1089~1102
ARMv7-M Architecture Reference Manual
D. Xu / 2011 / Application and Theory of Petri Nets / Springer :308~317
M. Conrad / 2009 / Testing-based translation validation of generated code in the context of IEC 61508 / Formal Methods in System Design 35(3):389~401
Sangeeta Sabharwal / 2017 / Test Set Generation for Pairwise Testing Using Genetic Algorithms / JIPS(Journal of Information Processing Systems) 13(5):1089~1102
ARMv7-M Architecture Reference Manual
D. Xu / 2011 / Application and Theory of Petri Nets / Springer :308~317
M. Conrad / 2009 / Testing-based translation validation of generated code in the context of IEC 61508 / Formal Methods in System Design 35(3):389~401
함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
모바일 프로세서 최적화를 위한 Runtime-manager 개발
한국정보과학회 학술발표논문집
2018 .12
-
Python Runtime 버전에 따른 YOLOv8 추론 속도 비교
한국정보통신학회 종합학술대회 논문집
2024 .10
-
리눅스 기반 멀티코어 시스템에서 공정성 향상을 위한 Virtual Runtime 밸런싱 알고리즘
한국정보과학회 학술발표논문집
2016 .06
-
eBPF 기반의 runtime tracing 를 통한 클라우드-네이티브 컴퓨팅 환경의 실시간 추적의 유효성 검증
한국통신학회 학술대회논문집
2023 .06
-
병렬 프로그램 로그 군집화 기반 작업 실행 시간 예측모형 연구
산업경영시스템학회지
2015 .01
-
Designing and Implementing Core Runtime Libraries for Splash Programming Framework
제어로봇시스템학회 국내학술대회 논문집
2019 .05
-
Runtime Verification of Analog and Mixed-Signal Circuits using DEVS models
대한산업공학회 춘계공동학술대회 논문집
2016 .04
-
런타임에서 사용자 정의 함수 최적화 기법
한국정보과학회 학술발표논문집
2018 .12
-
Runtime Estimation of State-of-health for Lithium-ion Batteries Based on OCV Curve Mapping Method
제어로봇시스템학회 국내학술대회 논문집
2019 .05
-
Implementing stream processing functionalities of Splash
한국컴퓨터정보학회 학술발표논문집
2019 .01
-
런타임 무결성 검증: 실시간 응용 프로그램을 위한 경량 세니타이저 연구
대한전자공학회 학술대회
2024 .06
-
Android 런타임 변화에 따른 성능 분석
한국통신학회 학술대회논문집
2015 .01
-
모바일 스마트 장치 배터리의 남은 시간 예측에 적용 가능한 통계 기법들의 평가
한국정보통신학회논문지
2018 .02
-
컨테이너 런타임의 보안성 측정 기법
한국컴퓨터정보학회논문지
2020 .09
-
프로그래밍 실패 피드백 시스템을 위한 학습자 코드의 런타임 오류 분석
한국정보과학회 학술발표논문집
2020 .07
-
고성능 컴퓨팅을 위한 데이터 집약적인 응용의 런타임 특성 분석
한국정보과학회 학술발표논문집
2017 .06
-
웹 검색 응답속도 향상을 위한 기계학습의 활용
정보과학회지
2016 .09
-
ROS 2의 이벤트 기반 런타임 모니터링을 활용한 실시간 공격 탐지 시스템
정보보호학회논문지
2022 .12
-
모바일 프로그램의 런타임 예외에 대한 온라인 Q&A 검색 및 제안 시스템
한국정보과학회 학술발표논문집
2020 .07
-
자율형 사물인터넷 환경에서의 동적 설정 가능한 추론 게이트웨이
한국정보과학회 학술발표논문집
2023 .06
이 논문의 저자 정보
최근 본 자료
댓글(0)
0