Microcontrolador 8051 Timer

Plano de Verificao
Projeto Fenix

BRAZIL IP

Verso 1.3 | 30/04/2004 Responsveis: Diogo Alves, Joo Bione {djca, jfbs@cin.ufpe.br}

Histrico de Alteraes
Data Verso Descrio Autor

01/03/2004 08/03/2004 18/03/2004

1.0 1.1 1.2

24/04/2004

1.3

Verso inicial do documento. Foram redefinidas as transaes de sada, detalhados casos de teste compliance Alguns Corner Case foram transferidos para sesso compliance. Corner cases foram estendidos. Os Casos Randomicos foram refeitos de maneira a incorporar complexidade no teste progressivamente. Reprimidos os casos de teste CL_08 e CL_16, por descreverem um contexto j testado em outros casos. A numerao foi refeita. Adicionado Random case 6

djca, jfbs djca, jfbs djca, jfbs

djca

Lista de Aprovadores
Nome Cargo

Edna Barros

Coordenao Geral do Projeto Fnix

<Nome do Projeto>

Confidencial

92298914.doc.doc

Pg 2/13

Contedo
1. Formato das Transaes............................................................................................................. 4

T0_modo :: Int .................................................................................................................4 overflow :: bool................................................................................................................4

2. Casos de Teste.............................................................................................................................. 5 Compliance Cases...................................................................................................................... 5 Corner Cases.............................................................................................................................. 9 Random..................................................................................................................................... 11 3. Critrios de Cobertura Funcional............................................................................................. 13

<Nome do Projeto>

Confidencial

92298914.doc.doc

Pg 3/13

1. Formato das Transaes

Entrada
T0_modo :: Int T0_valorInicial :: Int T0_rodar :: bool T0_fonteClock :: Int Define o modo de operao do Timer 0{0,1,2,3} Valor depende do modo de operao Define o TR0 Define qual ser a fonte de clock do Timer 0: 1. clock 2. fonte externa(t0) 3. clock modulado com t0 Usado quando a fonte de clock esta no modo 2 ou 3. Especifica o perodo de oscilao do t0 em relao ao clock, como um PWM. Define o modo de operao do Timer 1{0,1,2,3} Valor depende do modo de operao Define o TR1 Define qual ser a fonte de clock do Timer 1: 1. clock 2. fonte externa(t1) 3. clock modulado com t1 Usado quando a fonte de clock esta no modo 2 ou 3. Especifica o perodo de oscilao do t1 em relao ao clock, como um PWM. Nmero de clocks que transao ir rodar

T0_modulacaoT0 :: Int T1_modo :: Int T1_valorInicial :: Int T1_rodar :: bool T1_fonteClock :: Int

T1_modulacaoT1 :: Int Clocks :: Int

Sada do Timer 0
overflow :: bool value :: Int Overflow no Timer 0 Determina o valor do contador do Timer 0

Sada do Timer 1
overflow :: bool value:: Int Overflow no Timer 1 Determina o valor do contador do Timer 1

<Nome do Projeto>

Confidencial

92298914.doc.doc

Pg 4/13

2. Casos de Teste
Compliance Cases
CL (compliance) Linha Entradas Sadas

Timer 0 e Timer 1 Rodar = 1 Modo = 0 Entrada do Clock = 1 Clocks = 8191 Valor Inicial = 100

Uma transao de sada de cada monitor deve ser gerada Overflow = 1 Value = 0xff1f

Timer 0 e Timer 1 Rodar = 1 Modo = 1 Entrada do Clock = 1 Clocks = 65535 Valor Inicial = 100

Uma transao de sada de cada monitor deve ser gerada Overflow = 1 Value = 0xffff

Timer 0 e Timer 1 Rodar = 1 Modo = 2 Entrada do Clock = 1 Clocks = 255 Valor Inicial = 100

Uma transao de sada de cada monitor deve ser gerada Overflow = 1 Value = 0x64ff

Timer 0 e Timer 1 Rodar = 1 Modo = 3 Entrada do Clock = 1 Clocks = 255 Valor Inicial = 25700 (0x6464)

O monitor do timer 0 dever gerar uma transao com: Overflow = 1 Value = 0xff

