Báo cáo tài liệu vi phạm
Giới thiệu
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
THỊ TRƯỜNG NGÀNH HÀNG
NÔNG NGHIỆP, THỰC PHẨM
Gạo
Rau hoa quả
Nông sản khác
Sữa và sản phẩm
Thịt và sản phẩm
Dầu thực vật
Thủy sản
Thức ăn chăn nuôi, vật tư nông nghiệp
CÔNG NGHIỆP
Dệt may
Dược phẩm, Thiết bị y tế
Máy móc, thiết bị, phụ tùng
Nhựa - Hóa chất
Phân bón
Sản phẩm gỗ, Hàng thủ công mỹ nghệ
Sắt, thép
Ô tô và linh kiện
Xăng dầu
DỊCH VỤ
Logistics
Tài chính-Ngân hàng
NGHIÊN CỨU THỊ TRƯỜNG
Hoa Kỳ
Nhật Bản
Trung Quốc
Hàn Quốc
Châu Âu
ASEAN
BẢN TIN
Bản tin Thị trường hàng ngày
Bản tin Thị trường và dự báo tháng
Bản tin Thị trường giá cả vật tư
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
NGÀNH HÀNG
NÔNG NGHIỆP, THỰC PHẨM
Gạo
Rau hoa quả
Nông sản khác
Sữa và sản phẩm
Thịt và sản phẩm
Dầu thực vật
Thủy sản
Thức ăn chăn nuôi, vật tư nông nghiệp
CÔNG NGHIỆP
Dệt may
Dược phẩm, Thiết bị y tế
Máy móc, thiết bị, phụ tùng
Nhựa - Hóa chất
Phân bón
Sản phẩm gỗ, Hàng thủ công mỹ nghệ
Sắt, thép
Ô tô và linh kiện
Xăng dầu
DỊCH VỤ
Logistics
Tài chính-Ngân hàng
NGHIÊN CỨU THỊ TRƯỜNG
Hoa Kỳ
Nhật Bản
Trung Quốc
Hàn Quốc
Châu Âu
ASEAN
BẢN TIN
Bản tin Thị trường hàng ngày
Bản tin Thị trường và dự báo tháng
Bản tin Thị trường giá cả vật tư
Thông tin
Tài liệu Xanh là gì
Điều khoản sử dụng
Chính sách bảo mật
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"
Đang chuẩn bị liên kết để tải về tài liệu:
Báo cáo hóa học: " Research Article Towards Preserving Model Coverage and Structural Code Coverage"
Khả Ái
56
16
pdf
Không đóng trình duyệt đến khi xuất hiện nút TẢI XUỐNG
Tải xuống
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 10.1155 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@vmars.tuwien.ac.at 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
TÀI LIỆU LIÊN QUAN
báo cáo hóa học:" Research Article Towards Automation 2.0: A Neurocognitive Model for Environment Recognition, Decision-Making, and Action Execution"
Báo cáo hóa học: "Research Article Towards a Performance Boundary in Calibrating Indoor Ray Tracing Models"
Báo cáo hóa học: " Research Article Towards Systems Biology of Heterosis: A Hypothesis about Molecular Network Structure "
Báo cáo hóa học: " Research Article Towards an Intelligent Acoustic Front End for Automatic Speech Recognition: Built-in Speaker "
Báo cáo hóa học: "Research Article A Modified Run-Length Coding towards the Realization of a RRO-NRDPWT-Based ECG Data Compression System"
Báo cáo hóa học: " Research Article Towards a Collision-Free WLAN: Dynamic Parameter Adjustment in CSMA/E2CA"
Báo cáo hóa học: " Research Article Towards Preserving Model Coverage and Structural Code Coverage"
Báo cáo hóa học: " Research Article Combining Evidence, Specificity, and Proximity towards the Normalization of Gene Ontology Terms in Text"
Báo cáo hóa học: " Research Article On the Way towards Fourth-Generation Mobile: 3GPP LTE and LTE-Advanced"
Báo cáo hóa học: " Research Article Towards Scalable MAC Design for High-Speed Wireless LANs"
Đã 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.