저자의 연구 키워드

저자의 연구 키워드

#구조적 테스팅

#내장형 소프트웨어 설계

#모델 기반 테스팅

#모델 체킹

#모델검증

#모델기반 개발 방법론

#모델체킹

#모바일 디바이스

#뮤테이션 분석

#뮤테이션 연산자

#반례분석

#소프트웨어 테스팅

#시간 제약성

#시험 데이터 평가

#실시간 내장형 소프트웨어

#실시간 소프트웨어

#실시간 시스템

#실시간 시스템 테스팅

#유도조종장치

#전력 소모 모델 생성

#전력 소모 분석

#정형검증

#코드 생성

#타임드 오토마타

#타임드 오토마타 모델

#테스트 자동화

#테스팅 기법 분석

#프로그래머블 로직 컨트롤러

#프로그래머블 로직 콘트롤러

#함수 블록 다이어그램

#automated testing

#battery consumption analysis

#battery consumption model

#code generation

#Counterexample Analysis

#embedded software design

#Formal Verification

#Function Block Diagram

#guidance and control unit (GCU)

#mobile device

#model checking

#model-based testing

#model-driven development

#mutation analysis

#mutation operator

#PLC

#PLC (Programmable Logic Controller)

#PLC 시뮬레이터

#PLC 실행 제어

#PLC 테스팅

#PLC execution control method

#PLC simulator

#PLC testing

#Programmable Logic Controller

#real-time embedded software

#real-time software

#real-time system

#real-time system testing

#Software Testing

#StructuralTesting

#test data evaluation

#testing approaches analysis

#timed automata

#timed-automata

#timing constraints