Kinh doanh - Marketing
Kinh tế quản lý
Biểu mẫu - Văn bản
Tài chính - Ngân hàng
Công nghệ thông tin
Tiếng anh ngoại ngữ
Kĩ thuật công nghệ
Khoa học tự nhiên
Khoa học xã hội
Văn hóa nghệ thuật
Sức khỏe - Y tế
Văn bản luật
Nông Lâm Ngư
Kỹ năng mềm
Luận văn - Báo cáo
Giải trí - Thư giãn
Tài liệu phổ thông
Văn mẫu
Giới thiệu
Đăng ký
Đăng nhập
Tìm
Danh mục
Kinh doanh - Marketing
Kinh tế quản lý
Biểu mẫu - Văn bản
Tài chính - Ngân hàng
Công nghệ thông tin
Tiếng anh ngoại ngữ
Kĩ thuật công nghệ
Khoa học tự nhiên
Khoa học xã hội
Văn hóa nghệ thuật
Y tế sức khỏe
Văn bản luật
Nông lâm ngư
Kĩ năng mềm
Luận văn - Báo cáo
Giải trí - Thư giãn
Tài liệu phổ thông
Văn mẫu
Thông tin
Điều khoản sử dụng
Quy định bảo mật
Quy chế hoạt động
Chính sách bản quyền
Giới thiệu
Đăng ký
Đăng nhập
0
Trang chủ
Luận Văn - Báo Cáo
Báo cáo khoa học
Báo cáo hóa học: " Research Article Towards Preserving Model Coverage and Structural Code Coverage"
tailieunhanh - Báo cáo hóa học: " Research Article Towards Preserving Model Coverage and Structural Code Coverage"
Tuyển tập báo cáo các nghiên cứu khoa học quốc tế ngành hóa học dành cho các bạn yêu hóa học tham khảo đề tài: Research Article Towards Preserving Model Coverage and Structural Code Coverage | Hindawi Publishing Corporation EURASIP Journal on Embedded Systems Volume 2009 Article ID 127945 16 pages doi 2009 127945 Research Article Towards Preserving Model Coverage and Structural Code Coverage Raimund Kirner Institutfur Technische Informatik Technische Universitat Wien Treitlstrafie 3 182 1 A-1040 Wien Austria Correspondence should be addressed to Raimund Kirner raimund@ Received 12 August 2008 Revised 20 January 2009 Accepted 21 February 2009 Recommended by Bernhard Rinner Embedded systems are often used in safety-critical environments. Thus thorough testing of them is mandatory. To achieve a required structural code-coverage criteria it is beneficial to derive the test data at a higher program-representation level than machine code. Higher program-representation levels include beside the source-code level languages of domain-specific modeling environments with automatic code generation. For a testing framework with automatic generation of test data this will enable high retargetability of the framework. In this article we address the challenge of ensuring that the structural code coverage achieved at a higher program representation level is preserved during the code generations and code transformations down to machine code. We define the formal properties that have to be fullfilled by a code transformation to guarantee preservation of structural code coverage. Based on these properties we discuss how to preserve code coverage achieved at source-code level. Additionally we discuss how structural code coverage at model level could be preserved. The results presented in this article are aimed toward the integration of support for preserving structural code coverage into compilers and code generators. Copyright 2009 Raimund Kirner. This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use distribution and reproduction in any medium provided the original work is properly
Hạnh Nga
40
16
pdf
Báo lỗi
Trùng lắp nội dung
Văn hóa đồi trụy
Phản động
Bản quyền
File lỗi
Khác
Upload
Tải xuống
đang nạp các trang xem trước
Bấm vào đây để xem trước nội dung
Tải xuống
TÀI LIỆU LIÊN QUAN
Báo cáo khoa học: " Áp dụng thủ tục phân tích trong kiểm toán báo cáo tài chính"
8
258
1
Báo cáo nghiên cứu khoa học: "Người lính trở về sau chiến tranh với mặc cảm “ăn mày dĩ vãng’ trong tiểu thuyết Chu Lai"
8
302
1
Báo cáo nghiên cứu khoa học: "Khảo sát hiện tượng chuyển đổi chức năng - nghĩa của động từ tiếng Việt"
8
235
0
Báo cáo nghiên cứu khoa học: "Tính năng động nghệ thuật của văn học hiện đại Việt Nam và một cách nhìn hành trình thể loại"
10
208
0
Báo cáo nghiên cứu khoa học: " Dẫn liệu cập nhật về thành phần loài cây họ đậu (Fabaceae) tại Vườn Quốc gia Bạch Mã - Thừa Thiên Huế "
6
206
1
Báo cáo nghiên cứu khoa học: "Một số kết quả của việc bổ sung bột sắn vào khẩu phần ăn và khả năng tiêu hóa thức ăn, hiệu quả chăn nuôi ở bò Laisind"
8
238
0
Báo cáo nghiên cứu khoa học: "Nghiên cứu mật độ và thành phần thức ăn của một số loài ếch nhái trên đồng ruộng Sầm Sơn - Thanh Hoá"
6
210
0
Báo cáo nghiên cứu khoa học: "Một số phép toán trên hệ biểu diễn tri thức dựa theo triết lý tập thô.."
7
212
0
Báo cáo nghiên cứu khoa học: " Liên hệ giữa không gian metric mờ với không gian Menger và không gian metric xác suất"
10
211
0
Báo cáo nghiên cứu khoa học: " BẢN CHẤT KHOA HỌC VÀ CÁCH MẠNG LÀ CỘI NGUỒN SỨC SỐNG CỦA CHỦ NGHĨA MÁC - LÊNIN"
5
301
2
TÀI LIỆU XEM NHIỀU
Một Case Về Hematology (1)
8
461942
55
Giới thiệu :Lập trình mã nguồn mở
14
23123
64
Tiểu luận: Tư tưởng Hồ Chí Minh về xây dựng nhà nước trong sạch vững mạnh
13
10987
531
Câu hỏi và đáp án bài tập tình huống Quản trị học
14
10183
451
Phân tích và làm rõ ý kiến sau: “Bài thơ Tự tình II vừa nói lên bi kịch duyên phận vừa cho thấy khát vọng sống, khát vọng hạnh phúc của Hồ Xuân Hương”
3
9572
106
Ebook Facts and Figures – Basic reading practice: Phần 1 – Đặng Tuấn Anh (Dịch)
249
8385
1132
Tiểu luận: Nội dung tư tưởng Hồ Chí Minh về đạo đức
16
8278
423
Mẫu đơn thông tin ứng viên ngân hàng VIB
8
7895
2234
Đề tài: Dự án kinh doanh thời trang quần áo nữ
17
6836
256
Giáo trình Tư tưởng Hồ Chí Minh - Mạch Quang Thắng (Dành cho bậc ĐH - Không chuyên ngành Lý luận chính trị)
152
6123
1484
TỪ KHÓA LIÊN QUAN
Báo cáo khoa học
báo cáo khoa học
báo cáo hóa học
công trình nghiên cứu về hóa học
tài liệu về hóa học
cách trình bày báo cáo
trình bày báo cáo
tài liệu báo cáo khoa học
cách trình bày báo cáo khoa học
báo cáo khoa học sinh học
báo cáo khoa học toán học
luận văn mẫu
người lính việt nam
sau chiến tranh
tuyển tập báo cáo khoa học
báo cáo ngành triết học
báo cáo ngành lịch sử
báo cáo ngành văn học
nghiên cứu khoa học
báo cáo về văn học
báo cáo triết học
báo cáo văn học
chuyên đề văn học
văn học nghệ thuật
văn học Việt NAm
báo cáo ngành toán học
báo cáo ngành vật lý
báo cáo ngành chăn nuôi
văn học Trung Hoa
báo cáo khoa học kinh tế
Kỷ yếu tóm tắt báo cáo khoa học
Báo cáo khoa học y học
Báo cáo y học
Hội nghị khoa học tim mạch
Báo cáo khoa học y khoa
Tăng huyết áp
báo cáo sinh học
bảo tồn nguồn gen
báo cáo ngành kỹ thuật
Báo cáo quản lý chất thải sinh hoạt
Báo cáo khoa học môi trường
Báo cáo khoa học công nghệ
Nghiên cứu khoa học về môi trường
Đề tài nghiên cứu khoa học
Báo cáo nghiên cứu khoa học
TÀI LIỆU MỚI ĐĂNG
Giáo án mầm non chương trình đổi mới: Đề tài: Ôn xác định vị trí trên – dưới, trước- sau của đối tượng khác.
8
373
3
21-05-2024
Đánh giá hao mòn và độ tin cậy của chi tiết và kết cấu trên đầu máy diezel part 3
12
324
0
21-05-2024
Đóng mới oto 8 chỗ ngồi part 9
10
127
0
21-05-2024
Giáo trình CẤU TRÚC DỮ LIỆU VÀ GIẢI THUẬT - Chương 1
5
141
0
21-05-2024
Báo cáo tốt nghiệp: Vận hành và bảo dưỡng trong MPLS
92
152
3
21-05-2024
Diseases of the Liver and Biliary System - part 1
33
139
0
21-05-2024
Data Structures and Algorithms - Chapter 9: Hashing
54
121
0
21-05-2024
MẪU GIẤY PHÉP VẬN TẢI LOẠI C
2
118
0
21-05-2024
Báo cáo nghiên cứu nông nghiệp " Biofertiliser inoculant technology for the growth of rice in Vietnam: Developing technical infrastructure for quality assurance and village production for farmers "
12
97
0
21-05-2024
Norton ghost : Chương trình sao chép ổ cứng part 9
8
111
0
21-05-2024
TÀI LIỆU HOT
Mẫu đơn thông tin ứng viên ngân hàng VIB
8
7895
2234
Giáo trình Tư tưởng Hồ Chí Minh - Mạch Quang Thắng (Dành cho bậc ĐH - Không chuyên ngành Lý luận chính trị)
152
6123
1484
Ebook Chào con ba mẹ đã sẵn sàng
112
3788
1255
Ebook Tuyển tập đề bài và bài văn nghị luận xã hội: Phần 1
62
5413
1138
Ebook Facts and Figures – Basic reading practice: Phần 1 – Đặng Tuấn Anh (Dịch)
249
8385
1132
Giáo trình Văn hóa kinh doanh - PGS.TS. Dương Thị Liễu
561
3552
656
Giáo trình Sinh lí học trẻ em: Phần 1 - TS Lê Thanh Vân
122
3757
544
Tiểu luận: Tư tưởng Hồ Chí Minh về xây dựng nhà nước trong sạch vững mạnh
13
10987
531
Giáo trình Pháp luật đại cương: Phần 1 - NXB ĐH Sư Phạm
274
4170
523
Bài tập nhóm quản lý dự án: Dự án xây dựng quán cafe
35
4191
483
crossorigin="anonymous">
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.