參數(shù)資料
型號: ID78K0S-NS
英文描述: ID78K0-NS.ID78K0S-NS Ver.2.20 or later for Operation Windows(TM)Base | User's Manual[10/2000]
中文描述: ID78K0 - NS.ID78K0S - ns的Ver.2.20或更高的運行視窗(商標)基地|用戶手冊[10/2000]
文件頁數(shù): 79/109頁
文件大小: 1088K
代理商: ID78K0S-NS
Chapter 3 Advanced Use of ID78K0 3.1 Verifying the Validity of Evaluation
67
3.1.2 Verifying the Validity of Evaluation Based on Coverage
Ideally, all possible patterns of program execution should be evaluated. Due to time or other
restrictions, however, evaluation may have to be restricted by, for example, sampling and
combining several patterns. Evaluation based on sampled patterns must, however, be checked
for validity.
One method of verifying the validity of evaluation is the use of the coverage results to check
whether all instructions have been executed.
The above check can easily be performed by using the Coverage window and the memory map
in the link list file (.MAP), output upon linkage of the program.
Verification based on coverage
1.
Refer to the memory map in the link list file to identify any free spaces (* gap *) in the program.
2.
Refer to the contents of the Coverage window to check whether all memory spaces other than the
free spaces, identified in step 1, have been accessed (read, written, or fetched).
3.
If any unaccessed space is revealed by step 2, check the program and review the evaluation items.
If any free space in the program has been accessed, check that space by, for example, setting
event conditions.
Example link list file
*** Memory map ***
SPACE=REGULAR
MEMORY=ROM
BASE ADDRESS=0000H SIZE=8000H
OUTPUT
INPUT
SEGMENT SEGMENT MODULE
@@VECT00
@@VECT00 @cstart 0000H 0002H
* gap * 0002H 0012H
@@VECT14 0014H 0002H CSEG
@@VECT14 SAMPLE
* gap * 0016H 002AH
@@CALT
@@CALT @cstart 0040H 0000H
@@CALT SAMPLE 0040H 0000H
@@CALT C_SUB 0040H 0000H
* gap * 0040H 0040H
INPUT
BASE
ADDRESS
0000H
SIZE
0002H
CSEG AT
AT
0014H 0002H
0040H 0000H CSEG CALLT0
Intermediate lines omitted
@@CNST
@@CNST @cstart
@@CNST SAMPLE
@@CNST C_SUB
@@CODE
@@CODE @cstart
@@CODE SAMPLE
In this example, 0002H to 0013H, 0016H to 003FH, and 0040H to 007FH are free spaces.
0080H 0000H CSEG UNITP
0080H 0000H
0080H 0000H
0080H 0000H
0080H 02D1H CSEG
0080H 0050H
00D0H 0130H
相關PDF資料
PDF描述
ID78K3 ID78K3 Reference for PC-9801 and 9821 Series (Windows) and IBM PC/ATSeries (Windows) Ver.V1.20 | User's Manual[10/1995]
ID78K4 ID78K series Ver.2.30 or laterfor Operation(Win) | User's Manual[05/2001]
ID78K4-NS ID78K series Ver.2.30 or laterfor Operation(Win) | User's Manual[05/2001]
ID8085AB 8-Bit Microprocessor
8085A 8-Bit Microprocessor
相關代理商/技術(shù)參數(shù)
參數(shù)描述
ID8031 制造商:未知廠家 制造商全稱:未知廠家 功能描述:8-Bit Microcontroller
ID8031AHB 制造商:未知廠家 制造商全稱:未知廠家 功能描述:8-Bit Microcontroller
ID8080A 制造商:未知廠家 制造商全稱:未知廠家 功能描述:8-Bit Microprocessor
ID8080A-1 制造商:未知廠家 制造商全稱:未知廠家 功能描述:8-Bit Microprocessor
ID8080A-1B 制造商:未知廠家 制造商全稱:未知廠家 功能描述:8-Bit Microprocessor