책 이미지
eBook 미리보기
책 정보
· 제목 : Embedded Software System Testing : Automatic Testing Solution Based on Formal Method (Paperback)
· 분류 : 외국도서 > 컴퓨터 > 정보통신기술(IT)
· ISBN : 9781032488196
· 쪽수 : 329쪽
· 출판일 : 2025-06-27
· 분류 : 외국도서 > 컴퓨터 > 정보통신기술(IT)
· ISBN : 9781032488196
· 쪽수 : 329쪽
· 출판일 : 2025-06-27
목차
1. Introduction 2. Embedded System and Software 3. Embedded Software Engineering and Quality Characteristics 4. Embedded Software System Testing Techniques Based on Formal Methods 5. Real-time Embedded Software Automation Test Description Technology 6. Testing Technology of Intelligent Terminal Application Software System 7. Real-time Embedded Software System Testing Environment Construction Technology 8. Case Study of Real-time Embedded Software System Testing
