Presentation is loading. Please wait.

Presentation is loading. Please wait.

Continuous verification for hardware/software multimedia systems Philippe Faes.

Similar presentations


Presentation on theme: "Continuous verification for hardware/software multimedia systems Philippe Faes."— Presentation transcript:

1 Continuous verification for hardware/software multimedia systems Philippe Faes

2 pag. 2Hardware Regression Verification – Philippe Faes – Faculteit Ingenieurswetenschappen – Vakgroep Elektronica en Informatiesystemen Designing once becomes iterative design requirements design implementation verification requirements design implementation verification

3 pag. 3Hardware Regression Verification – Philippe Faes – Faculteit Ingenieurswetenschappen – Vakgroep Elektronica en Informatiesystemen Iterative design requires more verification working system +small change in feature X = broken feature Y

4 pag. 4Hardware Regression Verification – Philippe Faes – Faculteit Ingenieurswetenschappen – Vakgroep Elektronica en Informatiesystemen Regression verification (RV) ensures progress-only projects progression regression (painful)

5 pag. 5Hardware Regression Verification – Philippe Faes – Faculteit Ingenieurswetenschappen – Vakgroep Elektronica en Informatiesystemen RV provides a “contract” never break regression verification: tomorrow ≥ than today working code is never broken never discover bugs twice

6 pag. 6Hardware Regression Verification – Philippe Faes – Faculteit Ingenieurswetenschappen – Vakgroep Elektronica en Informatiesystemen RTs reduce fear fearboredom... dixit Fowler

7 pag. 7Hardware Regression Verification – Philippe Faes – Faculteit Ingenieurswetenschappen – Vakgroep Elektronica en Informatiesystemen Requirements for good RV limited scope fast traceable reproducible

8 pag. 8Hardware Regression Verification – Philippe Faes – Faculteit Ingenieurswetenschappen – Vakgroep Elektronica en Informatiesystemen Good RTs are reproducible uncontrolled environment systemtest results controlled input X

9 pag. 9Hardware Regression Verification – Philippe Faes – Faculteit Ingenieurswetenschappen – Vakgroep Elektronica en Informatiesystemen Good RTs are reproducible uncontrolled environment systemtest results controlled input X

10 pag. 10Hardware Regression Verification – Philippe Faes – Faculteit Ingenieurswetenschappen – Vakgroep Elektronica en Informatiesystemen Regression verification needs to be automated

11 pag. 11Hardware Regression Verification – Philippe Faes – Faculteit Ingenieurswetenschappen – Vakgroep Elektronica en Informatiesystemen Easy testing requires design for testability unit x unit ytest harness unit under test

12 pag. 12Hardware Regression Verification – Philippe Faes – Faculteit Ingenieurswetenschappen – Vakgroep Elektronica en Informatiesystemen Functionality and data should be split test data test harness unit under test

13 pag. 13Hardware Regression Verification – Philippe Faes – Faculteit Ingenieurswetenschappen – Vakgroep Elektronica en Informatiesystemen Functionality and data should be split test data unit under test harness

14 pag. 14Hardware Regression Verification – Philippe Faes – Faculteit Ingenieurswetenschappen – Vakgroep Elektronica en Informatiesystemen software MMIO library is standard interface between SW and HW hardware

15 pag. 15Hardware Regression Verification – Philippe Faes – Faculteit Ingenieurswetenschappen – Vakgroep Elektronica en Informatiesystemen software MMIO library provides transparent access simulated hardware real hardware log files

16 pag. 16Hardware Regression Verification – Philippe Faes – Faculteit Ingenieurswetenschappen – Vakgroep Elektronica en Informatiesystemen Transaction can be logged and replayed w f w f w f p r f read write poll busaddressdata byte enable

17 pag. 17Hardware Regression Verification – Philippe Faes – Faculteit Ingenieurswetenschappen – Vakgroep Elektronica en Informatiesystemen Example: verification of video decoder EDIDWTMCAS Software

18 pag. 18Hardware Regression Verification – Philippe Faes – Faculteit Ingenieurswetenschappen – Vakgroep Elektronica en Informatiesystemen EDIDWTMCAS Software Verify hardware components one by one IDWT Software logger

19 pag. 19Hardware Regression Verification – Philippe Faes – Faculteit Ingenieurswetenschappen – Vakgroep Elektronica en Informatiesystemen Verify hardware components without software IDWT log replayer

20 pag. 20Hardware Regression Verification – Philippe Faes – Faculteit Ingenieurswetenschappen – Vakgroep Elektronica en Informatiesystemen Regression test server does the hard work for you build the system run tests regularly notify stakeholders log failures

21 pag. 21Hardware Regression Verification – Philippe Faes – Faculteit Ingenieurswetenschappen – Vakgroep Elektronica en Informatiesystemen Regression verification in iterative hardware design regression defects are painful good RV catches regression defects RV can be automated

22 pag. 22Hardware Regression Verification – Philippe Faes – Faculteit Ingenieurswetenschappen – Vakgroep Elektronica en Informatiesystemen

23 pag. 23Hardware Regression Verification – Philippe Faes – Faculteit Ingenieurswetenschappen – Vakgroep Elektronica en Informatiesystemen


Download ppt "Continuous verification for hardware/software multimedia systems Philippe Faes."

Similar presentations


Ads by Google