1 / 6

Корныхин Евгений МГУ

ТЕСЛА - система генерации тестовых данных для системного функционального тестирования микропроцессоров. Корныхин Евгений МГУ. Тестовый шаблон. Тестовая программа. тестирование. ТЕСЛА. Тестовый шаблон :. MOV y, XXX SD XXX.

una
Download Presentation

Корныхин Евгений МГУ

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. ТЕСЛА - система генерации тестовых данных для системного функционального тестирования микропроцессоров Корныхин Евгений МГУ

  2. Тестовыйшаблон Тестоваяпрограмма тестирование ТЕСЛА

  3. Тестовый шаблон : MOV y, XXX SD XXX ADD x, y, z @ z ≥ 0LD u, x, z @ cacheHitDIV y, u, x @ divBy0 3 1 2

  4. REGISTER rt, rs, rd, ru: 32;…ADD rt, rs, rd @ overflowLD ru, rt, c @ normal(cacheMiss) тестовыйшаблон overflow.tsl normal.tsl VAR x,y,z: 32;t  y[31]||y + z[31]||z;ASSERT t[32] != t[31]; VAR x: 32;…addr  y + z;x  Load(addr); описания тестовых ситуаций

  5. Найденные ошибки (MIPS64) div r1, r2 mthi r3 mfhi r4 hi := r1/r2 hi := r3 r4 := hi (r4 = r3) add r1,r2, r3@overfsub r4, r1, r5 r1 := r1r4 := r1-r5

  6. http://tesla-project.googlecode.com kornevgen@gmail.com

More Related