Timer 0 e Timer 1 Rodar = 1 Modo = 0 Entrada do Clock = 2 (nesse caso o clock

Uma transao de sada de cada monitor deve ser gerada Overflow = 1 Value = 0xff1f

<Nome do Projeto>

Confidencial

92298914.doc.doc

Pg 5/13

deve ser fornecido por meio da INT0 e INT1) Variar os seguintes parmetros: Clocks = 8191 Valor Inicial = 100

Timer 0 e Timer 1 Rodar = 1 Modo = 1 Entrada do Clock = 2 (nesse caso o clock deve ser fornecido por meio da INT0 e INT1) Variar os seguintes parmetros: Clocks = 65535 Valor Inicial = 100

Uma transao de sada de cada monitor deve ser gerada Overflow = 1 Value = 0xffff

Timer 0 e Timer 1 Rodar = 1 Modo = 2 Entrada do Clock = 2 (nesse caso o clock deve ser fornecido por meio da INT0 e INT1) Variar os seguintes parmetros: Clocks = 255 Valor Inicial = 100

Uma transao de sada de cada monitor deve ser gerada Overflow = 1 Value = 0x64ff

Timer 0 e Timer 1 Rodar = 1 Modo = 0 Modulao = 2 Entrada do Clock = 3 (nesse caso o clock deve ser fornecido pela entrada externa de clock modulado por meio da INT0 e INT1) Variar os seguintes parmetros: Clocks = (8191 * 2) = 16382 Valor Inicial = 100

Uma transao de sada de cada monitor deve ser gerada Overflow = 1 Value = 0xff1f

Timer 0 e Timer 1 Rodar = 1 Modo = 1 Modulao = 2 Entrada do Clock = 3 (nesse caso o clock

Uma transao de sada de cada monitor deve ser gerada Overflow = 1 Value = 0xffff

<Nome do Projeto>

Confidencial

92298914.doc.doc

Pg 6/13

deve ser fornecido pela entrada externa de clock modulado por meio da INT0 e INT1) Clocks = ( 65535 * 2 ) = 131070 Valor Inicial = 100

10

Timer 0 e Timer 1 Rodar = 1 Modo = 2 Modulao = 2 Entrada do Clock = 3 (nesse caso o clock deve ser fornecido pela entrada externa de clock modulado por meio da INT0 e INT1)Clocks = ( 255 * 2 ) = 510 Valor Inicial = 100

Uma transao de sada de cada monitor deve ser gerada Overflow = 1 Value = 0x64ff

11

Timer 0 e Timer 1 Rodar = 1 Modo = 3 Modulao = 2 Entrada do Clock = 3 (nesse caso o clock deve ser fornecido pela entrada externa de clock modulado por meio da INT0 e INT1) Clocks = ( 255 * 2 ) = 510 Valor Inicial = 100

Uma transao de sada de cada monitor deve ser gerada Overflow = 1 Value = 0xff

12

Timer 0 e Timer 1 Rodar = 1 Modo = 0 Modulao = 2 Entrada do Clock = 4 (nesse caso o clock deve ser fornecido pelo clocl modulado por meio da INT0 e INT1) Variar os seguintes parmetros: Clocks = (8191 * 2) = 16382 Valor Inicial = 100

O monitor do timer 0 dever gerar uma transao com: Overflow = 1 Value = 0xff1f

13

Timer 0 e Timer 1 Rodar = 1 Modo = 1

Uma transao de sada de cada monitor deve ser gerada Overflow = 1 Value = 0xffff

<Nome do Projeto>

Confidencial

92298914.doc.doc

Pg 7/13

Modulao = 2 Entrada do Clock = 4 (nesse caso o clock deve ser fornecido pelo clocl modulado por meio da INT0 e INT1) Clocks = ( 65535 * 2 ) = 131070 Valor Inicial = 100

14

Timer 0 e Timer 1 Rodar = 1 Modo = 2 Modulao = 2 Entrada do Clock = 4 (nesse caso o clock deve ser fornecido pelo clocl modulado por meio da INT0 e INT1) Clocks = ( 255 * 2 ) = 510 Valor Inicial = 100

Uma transao de sada de cada monitor deve ser gerada Overflow = 1 Value = 0x64ff

<Nome do Projeto>

Confidencial

92298914.doc.doc

Pg 8/13

Corner Cases
CO (corner) Linha Entradas Sadas

1 valor extremo inferior

Timer 0 e Timer 1 Rodar = 1 Modo = 0 Entrada do Clock = 1 Clocks = 8192 Valor Inicial = 0

Uma transao de sada de cada monitor deve ser gerada Overflow = 1 Value = 0xff1f

2 valor extremo inferior

Timer 0 e Timer 1 Rodar = 1 Modo = 1 Entrada do Clock = 1 Clocks = 65536 Valor Inicial = 0

Uma transao de sada de cada monitor deve ser gerada Overflow = 1 Value = 0xffff

3 valor extremo inferior

Timer 0 e Timer 1 Rodar = 1 Modo = 2 Entrada do Clock = 1 Clocks = 256 Valor Inicial = 0

Uma transao de sada de cada monitor deve ser gerada Overflow = 1 Value = 0x64ff

4 valor extremo inferior

Timer 0 e Timer 1 Rodar = 1 Modo = 3 Entrada do Clock = 1 Clocks = 256 Valor Inicial = 0

O monitor do timer 0 dever gerar uma transao com: Overflow = 1 Value = 0xff

5 valor extremo superior

Timer 0 e Timer 1 Rodar = 1 Modo = 0 Entrada do Clock = 1 Clocks = 1 Valor Inicial = 8191

Uma transao de sada de cada monitor deve ser gerada Overflow = 1 Value = 0xff1f

<Nome do Projeto>

Confidencial

92298914.doc.doc

Pg 9/13

6 - valor extremo superior

Timer 0 e Timer 1 Rodar = 1 Modo = 1 Entrada do Clock = 1 Clocks = 1 Valor Inicial = 65535

Uma transao de sada de cada monitor deve ser gerada Overflow = 1 Value = 0xffff

7 valor extremo superior

Timer 0 e Timer 1 Rodar = 1 Modo = 2 Entrada do Clock = 1 Clocks = 1 Valor Inicial = 255

Uma transao de sada de cada monitor deve ser gerada Overflow = 1 Value = 0x64ff

8 valor extremo superior

Timer 0 e Timer 1 Rodar = 1 Modo = 3 Entrada do Clock = 1 Clocks = 1 Valor Inicial = 255

O monitor do timer 0 dever gerar uma transao com: Overflow = 1 Value = 0xff

<Nome do Projeto>

Confidencial

92298914.doc.doc

Pg 10/13

Random

<Nome do Projeto>

Confidencial

92298914.doc.doc

Pg 11/13

Random Linha Entradas Sadas

Rodar = 1 Valor inicial = 0 Entrada do Clock = 1 Clocks = 120000 Modulao = 1 Variar os seguintes parmetros: Modo = 0 2

Rodar = 1 Entrada do Clock = 1 Modulao = 1 Variar os seguintes parmetros: Modo = 0 2 0 <= Clocks <= 200000 0 <= Valor inicial <= 65535

Rodar = 1 Modulao = 1 Variar os seguintes parmetros: Entrada do Clock = 1 | 2 Modo = 0 2 0 <= Clocks <= 200000 0 <= Valor inicial <= 65535

Rodar = 1 Modulao = 2 Variar os seguintes parmetros: Entrada do Clock = 1 - 4 Modo = 0 2 0 <= Clocks <= 200000 0 <= Valor inicial <= 65535

Rodar = 1 Variar os seguintes parmetros: Entrada do Clock = 1 - 4 Modo = 0 2 10 >= Modulao >= 2 0 <= Clocks <= 200000
Confidencial 92298914.doc.doc Pg 12/13

<Nome do Projeto>

0 <= Valor inicial <= 65535

Random Linha Entradas Sadas

Rodar = 1 Modulao = 2 Modo = 3 Entrada do Clock = 1 Variar os seguintes parmetros: 0 <= Clocks <= 200000 0 <= Valor inicial <= 65535

3. Critrios de Cobertura Funcional

10 overflows de cada timer nos Compliance cases 10 overflows de cada timer nos Corner cases 10.000 overflows de cada timer nos Random cases

<Nome do Projeto>

Confidencial

92298914.doc.doc

Pg 13/13