KR20110008849A - An apparatus for estimating fault coverage of embedded systems and the method thereof - Google Patents

An apparatus for estimating fault coverage of embedded systems and the method thereof Download PDF

Info

Publication number
KR20110008849A
KR20110008849A KR1020090066390A KR20090066390A KR20110008849A KR 20110008849 A KR20110008849 A KR 20110008849A KR 1020090066390 A KR1020090066390 A KR 1020090066390A KR 20090066390 A KR20090066390 A KR 20090066390A KR 20110008849 A KR20110008849 A KR 20110008849A
Authority
KR
South Korea
Prior art keywords
defect
embedded system
error
detection rate
memory value
Prior art date
Application number
KR1020090066390A
Other languages
Korean (ko)
Other versions
KR101012108B1 (en
Inventor
장승철
김만철
강현국
양준언
Original Assignee
한국수력원자력 주식회사
한국원자력연구원
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by 한국수력원자력 주식회사, 한국원자력연구원 filed Critical 한국수력원자력 주식회사
Priority to KR1020090066390A priority Critical patent/KR101012108B1/en
Publication of KR20110008849A publication Critical patent/KR20110008849A/en
Application granted granted Critical
Publication of KR101012108B1 publication Critical patent/KR101012108B1/en

Links

Images

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00Error detection; Error correction; Monitoring
    • G06F11/36Preventing errors by testing or debugging software
    • G06F11/3668Software testing
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00Error detection; Error correction; Monitoring
    • G06F11/07Responding to the occurrence of a fault, e.g. fault tolerance
    • G06F11/0703Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation
    • G06F11/0706Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation the processing taking place on a specific hardware platform or in a specific software environment
    • G06F11/0736Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation the processing taking place on a specific hardware platform or in a specific software environment in functional embedded systems, i.e. in a data processing system designed as a combination of hardware and software dedicated to performing a certain function
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00Error detection; Error correction; Monitoring
    • G06F11/30Monitoring
    • G06F11/3003Monitoring arrangements specially adapted to the computing system or computing system component being monitored
    • G06F11/3013Monitoring arrangements specially adapted to the computing system or computing system component being monitored where the computing system is an embedded system, i.e. a combination of hardware and software dedicated to perform a certain function in mobile devices, printers, automotive or aircraft systems

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • Quality & Reliability (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Computing Systems (AREA)
  • Computer Hardware Design (AREA)
  • Mathematical Physics (AREA)
  • Test And Diagnosis Of Digital Computers (AREA)

Abstract

PURPOSE: An automated test equipment of an embedded system for reducing rate of detecting defect for using the deformity pouring experiment is provided to obtain time and cost about a bit unit fault of the embedded system. CONSTITUTION: A defect generation part(112) generates deformity to consider the rate of detecting defect evaluation. A deformity screening device(113) distinguishes the deformity based on the information about the change of the execution hunting register of the software of an embedded system and the memory value corresponding to the execution hunting register. A deformity implantation part injects the error generation deformity into the embedded system in order to distinguish the influence that the error generation deformity.

Description

임베디드 시스템 결함검출률 평가 장치 및 그 방법{An apparatus for estimating fault coverage of embedded systems and the method thereof} An apparatus for estimating fault coverage of embedded systems and the method

본 발명은 디지털 시스템 결함검출률 평가 장치 및 그 방법에 관한 것으로, 특히 임베디드 시스템의 비트단위 결함검출률 평가 장치 및 그 방법에 관한 것이다.The present invention relates to an apparatus and method for evaluating a defect detection rate in a digital system, and more particularly, to an apparatus and method for evaluating a bit defect detection rate in an embedded system.

소프트웨어를 포함하는 임베디드 시스템에 결함이 발생할 경우, 이 결함은 오류를 발생시켜 시스템에 직접적으로 영향을 줄 수도 있고, 임베디드 시스템 내부의 결함검출 알고리즘 등에 의해서 검출이 되는 등의 이유로 시스템에 직접적인 영향을 주지 않을 수도 있다.If a defect occurs in the embedded system that contains the software, the defect may generate an error and directly affect the system, and may not directly affect the system, for example, because it is detected by a defect detection algorithm in the embedded system. It may not.

임베디드 시스템에 결함이 발생하였을 때, 이 결함을 검출할 수 있는 확률을 '결함검출률'이라고 하며, 결함검출률을 평가하기 위하여 가장 널리 이용되는 기술은 임베디드 시스템에 결함들을 일일이 주입하여 각 결함이 시스템에 미치는 영향을 판별하는 방법으로써, 이는 일반적으로 결함주입실험(fault injection experiment)이라 불린다.When a defect occurs in an embedded system, the probability of detecting the defect is called a defect detection rate, and the most widely used technique for evaluating a defect detection rate is to inject defects into the embedded system one by one so that each defect can be inserted into the system. As a method of determining the impact, this is commonly called a fault injection experiment.

임베디드 시스템의 결함검출률을 평가하는 종래기술은 임베디드 시스템에 수많은 무작위적인 결함주입실험을 수행하여 그 실험결과들을 분석하는 방법이 널리 이용되고 있었다. 하지만, 무작위적인 결함주입실험을 수행하기 위해서는 일반적으로 수 십만회 또는 수 백만회의 결함주입실험을 수행하고 있으며, 이를 위해 수많은 시간과 인력이 투입되어야만 하는 비효율성을 가지고 있다. Conventional techniques for evaluating the defect detection rate of an embedded system have been widely used to analyze the experimental results by performing a number of random defect injection experiments in the embedded system. However, random defect injection experiments are generally performed hundreds of thousands or millions of defect injection experiments, which has inefficiencies that require a lot of time and manpower.

이러한 무작위적인 결함주입실험의 비효율성을 발생시키는 큰 요인으로써, 임베디드 시스템의 동작에 영향을 미치지 않은 결함의 주입을 들 수 있다. 한 예로써, 그들이 수행한 결함주입실험에서 96%의 결함이 임베디드 시스템의 동작에 영향을 미치지 않았다고 보고된바 있다[B. Nicolescu, Y. Savaria, R. Velazco, Software detection mechanisms providing full coverage against single bit-flip faults, IEEE Transactions on Nuclear Science, vol.51, no.6, pp.3510-3518, December 2004]. 이는 임베디드 시스템의 동작에 영향을 미치지 않은 결함들을 미리 판별하여 결함주입실험을 수행할 수 있다면 결함주입실험의 효율성을 크게 향상시킬 수 있음을 의미한다.A major factor that causes the inefficiency of such random defect injection experiments is the injection of defects that do not affect the operation of the embedded system. As an example, their defect injection experiments reported that 96% of defects did not affect the behavior of embedded systems [B. Nicolescu, Y. Savaria, R. Velazco, Software detection mechanisms providing full coverage against single bit-flip faults, IEEE Transactions on Nuclear Science, vol. 51, no. 6, pp. 3510-3518, December 2004]. This means that if the defect injection experiment can be performed in advance by identifying defects that do not affect the operation of the embedded system, the efficiency of the defect injection experiment can be greatly improved.

이러한 무작위적인 결함주입실험의 비효율성을 극복하기 하여 결함주입실험 이전에 분석을 수행하는 기술들이 개발되었다[D. T. Smith et al., Malicious fault list generation method, U. S. Patent 5,561,762 (October 1, 1996), Meenakshi Sekhar, Carl R. Elks, Ron L. Williams, and Barry W. Johnson, Pre-fault injection analysis for efficient fault injection in digital i&c systems, Proceedings of the sixth american nuclear society international topical meeting on nuclear plant instrumentation, control, and human-machine interface technologies (NPIC&HMIT 2009), Knoxville, Tennessee, USA, April 5-9, 2009]. 하지만, 이러한 기술들 중 하나는 임베디드 시스템에 특정 오류 출력이 나오도록 하는 결함의 목록을 생성하는 기술에 관한 것으로써, 오류 출력의 수만큼 분석을 수행해야 하는 비효율성을 가지고 있다. 다른 하나는 실행추적(execution trace)에 기반한 분석을 수행하여, 수행해야 하는 분석의 수는 줄어드는 반면, 비트단위로 발생하는 결함을 고려하는데에는 한계점이 있다고 할 수 있다. 비트단위로 발생하는 결함을 고려하는 방법도 소개된 방법이 있으나, 이 방법은 실행추적을 고려하지 않으므로 그에 따른 상대적인 비효율성이 있다고 할 수 있다.Overcoming the inefficiency of these random defect injection experiments, techniques have been developed to perform the analysis before the defect injection experiment [D. T. Smith et al., Malicious fault list generation method, US Patent 5,561,762 (October 1, 1996), Meenakshi Sekhar, Carl R. Elks, Ron L. Williams, and Barry W. Johnson, Pre-fault injection analysis for efficient fault injection in digital i & c systems, Proceedings of the sixth american nuclear society international topical meeting on nuclear plant instrumentation, control, and human-machine interface technologies (NPIC & HMIT 2009), Knoxville, Tennessee, USA, April 5-9, 2009]. However, one of these techniques relates to a technique for generating a list of defects that cause specific error outputs to be embedded in an embedded system, which has the inefficiency of analyzing as many error outputs. The other is to perform analysis based on execution trace, which reduces the number of analyzes to be performed, but has a limitation in considering defects occurring bit by bit. There is also a method to consider the defects that occur bit by bit, but this method does not consider the execution tracking, it can be said that the relative inefficiency accordingly.

본 발명이 이루고자 하는 기술적 과제는 임베디드 시스템의 비트단위 결함에 대한 결함검출률을 보다 적은 시간과 노력을 투입하고도 획득할 수 있는 임베디드 시스템 결함검출률 평가 장치 및 그 방법을 제공하는 데 있다.It is an object of the present invention to provide an apparatus and method for evaluating a defect detection rate of an embedded system capable of acquiring a defect detection rate for a bit unit defect of an embedded system with less time and effort.

본 발명의 일 양태에 따르면 임베디드 시스템에 0과 1의 디지털 데이터값이 비트단위 오류로 상기 시스템의 기억장치에 저장되는 결함이 발생하였을 경우 상기 결함을 검출할 수 있는 확률인 결함검출률을 평가하는 장치에 있어서, 상기 결함검출률 평가를 위해 고려해야 할 사항으로부터 결함을 생성하는 결함 생성부, 상기 생성된 결함을 상기 임베디드 시스템의 소프트웨어의 실행추적 기록 및 상기 소프트웨어의 실행추적 기록에 해당하는 메모리값의 변화에 대한 정보로부터 상기 결함들이 상기 임베디드 시스템에 오류를 발생시킬 수 있는 오류 발생 결함인지 또는 상기 임베디드 시스템에 오류를 발생시키지 않을 오류 비발생 결함인지를 판별하는 결함 선별부, 및 상기 오류 발생 결함이 상기 임베디드 시스템에 미치는 영향을 판별하는 결함주입실험을 수행하도록 상기 오류 발생 결함을 상기 임베디드 시스템에 주입하는 결함 주입부를 포함하되, 상기 결함주입실험 결과로부터 상기 결함검출률을 평가하는 임베디드 시스템 결함검출률 평가 장치를 제공한다.According to an aspect of the present invention, an apparatus for evaluating a defect detection rate, which is a probability of detecting a defect when a digital data value of 0 and 1 is stored in a storage device of the system as a bit unit error in an embedded system. A defect generation unit for generating a defect from the matters to be considered for the defect detection rate evaluation, and a change in the memory value corresponding to the execution trace recording of the software of the embedded system and the execution trace recording of the software. A defect sorting unit for determining whether the defects are an error generating defect that may cause an error in the embedded system or an error non-occurring defect that will not cause an error in the embedded system, and the error generating defect is embedded in the information. Defective Note to Determine Impact on System To carry out the experiment, but includes a defective injection to inject the fault occurs an error in the embedded system, the embedded system provides fault detection rate evaluation device for evaluating the defect detection rate from the fault injection test result.

본 발명의 다른 양태에 따르면 임베디드 시스템에 0과 1의 디지털 데이터값 이 비트단위 오류로 상기 시스템의 기억장치에 저장되는 결함이 발생하였을 경우 상기 결함을 검출할 수 있는 확률인 결함검출률을 평가하는 방법에 있어서, 상기 결함검출률 평가를 위해 고려해야 할 사항으로부터 결함을 생성하는 단계, 상기 생성된 결함을 상기 임베디드 시스템의 소프트웨어의 실행추적 기록 및 상기 소프트웨어의 실행추적 기록에 해당하는 메모리값의 변화에 대한 정보로부터 상기 결함들이 상기 임베디드 시스템에 오류를 발생시킬 수 있는 오류 발생 결함인지 또는 상기 임베디드 시스템에 오류를 발생시키지 않을 오류 비발생 결함인지를 판별하는 단계, 및 상기 오류 발생 결함이 상기 임베디드 시스템에 미치는 영향을 판별하는 결함주입실험을 수행하도록 상기 오류 발생 결함을 상기 임베디드 시스템에 주입하는 단계를 포함하되, 상기 결함주입실험 결과로부터 상기 결함검출률을 평가하는 임베디드 시스템 결함검출률 평가 방법을 제공한다.According to another aspect of the present invention, a method of evaluating a defect detection rate, which is a probability of detecting a defect when an embedded system generates a defect in which digital data values of 0 and 1 are stored in a memory device of the system due to a bit unit error. In the step of generating a defect from the considerations for the defect detection rate evaluation, the information on the change of the memory value corresponding to the execution trace recording of the software of the embedded system and the execution trace recording of the software Determining from the faults whether the faults are faulty faults that may cause errors in the embedded system or non-error faults that will not cause errors in the embedded system, and how the faulty faults affect the embedded system. The number of defect injection experiments That comprising the step of injecting a fault occurs the error in the embedded system, provides the defective injection experiments embedded system fault detection rate evaluation method for evaluating the defect detection rate from the result.

임베디드 시스템의 비트단위 결함에 대한 결함검출률을 보다 적은 시간과 노력을 투입하고도 획득할 수 있다.Defect detection rates for bit defects in embedded systems can be obtained with less time and effort.

본 발명은 다양한 변경을 가할 수 있고 여러 가지 실시예를 가질 수 있는 바, 특정 실시예들을 도면에 예시하고 설명하고자 한다. 그러나, 이는 본 발명을 특정한 실시 형태에 대해 한정하려는 것이 아니며, 본 발명의 사상 및 기술 범위에 포함되는 모든 변경, 균등물 내지 대체물을 포함하는 것으로 이해되어야 한다. As the invention allows for various changes and numerous embodiments, particular embodiments will be illustrated and described in the drawings. However, this is not intended to limit the present invention to specific embodiments, it should be understood to include all modifications, equivalents, and substitutes included in the spirit and scope of the present invention.

본 출원에서 사용한 용어는 단지 특정한 실시예를 설명하기 위해 사용된 것으로, 본 발명을 한정하려는 의도가 아니다. 단수의 표현은 문맥상 명백하게 다르게 뜻하지 않는 한, 복수의 표현을 포함한다. 본 출원에서, "포함하다" 또는 "가지다" 등의 용어는 명세서상에 기재된 특징, 숫자, 단계, 동작, 구성요소, 부품 또는 이들을 조합한 것이 존재함을 지정하려는 것이지, 하나 또는 그 이상의 다른 특징들이나 숫자, 단계, 동작, 구성요소, 부품 또는 이들을 조합한 것들의 존재 또는 부가 가능성을 미리 배제하지 않는 것으로 이해되어야 한다.The terminology used herein is for the purpose of describing particular example embodiments only and is not intended to be limiting of the present invention. Singular expressions include plural expressions unless the context clearly indicates otherwise. In this application, the terms "comprise" or "having" are intended to indicate that there is a feature, number, step, operation, component, part, or combination thereof described in the specification, and one or more other features. It is to be understood that the present invention does not exclude the possibility of the presence or the addition of numbers, steps, operations, components, components, or a combination thereof.

다르게 정의되지 않는 한, 기술적이거나 과학적인 용어를 포함해서 여기서 사용되는 모든 용어들은 본 발명이 속하는 기술 분야에서 통상의 지식을 가진 자에 의해 일반적으로 이해되는 것과 동일한 의미를 가지고 있다. 일반적으로 사용되는 사전에 정의되어 있는 것과 같은 용어들은 관련 기술의 문맥 상 가지는 의미와 일치하는 의미를 가지는 것으로 해석되어야 하며, 본 출원에서 명백하게 정의하지 않는 한, 이상적이거나 과도하게 형식적인 의미로 해석되지 않는다.Unless defined otherwise, all terms used herein, including technical or scientific terms, have the same meaning as commonly understood by one of ordinary skill in the art. Terms such as those defined in the commonly used dictionaries should be construed as having meanings consistent with the meanings in the context of the related art and shall not be construed in ideal or excessively formal meanings unless expressly defined in this application. Do not.

이하, 첨부된 도면을 참조하여 실시예를 상세히 설명하되, 도면 부호에 관계없이 동일하거나 대응하는 구성 요소는 동일한 참조 번호를 부여하고 이에 대한 중복되는 설명은 생략하기로 한다.DETAILED DESCRIPTION Hereinafter, exemplary embodiments will be described in detail with reference to the accompanying drawings, and the same or corresponding components will be given the same reference numerals regardless of the reference numerals, and redundant description thereof will be omitted.

도 1은 본 실시예에 따른 임베디드 시스템 결함검출률 평가 장치의 일 예를 나타내는 블록도이다.1 is a block diagram illustrating an example of an apparatus for evaluating a defect detection rate of an embedded system according to an exemplary embodiment.

도 1을 참조하면, 임베디드 시스템 결함검출률 평가 장치(100)는 주입대상 결함 정보 저장부(111), 결함 생성부(112), 결함 선별부(113), 소프트웨어 실행추적 기록저장부(114), 메모리값 변화정보 저장부(115), 대상 시스템 상태정보 취득부(116), 결함주입실험 결과 처리부(117), 결함주입실험 결과 저장부(118) 및 결함 주입부(119)를 포함한다. 여기서, '결함'은 0과 1의 디지털 데이터값이 오류로 디지털 시스템의 기억장치에 저장되는 것을 말한다. Referring to FIG. 1, the embedded system defect detection rate evaluating apparatus 100 includes an injection target defect information storing unit 111, a defect generating unit 112, a defect selecting unit 113, a software execution tracking recording storing unit 114, A memory value change information storage unit 115, a target system state information acquisition unit 116, a defect injection experiment result processing unit 117, a defect injection experiment result storage unit 118, and a defect injection unit 119. Here, 'defect' means that the digital data values of 0 and 1 are stored in the memory of the digital system as an error.

주입대상 결함 정보 저장부(111)는 결함검출률 평가를 위해 고려되어야 할 결함 생성을 위한 정보를 제공한다. 여기서, '결함 생성을 위한 정보'는 0고착결함(stuck-at-0 fault), 1고착결함(stuck-at-1 fault), 비트값전환(bit-flip)과 같은 '결함 종류', 어디에 결함이 발생하는가를 나타내는 '결함위치', 언제 결함이 발생하는가를 나타내는 '결함발생시각' 및 언제 결함이 사라지는가를 나타내는 '결함소멸시각' 또는 결함이 지속되는 시간을 나타내는 '결함지속시간' 등일 수 있다. The injection target defect information storage unit 111 provides information for generating a defect to be considered for evaluating a defect detection rate. Here, 'information for generating a fault' is a 'fault type' such as 0 stuck-at-0 fault, 1 stuck-at-1 fault, and bit-flip. 'Fault location' to indicate when a fault occurs, 'Fault occurrence time' to indicate when a defect occurs, 'Fault elimination time' to indicate when the defect disappears, or 'Fault duration' to indicate how long the defect lasts. have.

표 1은 주입가능한 결함 생성을 위한 정보의 예를 나타낸다.Table 1 shows an example of information for generating injectable defects.

분류Classification 결함 생성을 위한 정보Information for generating defects 결함 종류Fault type 0고착결함, 1고착결함, 비트전환0 stuck, 1 stuck, bit shifted 결함 위치Fault location 모든 레지스터의 모든 비트
모든 메모리 영역의 모든 비트
All bits in all registers
All bits in all memory areas
결함발생시각Fault time 첫 번째 명령어 수행 직전부터 최종 명령어 수행 직전Just before the first instruction is executed, just before the final instruction is executed 결함소멸시각Fault elimination time 결함발생시각 이후부터 최종 명령어 수행 직후Immediately after execution of the last command from the time of fault occurrence

결함 생성부(112)는 주입대상 결함 정보 저장부(111)로부터 결함 생성을 위한 정보를 제공받아, 예를 들어 표 1의 정보를 바탕으로 결함을 생성한다. The defect generator 112 receives the information for generating a defect from the injection target defect information storage 111 and generates a defect based on the information of Table 1, for example.

결함 선별부(113)는 소프트웨어 실행추적 기록저장부(114)에 저장된 소프트웨어의 실행추적 기록과 메모리값 변화정보 저장부(115)에 저장된 그에 해당하는 메모리값의 변화에 대한 정보를 바탕으로 생성된 결함들이 대상 임베디드 시스템(200)에 오류를 발생시킬 수 있는지 여부를 판별한다. 이하에서, 임베디드 시스템(200)에 오류를 발생시킬 결함을 '오류 발생 결함'으로, 임베디드 시스템(200)에 오류를 발생시키지 않을 결함을 '오류 비발생 결함'으로 나타내기로 한다.The defect selector 113 is generated based on the execution trace record of the software stored in the software execution trace record storage 114 and the change of the corresponding memory value stored in the memory value change information storage 115. It is determined whether the defects may cause an error in the target embedded system 200. Hereinafter, a defect that will cause an error in the embedded system 200 will be referred to as an 'error generating defect', and a defect that will not cause an error in the embedded system 200 will be referred to as a 'error not occurring defect'.

이하에서는 본 실시예에 따라 결함 선별부(113)에서 결함 생성부(112)에서 생성된 결함이 오류 발생 결함인지 또는 오류 비발생 결함인지를 판별하는 것에 대하여 설명하기로 한다.Hereinafter, the determination of whether the defect generated by the defect generation unit 112 in the defect selection unit 113 is an error occurrence defect or a non-error occurrence defect will be described according to the present embodiment.

표 2는 임베디드 시스템(200)의 명령어에 따른 메모리값 변화의 일 예를 보여준다.Table 2 shows an example of a change in the memory value according to the command of the embedded system 200.

일련번호Serial Number 메모리 주소Memory address 명령어command R0R0 R1R1 R2R2 R3R3 00 00 00 00 00 1One 300001FC300001FC mov r12,r13mov r12, r13 00 00 00 00 22 3000020030000200 stmdb r13!,{r11-r12,r14,pc}stmdb r13!, {r11-r12, r14, pc} 00 00 00 00 33 3000020430000204 sub r11,r12,#0x4sub r11, r12, # 0x4 00 00 00 00 44 3000020830000208 sub r13,r13,#0x0Csub r13, r13, # 0x0C 00 00 00 00 55 3000020C3000020C mov r2,#0x6mov r2, # 0x6 00 00 6*6 * 00 66 3000021030000210 mov r0,#0x3mov r0, # 0x3 3*3 * 00 66 00 77 3000021430000214 mov r1,#0x2mov r1, # 0x2 33 2*2* 66 00 88 3000021830000218 add r3,r2,r0add r3, r2, r0 33 22 66 9*9 * 99 3000021C3000021C str r3,[r11,#-0x18]str r3, [r11, #-0x18] 33 22 6**6 ** 99 1010 3000022030000220 add r3,r2,r1add r3, r2, r1 33 22 66 8*8* 1111 3000022430000224 str r3,[r11,#-0x14]str r3, [r11, #-0x14] 3**3 ** 2**2** 66 88 1212 3000022830000228 add r3,r0,r1add r3, r0, r1 33 22 66 5*5 * 1313 3000022C3000022C str r3,[r11,#-0x10]str r3, [r11, #-0x10] 33 22 66 55

여기서, *는 메모리값이 처음으로 쓰여진 시점을 나타내고, **는 메모리값이 마지막으로 사용된 시점을 나타낸다. 소프트웨어 실행추적 기록에 따라 메모리값이 의미를 가지는 유효기간이 정해지게 되는데, 이는 메모리에 값이 처음으로 쓰여진 시점부터 메모리값이 마지막으로 사용된 시점까지이다. 따라서, * 및 ** 의 사이 시간을 '메모리값의 유효기간'으로 정의할 수 있다. 예를 들어, 표 2의 R2 레지스터의 경우에는 5번째 명령어 수행 직전부터 10번째 명령어 수행 직후까지가 메모리값의 유효기간이라 할 수 있으며, R3 레지스터의 경우에는 쓰기와 읽기가 지속적으로 반복되고 있으므로 8번째 명령어 수행 직전부터 13번째 명령어 수행 직후까지의 모든 영역이 메모리값의 유효기간이라 할 수 있다. Here, * indicates the first time the memory value is written, and ** indicates the time when the memory value is last used. According to the software execution trace record, the validity period of the memory value is determined, from the first writing of the value to the last using the memory value. Therefore, the time between * and ** can be defined as 'the validity period of the memory value'. For example, in the R2 register of Table 2, the validity period of the memory value is from immediately before the fifth instruction execution to just after the tenth instruction execution. In the R3 register, since writing and reading are continuously repeated, 8 All areas from immediately before execution of the 13th instruction to execution of the 13th instruction can be referred to as the valid period of the memory value.

예를 들어, 소프트웨어 실행추적 기록저장부(114)에는 상기 표 2의 일련번호와 순차적으로 수행된 명령어를 포함하는 정보가 저장되며, 메모리값 변화정보 저장부(115)에는 R0,R1,R2,R3 레지스터들에 대한 값의 변화를 보여주고 있는 것과 같이 명령어가 순차적으로 수행됨에 따른 메모리값의 변화를 포함하는 정보가 저장된다. 여기서, 메모리는 레지스터 뿐만 아니라 결함검출률 평가와 관련된 모든 메모리 영역을 의미한다.For example, the software execution tracking record storage unit 114 stores information including the serial number of Table 2 and instructions sequentially executed, and the memory value change information storage unit 115 includes R0, R1, R2, and the like. As shown in the value change for the R3 registers, information is stored that includes a change in memory value as the instruction is executed sequentially. Here, memory refers to not only registers but also all memory areas related to defect detection rate evaluation.

결함 선별부(113)에서 결함 생성부(112)에서 생성된 결함이 오류 발생 결함을 판별하는 한 예로써, 결함 생성부(112)에서 8번째 명령어 수행 직전부터 12번째 명령어 수행 직후까지 R2 레지스터 0번(20 위치) 비트에 발생한 0고착결함을 생성한 경우, 결함 선별부(113)에서는 표 2에서 보여지고 있는 실행추적 및 메모리값의 변화에 대한 정보를 이용하여 결함의 지속시간과 R2 레지스터의 메모리값의 유효기간 사이에 8번째 명령어 수행 직전부터 10번째 명령어 수행 직후까지의 기간이 공통으로 포함되어 있다. 그러나, 이 기간동안 R2 레지스터의 0번 비트의 값이 0을 유지하고 있으므로 R2 레지스터의 값이 변화하지 않음을 확인함으로써, 상기 결함은 오류 비발생 결함으로 판별하게 된다. 이에 따라 상기 결함에 대한 결함주입실험은 수행하지 않고 이러한 판별 결과를 결함검출률 평가에 활용하게 된다. As an example in which the defect generated by the defect generation unit 112 in the defect selection unit 113 determines that an error has occurred, R2 register 0 from immediately before execution of the eighth instruction to immediately after execution of the 12th instruction in the defect generation unit 112. In the case of generating zero stuck defects occurring in the second (2 0 position) bits, the defect sorting unit 113 uses the information on the execution trace and the change in the memory values shown in Table 2 to determine the duration of the defect and the R2 register. The periods from the immediately preceding execution of the eighth instruction to immediately after the execution of the tenth instruction are commonly included between the validity periods of the memory values. However, by confirming that the value of the R2 register does not change because the value of bit 0 of the R2 register remains 0 during this period, the defect is determined to be an error-free defect. Accordingly, the defect injection experiment for the defect is not performed, and the result of the determination is used to evaluate the defect detection rate.

결함 선별부(113)에서 결함 생성부(112)에서 생성된 결함이 오류 발생 결함을 판별하는 다른 예로써, 결함생성부에서 8번째 명령어 수행 직전부터 12번째 명령어 수행 직후까지 R2 레지스터 0번 비트에 발생한 1고착결함을 생성한 경우, 결함 선별부(113)에서는 표 2에서 보여지고 있는 실행추적 및 메모리값의 변화에 대한 정보를 이용하여 결함의 지속시간과 R2 레지스터의 메모리값의 유효기간 사이에 8번째 명령어 수행 직전부터 10번째 명령어 수행 직후까지의 기간이 공통으로 포함되어 있으며, 이 기간동안 R2 레지스터의 0번 비트의 값이 1로 변할 경우 상기 기간동안 R2 레지스터의 값에 변화를 일으키게 됨을 확인함으로써, 상기 결함은 오류 발생 결함으로 판별하게 된다. 이에 따라 상기 결함에 대한 결함주입실험을 수행하여 상기 결함의 대상 임베디드 시스템(200)에 대한 영향을 실험적으로 판별한 뒤 결함검출률을 평가하게 된다. As another example in which the defect generated by the defect generation unit 112 in the defect selection unit 113 determines an error occurs defect, the defect generation unit registers the bits in the R2 register 0 bit from immediately before the eighth instruction execution to immediately after the twelfth instruction execution. In the case where the generated single-fixed defect is generated, the defect sorting unit 113 uses the information on the execution trace and the change in the memory value shown in Table 2 to determine the difference between the duration of the defect and the validity period of the memory value of the R2 register. The period from just before the 8th instruction execution to just after the 10th instruction execution is included in common. If the value of bit 0 of the R2 register changes to 1 during this period, it is confirmed that the value of the R2 register changes during the above period. Thus, the defect is determined to be an error occurrence defect. Accordingly, a defect injection experiment for the defect is performed to experimentally determine the influence of the defect on the target embedded system 200, and then evaluate a defect detection rate.

결함 선별부(113)에서 결함 생성부(112)에서 생성된 0고착결함이 오류 발생 결함인지 여부를 판별하는 방법의 일 예는, 0고착결함의 지속시간과 해당 메모리값의 유효기간 사이에 공통으로 포함되는 기간에 대해서 메모리값 변화 정보 저장부에 저장된 해당 비트값들에 대해서 비트단위 논리합(OR) 연산을 수행하여 그 결과가 0이 되면 해당 0고착결함을 오류 비발생 결함으로 판별한다. 반면, 그 결과가 1이 되면 해당 0고착결함을 오류 발생 결함으로 판별하는 것이다. 상기 결함의 예의 경우, 표 2에 나타난 메모리값 변화 정보에서 R2 레지스터의 0번 비트에 0고착결함의 지속시간과 해당 메모리값의 유효기간 사이에 공통으로 포함되는 기간인 8번째 명령어 수행 직전부터 10번째 명령어 수행 직후까지의 R2 레지스터의 값이 6, 6, 6이며, 이는 0번 비트의 값이 0, 0, 0임을 의미하는 것으로써, 이들에 대한 비트단위 논리합 결과가 0이 되어 해당 0고착결함을 오류 비발생 결함으로 판별하게 된다.An example of how the defect sorting unit 113 determines whether the zero fixation defect generated by the defect generating unit 112 is an error generating defect is common between the duration of the zero fixing defect and the validity period of the corresponding memory value. If the result is 0, a bit-wise logical OR operation is performed on the corresponding bit values stored in the memory value change information storage unit. On the other hand, when the result is 1, the corresponding 0 fixed defect is determined as an error occurrence defect. In the case of the above example, in the memory value change information shown in Table 2, 10 immediately before execution of the eighth instruction, which is a period that is commonly included between the duration of the zero-fix fault in the 0th bit of the R2 register and the validity period of the corresponding memory value. The value of register R2 until 6th instruction execution is 6, 6, 6, which means that the value of bit 0 is 0, 0, 0. The fault is determined as a non-error fault.

결함 선별부(113)에서 결함 생성부(112)에서 생성된 1고착결함이 오류 발생 결함인지 여부를 판별하는 방법의 일 예는, 1고착결함의 지속시간과 해당 메모리값의 유효기간 사이에 공통으로 포함되는 기간에 대해서, 메모리값 변화 정보 저장부에 저장된 해당 비트값들에 대해서 비트단위 논리곱(AND) 연산을 수행하여 그 결과가 0이 되면 해당 1고착결함을 오류 발생 결함으로 판별하고, 그 결과가 1이 되면 해당 1고착결함을 오류 비발생 결함으로 판별하는 것이다. 상기 결함의 예의 경우, 표 2에 나타난 메모리값 변화 정보에서 R2 레지스터의 0번 비트에 1고착결함의 지속시간과 해당 메모리값의 유효기간 사이에 공통으로 포함되는 기간인 8번째 명령어 수행 직전부터 10번째 명령어 수행 직후까지의 R2 레지스터의 값이 6, 6, 6이며, 이는 0번 비트의 값이 0, 0, 0임을 의미하는 것으로써, 이들에 대한 비트단위 논리곱 결과가 0이 되어 해당 1고착결함을 오류 발생 결함으로 판별하게 된다.An example of a method for determining whether the single fixation defect generated by the defect generating unit 112 is an error occurrence defect in the defect sorting unit 113 is common between the duration of the first fixing defect and the validity period of the corresponding memory value. For the period included as, a bitwise AND operation is performed on the corresponding bit values stored in the memory value change information storage unit. When the result is 0, the corresponding 1st defect is determined as an error occurrence defect. If the result is 1, the 1 fixed defect is determined as an error-free occurrence defect. In the case of the above example, in the memory value change information shown in Table 2, 10 immediately before execution of the eighth instruction, which is a period which is commonly included between the duration of the first fixed fault in the 0th bit of the R2 register and the validity period of the corresponding memory value. The value of register R2 until immediately after the first instruction is 6, 6, 6, which means that the value of bit 0 is 0, 0, 0, and the bitwise logical result of them becomes 0, corresponding 1 A fixation defect is determined as an error occurrence defect.

다시 도 1을 참조하면, 오류 발생 결함들은 결함 주입부를 거쳐 임베디드 시스템(200)에 주입되어 결함주입실험이 수행된다. 그에 대한 상태 정보는 대상 시스템 상태정보 취득부(116)에 취득되어, 결함주입실험 결과 처리부(117)에 보내진다. Referring back to FIG. 1, the error occurrence defects are injected into the embedded system 200 through the defect injection unit to perform a defect injection experiment. The state information about it is acquired by the target system state information acquisition unit 116 and sent to the defect injection experiment result processing unit 117.

오류 비발생 결함들은 결함주입실험을 수행하지 않고 바로 결함주입실험 결과 처리부(117)에 전달된다. 결함주입실험 결과 처리부(117)에서는 상기 결과들을 결함주입실험 결과 저장부(118)에 보낸다. 결함주입실험 결과 저장부(118)는 상기 결과들을 저장하고 실험 결과들을 바탕으로 대상 임베디드 시스템(200)의 결함검출률을 평가하게 된다. 더 상세히 설명하면, 상기 결함주입실험 결과 처리부(117)에서는 생성된 결함에 대한 결함 선별부(113)의 판별 결과 및 결함주입실험을 통해서 취득된 대상 시스템 상태정보를 바탕으로 생성된 결함이 임베디드 시스템(200)에 어떠한 영향을 주는지 및 검출이 가능한지 여부를 판별하고 그 결과를 결함주입실험 결과 저장부(118)에 저장한다. The error-free defects are transmitted directly to the defect injection test result processing unit 117 without performing the defect injection test. The defect injection test result processing unit 117 sends the results to the defect injection test result storage unit 118. The defect injection test result storage unit 118 stores the results and evaluates a defect detection rate of the target embedded system 200 based on the test results. In more detail, the defect injection experiment result processing unit 117 is based on the determination result of the defect sorting unit 113 for the generated defect and the target system state information acquired through the defect injection experiment is embedded in the embedded system It determines whether there is an influence on the 200 and whether it can be detected, and stores the result in the defect injection test result storage unit 118.

따라서, 임베디드 시스템 결함검출률 평가 장치(100)는 결함 생성부(112)에서 생성된 결함에 대해서 결함 선별부(113)에서의 오류 비발생 결함 및 오류 발생 결함의 선별 및 오류 발생 결함들에 대한 결함주입실험이 실시간으로 수행된다.Therefore, the embedded system defect detection rate evaluation apparatus 100 screens the defects generated by the defect generation unit 112 and the defects of the error occurrence defects and the error occurrence defects in the defect selection unit 113 and the defects of the error occurrence defects. Injection experiments are performed in real time.

도 2는 본 실시예에 따른 임베디드 시스템 결함검출률 평가 장치의 다른 예를 나타내는 블록도이다.2 is a block diagram showing another example of an embedded system defect detection rate evaluation apparatus according to the present embodiment.

도 2를 참조하면, 임베디드 시스템 결함검출률 평가 장치(300)는 주입대상 결함 정보 저장부(311), 결함 생성부(312), 결함 선별부(313), 소프트웨어 실행추적 기록저장부(314), 메모리값 변화정보 저장부(315), 대상 시스템 상태정보 취득부(316), 결함주입실험 결과 처리부(317), 결함주입실험 결과 저장부(318), 결함 선별결과 저장부(319) 및 결함 주입부(320)를 포함한다. 도 2는 도 1의 구성에 결함 선별결과 저장부(319)가 추가된 구성이다. Referring to FIG. 2, the embedded system defect detection rate evaluation apparatus 300 includes an injection target defect information storage unit 311, a defect generation unit 312, a defect selection unit 313, a software execution tracking record storage unit 314, Memory value change information storage unit 315, target system state information acquisition unit 316, defect injection experiment result processing unit 317, defect injection experiment result storage unit 318, defect screening result storage unit 319 and defect injection The unit 320 is included. 2 is a configuration in which the defect screening result storage unit 319 is added to the configuration of FIG. 1.

동일한 구성은 기능이 동일하여 자세한 설명은 생략하기로 하며, 주입대상 결함 정보 저장부(311)의 정보를 이용하여 결함 생성부(312)에서 결함을 생성하며, 결함 선별부(313)에서 소프트웨어 실행추적 기록저장부(314)에 저장된 소프트웨어의 실행추적 기록과 메모리값 변화정보 저장부(315)에 저장된 그에 해당하는 메모리값의 변화에 대한 정보를 바탕으로 생성된 결함들을 오류 발생 결함 또는 오류 비발생 결함으로 판별하여 그 결과를 결함 선별결과 저장부(319)에 저장하는 과정을 반복적으로 수행하여, 결함 생성부(312)에서 생성되는 결함들에 대한 선별 과정을 우선적으로 수행한다. The same configuration is the same function, detailed description thereof will be omitted, the defect is generated in the defect generation unit 312 by using the information of the injection target defect information storage unit 311, software execution in the defect sorting unit 313 Defects generated based on the execution trace record of the software stored in the trace record storage unit 314 and the change of the corresponding memory value stored in the memory value change information storage unit 315 are generated. The process of determining the defect as the defect and storing the result in the defect screening result storage unit 319 is repeatedly performed to preferentially perform the screening process on the defects generated in the defect generating unit 312.

그런 다음, 결함 선별결과 저장부(319)에 저장된 정보를 바탕으로 오류 발생 결함들은 결함 주입부(320)를 거쳐서 임베디드 시스템에 주입이 되어 결함주입실험이 수행되고, 그에 대한 상태정보는 대상 시스템 상태정보 취득부(316)에서 취득되어 결함주입실험 결과 처리부(317)에 전달된다. 결함 선별결과 저장부(319)에 저장된 정보를 바탕으로 오류 비발생 결함으로 판별된 결함들은 결함주입실험을 수행하지 않고 바로 결함주입실험 결과 처리부(317)에 전달된다. 결함주입실험 결과 처리부(317)에서는 상기 결과들을 결함주입실험 결과 저장부(318)에 저장을 하게 되고, 결함주입실험 결과들을 바탕으로 대상 임베디드 시스템의 결함검출률을 평가하게 된다.Then, based on the information stored in the defect screening result storage unit 319, the error occurrence defects are injected into the embedded system via the defect injection unit 320 and a defect injection experiment is performed, and the status information on the target system state It is acquired by the information acquisition unit 316 and transferred to the defect injection experiment result processing unit 317. Based on the information stored in the defect screening result storage unit 319, the defects determined as non-error-prone defects are immediately transmitted to the defect injection test result processing unit 317 without performing a defect injection test. The defect injection test result processing unit 317 stores the results in the defect injection test result storage unit 318 and evaluates the defect detection rate of the target embedded system based on the defect injection test results.

다시 설명하면, 임베디드 시스템 결함검출률 평가 장치(300)는 결함 생성부(312)에서 생성된 결함에 대해서 결함 선별부(313)에서의 오류 발생 결함 및 오류 비발생 결함으로의 선별 과정이 먼저 수행되고, 이러한 결함 선별 과정이 완료된 이후에 결함주입실험을 수행한다.In other words, the embedded system defect detection rate evaluating apparatus 300 first performs a screening process on the defects generated by the defect generation unit 312 into an error occurrence defect and a non-error occurrence defect in the defect selection unit 313. After the defect screening process is completed, defect injection experiments are performed.

도 1 및 2의 일 예는 상술한 모듈들을 각각 분리된 모듈로 구현한 일 예이나, 상술한 모듈 중 어느 일부는 여러 모듈로 분리하여 구현할 수도 있고, 하나의 모듈로 통합하여 구현할 수도 있다. 예를 들어, 상기 소프트웨어 실행추적 기록저장부(314)(114, 314) 및 메모리값 변화 정보 저장부(115, 315)는 도시된 바와 같이 분리된 형태로 구현될 수 있으며, 하나의 통합된 모듈로 구현될 수도 있다.1 and 2 are examples in which the above-described modules are implemented as separate modules, but some of the above-described modules may be implemented by being separated into several modules or integrated into one module. For example, the software execution tracking record storage unit 314 (114, 314) and the memory value change information storage unit 115, 315 may be implemented in a separate form, as shown, a single integrated module It may be implemented as.

도 3은 본 실시예에 따른 임베디드 시스템 결함검출률 평가 방법을 나타내는 순서도이다.3 is a flowchart illustrating a method for evaluating an embedded system defect detection rate according to the present embodiment.

도 3을 참조하면, 주입대상 결함정보 저장부로부터 주입 대상이 되는 결함에 대한 정보를 읽어서 읽은 정보로부터 주입대상 결함을 생성한다(S110). 그런 다음, 생성된 주입대상 결함이 대상 임베디드 시스템에 오류를 발생시킬 수 있는 오류 발생 결함인지를 판별한다(S120). 다음으로, 대상 임베디드 시스템에 오류를 발생시킬 수 있는 오류 발생 결함을 대상 임베디드 시스템에 주입하고, 대상 임베디드 시스템에 상태정보를 취득하는 결함주입실험을 수행한다(S130). 그런 다음, 생성된 주입대상 결함에 대한 판별 결과와 결함주입실험 결과를 바탕으로 생성된 주입대상 결함의 대상 임베디드 시스템에 대한 영향을 결정하고, 이를 바탕으로 결함검출률을 계산한 후, 저장한다(S140).Referring to FIG. 3, an injection target defect is generated from information read by reading information on a defect to be injected from the injection target defect information storage unit (S110). Then, it is determined whether the generated injection target defect is an error occurrence defect that may cause an error in the target embedded system (S120). Next, a defect injection test for injecting an error generation defect that may cause an error in the target embedded system into the target embedded system and obtaining state information in the target embedded system is performed (S130). Then, the impact of the generated injection target defect on the target embedded system is determined based on the determination result of the generated injection target defect and the result of the defect injection experiment, and the defect detection rate is calculated and stored thereon (S140). ).

도 3의 단계는 본 발명의 일례이므로, 도시된 각각의 단계들은 서로 분리되어 수행되거나, 함께 수행되거나, 도시된 순서와 다르게 수행될 수 있다. 또한, 조작자의 필요에 따라 일부 단계를 생략하거나, 부가적인 단계를 추가할 수 있다. Since the steps of FIG. 3 are an example of the present invention, each of the illustrated steps may be performed separately from each other, together, or may be performed out of the order shown. In addition, some steps may be omitted or additional steps may be added as required by an operator.

표 3은 본 실시예에 의해 생성된 결함들이 대상 임베디드 시스템에 미치는 영향 평가의 예를 보여준다.Table 3 shows an example of the evaluation of the effect of the defects generated by the present embodiment on the target embedded system.

결함종류
Defect type
결함발생 위치Fault location 결함발생
시각
Defect
Time
결함지속
시간
Defect
time
시스템 영향System impact
메모리Memory 비트beat 0고착결함0 stuck R1R1 00 00 영구everlasting 영향 없음No influence 0고착결함0 stuck R1R1 1One 00 영구everlasting 잘못된 출력Incorrect output 0고착결함0 stuck R1R1 22 00 영구everlasting 검출됨Detected 0고착결함0 stuck R1R1 33 00 영구everlasting 검출됨Detected 0고착결함0 stuck R1R1 44 00 영구everlasting 잘못된 출력Incorrect output 0고착결함0 stuck R1R1 55 00 영구everlasting 무한루프Infinite loop

표 3은 결함발생 위치에서 R1 레지스터의 각 비트들에 영구적인 0고착결함이 소프트웨어 수행 이전부터 존재할 경우, 각각의 결함이 대상 임베디드 시스템에 미치는 영향을 평가한 결과를 보여주고 있다. 표 3은 대상 임베디드 시스템에 미치는 영향을 영향 없음(no effect), 검출됨(detected), 무한루프(infinite loop) 및 잘못된 출력(wrong output)의 4가지로 분류하고 있음을 알 수 있다. Table 3 shows the result of evaluating the effect of each defect on the target embedded system if there is a permanent zero-fix fault in each bit of the R1 register at the fault location before software execution. Table 3 classifies the impact on the target embedded system into four categories: no effect, detected, infinite loop, and faulty output.

표 4는 표 3과 같이 생성된 결함들의 대상 임베디드 시스템에 대한 영향 평가 결과들을 분류한 결과의 예를 보여준다.Table 4 shows an example of the results of classifying the impact evaluation results for the target embedded system of the defects generated as shown in Table 3.

분류Classification 결함 수Defect Number 백분율percentage 영향 없음No influence 3,9923,992 62.38%62.38% 검출됨Detected 1,0231,023 15.98%15.98% 무한루프Infinite loop 952952 14.88%14.88% 잘못된 출력Incorrect output 433433 6.77%6.77% 합계Sum 6,4006,400 100.00%100.00%

대상 임베디드 시스템에 대한 결함검출률 평가는 표 4와 같은 분류 결과를 바탕으로 이루어질 수 있다. 예를 들어, 주입대상 결함들 중에서 실제 검출된 비율로써 표 4에서 검출됨으로 분류된 결함의 비율인 15.98%를 결함검출률로 평가할 수도 있다. Defect detection rate evaluation for the target embedded system can be made based on the classification results as shown in Table 4. For example, 15.98% of the defects classified as detected in Table 4 as the actual detected ratio among the defects to be injected may be evaluated as the defect detection rate.

전체 메모리 영역에서 5%에 해당하는 부분에서만 주입 대상 결함을 선별하였고, 그 이외의 95%에 해당하는 영역에서 결함이 발생할 경우에는 대상 임베디드 시스템에 아무런 영향이 없을 것으로 가정할 수 있다면, 결함검출률은 다음 수학식 1과 같이 평가될 수 있다.If only 5% of the total memory area is selected for defects to be injected, and if 95% of the other defects occur, it can be assumed that there will be no effect on the target embedded system. It may be evaluated as in Equation 1 below.

Figure 112009044396223-PAT00001
Figure 112009044396223-PAT00001

따라서, 결함검출률은 80%가 된다.Therefore, the defect detection rate is 80%.

결함검출률이 시스템에 실제 영향을 미치는 결함들 중 검출되는 확률로써 정의된 경우에는 다음 수학식 2와 같이 결함검출률이 평가될 수 있다.If the defect detection rate is defined as the probability of detection among defects that actually affect the system, the defect detection rate may be evaluated as shown in Equation 2 below.

Figure 112009044396223-PAT00002
Figure 112009044396223-PAT00002

수학식 2에 따라서 결함검출률은 42.48%가 된다.According to Equation 2, the defect detection rate is 42.48%.

결함검출률은 상황에 따라 다양하게 정의될 수 있다. 결함주입실험 결과 처리부에서는 상황에 따라 사용자에 의해서 적절하게 정의된 결함검출률을 평가한다. 결함검출률이 서로 다른 정의에 따라 정의된다 하더라도, 이들에 대한 평가는 표 4와 같은 결함주입실험 영향 분류 결과를 바탕으로 한다는 점은 변함이 없다.The defect detection rate can be defined in various ways depending on the situation. The defect injection test result processing unit evaluates the defect detection rate appropriately defined by the user according to the situation. Although the defect detection rates are defined according to different definitions, the evaluation of these defects is based on the results of the defect injection test impact classification shown in Table 4.

표 4에 제시된 예에서는 영향 없음으로 분류된 결함이 전체 생성된 결함의 62.38%를 차지하고 있다. 본 실시예는 소프트웨어 실행추적 정보 및 메모리값 변화 정보를 이용하여 결함 선별부에서 대상 디지털시스템의 출력에 영향을 미칠 수 있는 결함들에 대해서만 결함주입실험을 수행함으로써, 결함주입실험에 투입되는 시간 및 노력의 62.38%를 감소시킬 수 있었다. 이와 같이, 본 실시예를 통해서 임베디드 시스템의 비트단위 결함에 대한 결함검출률을 보다 적은 시간과 노력을 투입하고도 획득할 수 있다.In the example shown in Table 4, the defects classified as No Impact account for 62.38% of all generated defects. In this embodiment, the defect injection experiment is performed only on the defects that may affect the output of the target digital system in the defect selection unit using the software execution tracking information and the memory value change information. 62.38% of the effort could be reduced. As described above, according to the present exemplary embodiment, the defect detection rate for the bit unit defect of the embedded system can be obtained even with less time and effort.

상술한 실시예에서 사용한 구체적인 수치는 본 발명의 일 실시예를 설명하기 위한 것에 불과하므로 본 발명의 내용이 이러한 구체적인 수치에 한정되지 않는다. The specific numerical values used in the above-described embodiments are only for describing one embodiment of the present invention, and thus the content of the present invention is not limited to these specific numerical values.

본 실시예에서 사용되는 '~부'라는 용어는 소프트웨어 또는 FPGA(field-programmable gate array) 또는 ASIC과 같은 하드웨어 구성요소를 의미하며, '~부'는 어떤 역할들을 수행한다. 그렇지만 '~부'는 소프트웨어 또는 하드웨어에 한정되는 의미는 아니다. '~부'는 어드레싱할 수 있는 저장 매체에 있도록 구성될 수도 있고 하나 또는 그 이상의 프로세서들을 재생시키도록 구성될 수도 있다. 따라서, 일 예로서 '~부'는 소프트웨어 구성요소들, 객체지향 소프트웨어 구성요소들, 클래스 구성요소들 및 태스크 구성요소들과 같은 구성요소들과, 프로세스들, 함수들, 속성들, 프로시저들, 서브루틴들, 프로그램 코드의 세그먼트들, 드라이버들, 펌웨어, 마이크로코드, 회로, 데이터,데이터베이스, 데이터 구조들, 테이블들, 어레이들, 및 변수들을 포함한다. 구성요소들과 '~부'들 안에서 제공되는 기능은 더 작은 수의 구성요소들 및 '~부'들로 결함되거나 추가적인 구성요소들과 '~부'들로 더 분리될 수 있다. 뿐만 아니라, 구성요소들 및 '~부'들은 디바이스 또는 보안 멀티미디어카드 내의 하나 또는 그 이상의 CPU들을 재생시키도록 구현될 수도 있다.The term '~ part' used in the present embodiment refers to software or a hardware component such as a field-programmable gate array (FPGA) or an ASIC, and '~ part' performs certain roles. However, '~' is not meant to be limited to software or hardware. '~ Portion' may be configured to be in an addressable storage medium or may be configured to play one or more processors. Thus, as an example, '~' means components such as software components, object-oriented software components, class components, and task components, and processes, functions, properties, procedures, and the like. Subroutines, segments of program code, drivers, firmware, microcode, circuitry, data, databases, data structures, tables, arrays, and variables. Functions provided within components and 'parts' may be broken down into smaller numbers of components and 'parts' or further separated into additional components and 'parts'. In addition, the components and '~' may be implemented to play one or more CPUs in the device or secure multimedia card.

상술한 모든 기능은 상기 기능을 수행하도록 코딩된 소프트웨어나 프로그램 코드 등에 따른 마이크로프로세서, 제어기, 마이크로제어기, ASIC(Application Specific Integrated Circuit) 등과 같은 프로세서에 의해 수행될 수 있다. 상기 코드의 설계, 개발 및 구현은 본 발명의 설명에 기초하여 당업자에게 자명하다고 할 것이다.All of the above functions may be performed by a processor such as a microprocessor, a controller, a microcontroller, an application specific integrated circuit (ASIC), or the like according to software or program code coded to perform the function. The design, development and implementation of the code will be apparent to those skilled in the art based on the description of the present invention.

이상 본 발명에 대하여 실시예를 참조하여 설명하였지만, 해당 기술 분야의 통상의 지식을 가진 자는 본 발명의 기술적 사상 및 영역으로부터 벗어나지 않는 범위 내에서 본 발명을 다양하게 수정 및 변경시켜 실시할 수 있음을 이해할 수 있을 것이다. 따라서 상술한 실시예에 한정되지 않고, 본 발명은 이하의 특허청구범위의 범위 내의 모든 실시예들을 포함한다고 할 것이다.While the present invention has been particularly shown and described with reference to exemplary embodiments thereof, it will be understood by those skilled in the art that various changes and modifications may be made therein without departing from the spirit and scope of the invention. You will understand. Therefore, the present invention is not limited to the above-described embodiment, and the present invention will include all embodiments within the scope of the following claims.

도 1은 본 실시예에 따른 임베디드 시스템 결함검출률 평가 장치의 일 예를 나타내는 블록도이다.1 is a block diagram illustrating an example of an apparatus for evaluating a defect detection rate of an embedded system according to an exemplary embodiment.

도 2는 본 실시예에 따른 임베디드 시스템 결함검출률 평가 장치의 다른 예를 나타내는 블록도이다.2 is a block diagram showing another example of an embedded system defect detection rate evaluation apparatus according to the present embodiment.

도 3은 본 실시예에 따른 임베디드 시스템 결함검출률 평가 방법을 나타내는 순서도이다.3 is a flowchart illustrating a method for evaluating an embedded system defect detection rate according to the present embodiment.

<도면 주요 부분에 대한 부호의 설명><Explanation of symbols for the main parts of the drawings>

111: 주입대상 결함 정보 저장부 112: 결함 생성부111: injection target defect information storage unit 112: defect generation unit

113: 결함 선별부 114: 소프트웨어 실행추적 기록저장부113: defect screening unit 114: software execution tracking record storage

115: 메모리값 변화정보 저장부 116: 대상 시스템 상태정보 취득부115: memory value change information storage unit 116: target system state information acquisition unit

117: 결함주입실험 결과 처리부 118: 결함주입실험 결과 저장부117: defect injection test result processing unit 118: defect injection test result storage unit

119: 결함 주입부119: defect injection unit

Claims (14)

임베디드 시스템에 0과 1의 디지털 데이터값이 비트단위 오류로 상기 시스템의 기억장치에 저장되는 결함이 발생하였을 경우 상기 결함을 검출할 수 있는 확률인 결함검출률을 평가하는 장치에 있어서,A device for evaluating a defect detection rate, which is a probability of detecting a defect when an embedded system has a defect in which digital data values of 0 and 1 are stored in a memory device of the system due to a bit unit error. 상기 결함검출률 평가를 위해 고려해야 할 사항으로부터 결함을 생성하는 결함 생성부;A defect generation unit generating a defect from the matter to be considered for evaluating the defect detection rate; 상기 생성된 결함을 상기 임베디드 시스템의 소프트웨어의 실행추적 기록 및 상기 소프트웨어의 실행추적 기록에 해당하는 메모리값의 변화에 대한 정보로부터 상기 결함들이 상기 임베디드 시스템에 오류를 발생시킬 수 있는 오류 발생 결함인지 또는 상기 임베디드 시스템에 오류를 발생시키지 않을 오류 비발생 결함인지를 판별하는 결함 선별부; 및Whether the defects are error-producing defects that can cause an error in the embedded system from the information on the change of the memory value corresponding to the execution trace recording of the software of the embedded system and the execution trace recording of the software, or A defect sorting unit for determining whether an error-free defect does not cause an error in the embedded system; And 상기 오류 발생 결함이 상기 임베디드 시스템에 미치는 영향을 판별하는 결함주입실험을 수행하도록 상기 오류 발생 결함을 상기 임베디드 시스템에 주입하는 결함 주입부를 포함하되,Including a defect injection unit for injecting the error-producing defects into the embedded system to perform a defect injection experiment to determine the effect of the error-producing defects on the embedded system, 상기 결함주입실험 결과로부터 상기 결함검출률을 평가하는 임베디드 시스템 결함검출률 평가 장치.Embedded system defect detection rate evaluation device for evaluating the defect detection rate from the result of the defect injection experiment. 제 1 항에 있어서,The method of claim 1, 상기 소프트웨어의 실행추적 기록은 순차적으로 수행된 명령어를 포함하는 정보인 임베디드 시스템 결함검출률 평가 장치.Execution tracking recording of the software is embedded system defect detection rate evaluation device that is information containing sequentially performed instructions. 제 1 항에 있어서,The method of claim 1, 상기 메모리값의 변화는 레지스터들에 대한 값의 변화인 임베디드 시스템 결함검출률 평가 장치.And wherein the change in the memory value is a change in the value for the registers. 제 1 항에 있어서,The method of claim 1, 상기 결함검출률 평가를 위해 고려해야 할 사항은 디지털 데이터값이 0으로 고정되는 0고착결함, 디지털 데이터값이 1로 고정되는 1고착결함 및 디지털 데이터값이 0과 1사이에서 전환되는 비트값전환을 포함하는 결함종류, 결함이 발생하는 비트를 나타내는 결함위치, 결함발생시각 및 결함소멸시각을 포함하는 임베디드 시스템 결함검출률 평가 장치.Considerations for evaluating the defect detection rate include zero fixation defects in which the digital data values are fixed to zero, one fixation defects in which the digital data values are fixed to one, and bit value conversion in which the digital data values are switched between 0 and 1. An embedded system defect detection rate evaluation apparatus including a type of a defect, a defect position indicating a bit where a defect occurs, a defect occurrence time, and a defect extinction time. 제 4 항에 있어서,The method of claim 4, wherein 상기 생성된 결함이 0고착결함인 경우,If the generated defect is 0 stuck defect, 상기 결함 선별부에서 상기 0고착결함이 오류 발생 결함인지의 판별은 In the defect sorting unit, determining whether the 0 fixed defect is an error occurrence defect 상기 0고착결함의 지속시간과 상기 생성된 결함을 주입시킬 저장공간에 메모리값이 처음으로 쓰여진 시점과 메모리값이 마지막으로 사용된 시점의 사이 시간인 메모리값의 유효기간 사이에 공통으로 포함되는 기간에 대해서 상기 메모리값의 변화에 해당하는 해당 비트값들에 대해 비트단위 논리합(OR)연산을 수행하여 결과값 이 1이 되면 상기 0고착결함을 오류 발생 결함으로 판별하는 임베디드 시스템 결함검출률 평가 장치.A period that is commonly included between the duration of the zero fixation fault and the validity period of the memory value that is the time between when the memory value is first written to the storage space into which the generated defect is to be injected and when the memory value is last used And performing a bitwise OR operation on the corresponding bit values corresponding to the change in the memory value, and when the result value is 1, the embedded system defect detection rate evaluation device for determining the 0 fixed defect as an error occurrence defect. 제 4 항에 있어서,The method of claim 4, wherein 상기 생성된 결함이 1고착결함인 경우,If the generated defect is 1 fixed defect, 상기 결함 선별부에서 상기 1고착결함이 오류 발생 결함인지의 판별은 In the defect sorting unit, whether the first fixed defect is an error occurrence defect 상기 1고착결함의 지속시간과 상기 생성된 결함을 주입시킬 저장공간에 메모리값이 처음으로 쓰여진 시점과 메모리값이 마지막으로 사용된 시점의 사이 시간인 메모리값의 유효기간 사이에 공통으로 포함되는 기간에 대해서 상기 메모리값의 변화에 해당하는 해당 비트값들에 대해 비트단위 논리곱(AND)연산을 수행하여 결과값이 0이 되면 상기 1고착결함을 오류 발생 결함으로 판별하는 임베디드 시스템 결함검출률 평가 장치.A period that is commonly included between the duration of the first fixation fault and the validity period of the memory value that is the time between when the memory value is first written to the storage space into which the generated defect is to be injected and when the memory value is last used Embedded system defect detection rate evaluation device for performing a bit-wise AND operation on the corresponding bit values corresponding to the change of the memory value to determine that the first fixed defect is an error occurrence defect. . 제 1 항에 있어서,The method of claim 1, 상기 생성된 결함을 상기 오류 발생 결함 및 상기 오류 비발생 결함을 판별한 결과를 저장하는 결함 선별결과 저장부를 더 포함하고,The apparatus may further include a defect screening result storage unit configured to store the generated defect as a result of determining the error generating defect and the error non-occurring defect. 상기 결함 주입부는 상기 결함 선별결과 저장부에 저장된 정보를 바탕으로 상기 오류 발생 결함을 상기 임베디드 시스템에 주입하는 임베디드 시스템 결함검출률 평가 장치.And a defect injector evaluating an embedded system defect detection rate based on information stored in the defect sorting result storage unit. 제 1 항에 있어서,The method of claim 1, 상기 오류 발생 결함이 상기 임베디드 시스템에 미치는 영향을 상기 결함이 검출되는 경우(a), 무한루프를 발생하는 경우(b) 및 잘못된 출력을 발생하는 경우(c)로 분류할 때, 상기 결함 검출률은
Figure 112009044396223-PAT00003
인 임베디드 시스템 결함검출률 평가 장치.
When the effect of the faulty fault on the embedded system is classified into (a) when the fault is detected, when the infinite loop is generated (b) and when the wrong output is generated (c), the defect detection rate is
Figure 112009044396223-PAT00003
Embedded system defect detection rate evaluation device.
임베디드 시스템에 0과 1의 디지털 데이터값이 비트단위 오류로 상기 시스템의 기억장치에 저장되는 결함이 발생하였을 경우 상기 결함을 검출할 수 있는 확률인 결함검출률을 평가하는 방법에 있어서,A method for evaluating a defect detection rate, which is a probability of detecting a defect when an embedded system has a defect in which digital data values of 0 and 1 are stored in a memory device of the system due to a bit error. 상기 결함검출률 평가를 위해 고려해야 할 사항으로부터 결함을 생성하는 단계;Generating a defect from the points to be considered for evaluating the defect detection rate; 상기 생성된 결함을 상기 임베디드 시스템의 소프트웨어의 실행추적 기록 및 상기 소프트웨어의 실행추적 기록에 해당하는 메모리값의 변화에 대한 정보로부터 상기 결함들이 상기 임베디드 시스템에 오류를 발생시킬 수 있는 오류 발생 결함인지 또는 상기 임베디드 시스템에 오류를 발생시키지 않을 오류 비발생 결함인지를 판별하는 단계; 및Whether the defects are error-producing defects that can cause an error in the embedded system from the information on the change of the memory value corresponding to the execution trace recording of the software of the embedded system and the execution trace recording of the software, or Determining whether an error-free defect will not cause an error in the embedded system; And 상기 오류 발생 결함이 상기 임베디드 시스템에 미치는 영향을 판별하는 결함주입실험을 수행하도록 상기 오류 발생 결함을 상기 임베디드 시스템에 주입하는 단계를 포함하되,Injecting the faulty defect into the embedded system to perform a defect injection experiment to determine the effect of the faulty defect on the embedded system, 상기 생성된 주입대상 결함에 대한 판별 결과 및 결함주입실험 결과로부터 상기 결함검출률을 평가하는 임베디드 시스템 결함검출률 평가 방법.Embedded system defect detection rate evaluation method for evaluating the defect detection rate from the determination result of the generated injection target defect and the defect injection test results. 제 9 항에 있어서,The method of claim 9, 상기 소프트웨어의 실행추적 기록은 순차적으로 수행된 명령어를 포함하는 정보인 임베디드 시스템 결함검출률 평가 방법.Execution tracking recording of the software is embedded system defect detection rate evaluation method comprising information sequentially performed instructions. 제 9 항에 있어서,The method of claim 9, 상기 메모리값의 변화는 레지스터들에 대한 값의 변화인 임베디드 시스템 결함검출률 평가 방법.And wherein the change in the memory value is a change in the value for the registers. 제 9 항에 있어서,The method of claim 9, 상기 결함검출률 평가를 위해 고려해야 할 사항은 디지털 데이터값이 0으로 고정되는 0고착결함, 디지털 데이터값이 1로 고정되는 1고착결함 및 디지털 데이터값이 0과 1사이에서 전환되는 비트값전환을 포함하는 결함종류, 결함이 발생하는 비트를 나타내는 결함위치, 결함발생시각 및 결함소멸시각을 포함하는 임베디드 시스템 결함검출률 평가 방법.Considerations for evaluating the defect detection rate include zero fixation defects in which the digital data values are fixed to zero, one fixation defects in which the digital data values are fixed to one, and bit value conversion in which the digital data values are switched between 0 and 1. Embedded system defect detection rate evaluation method including the type of defect, the defect position indicating the bit where the defect occurs, the defect occurrence time and the defect extinction time. 제 12 항에 있어서,13. The method of claim 12, 상기 생성된 결함이 오류 발생 결함인지 또는 오류 비발생 결함인지를 판별하는 단계에서,In the determining of whether the generated defect is an error occurrence defect or an error non-occurrence defect, 상기 생성된 결함이 0고착결함인 경우,If the generated defect is 0 stuck defect, 상기 0고착결함이 오류 발생 결함인지의 판별은 상기 0고착결함의 지속시간과 상기 생성된 결함을 주입시킬 저장공간에 메모리값이 처음으로 쓰여진 시점과 메모리값이 마지막으로 사용된 시점의 사이 시간인 메모리값의 유효기간 사이에 공통으로 포함되는 기간에 대해서 상기 메모리값의 변화에 해당하는 해당 비트값들에 대해 비트단위 논리합(OR)연산을 수행하여 결과값이 1이 되면 상기 0고착결함을 오류 발생 결함으로 판별하는 임베디드 시스템 결함검출률 평가 방법.The determination of whether the 0 fixed defect is an error occurrence defect is a time between the duration of the 0 fixed defect and the time when the memory value is first written to the storage space into which the generated defect is to be injected and the time when the memory value is last used. If the result value is 1, a bitwise OR operation is performed on the corresponding bit values corresponding to the change of the memory value for a period commonly included between the valid periods of the memory value. Method for evaluating the defect rate of embedded system to determine the occurrence defect. 제 12 항에 있어서, 13. The method of claim 12, 상기 생성된 결함이 오류 발생 결함인지 또는 오류 비발생 결함인지를 판별하는 단계에서,In the determining of whether the generated defect is an error occurrence defect or an error non-occurrence defect, 상기 생성된 결함이 1고착결함인 경우,If the generated defect is 1 fixed defect, 상기 1고착결함이 오류 발생 결함인지의 판별은 상기 1고착결함의 지속시간과 상기 생성된 결함을 주입시킬 저장공간에 메모리값이 처음으로 쓰여진 시점과 메모리값이 마지막으로 사용된 시점의 사이 시간인 메모리값의 유효기간 사이에 공통으로 포함되는 기간에 대해서 상기 메모리값의 변화에 해당하는 해당 비트값들에 대해 비트단위 논리곱(AND)연산을 수행하여 결과값이 0이 되면 상기 1고착결함을 오류 발생 결함으로 판별하는 임베디드 시스템 결함검출률 평가 방법.The determination of whether the first fixation fault is an error occurrence defect is a time between a duration of the first fixation fault and a time point when a memory value is first written to a storage space into which the generated defect is to be injected, and a time point when the memory value is last used. Bitwise AND operations are performed on the corresponding bit values corresponding to the change of the memory value for a period commonly included between the valid periods of the memory values. Method for evaluating the embedded system defect detection rate to determine the fault that occurred.
KR1020090066390A 2009-07-21 2009-07-21 An apparatus for estimating fault coverage of embedded systems and the method thereof KR101012108B1 (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
KR1020090066390A KR101012108B1 (en) 2009-07-21 2009-07-21 An apparatus for estimating fault coverage of embedded systems and the method thereof

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
KR1020090066390A KR101012108B1 (en) 2009-07-21 2009-07-21 An apparatus for estimating fault coverage of embedded systems and the method thereof

Publications (2)

Publication Number Publication Date
KR20110008849A true KR20110008849A (en) 2011-01-27
KR101012108B1 KR101012108B1 (en) 2011-02-07

Family

ID=43614796

Family Applications (1)

Application Number Title Priority Date Filing Date
KR1020090066390A KR101012108B1 (en) 2009-07-21 2009-07-21 An apparatus for estimating fault coverage of embedded systems and the method thereof

Country Status (1)

Country Link
KR (1) KR101012108B1 (en)

Cited By (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US8954807B2 (en) 2012-07-05 2015-02-10 Electronics & Telecommunications Research Institute Fault-based software testing method and system
CN106055483A (en) * 2016-06-06 2016-10-26 重庆大学 Warning classification method for cost-sensitive neural network based on undersampled operation

Families Citing this family (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN106095671B (en) * 2016-06-06 2018-10-02 重庆大学 The warning sorting technique of cost-sensitive neural network based on over-sampling operation

Family Cites Families (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US7350113B2 (en) 2004-05-11 2008-03-25 International Business Machines Corporation Control method, system, and program product employing an embedded mechanism for testing a system's fault-handling capability
KR20080050117A (en) * 2006-12-01 2008-06-05 삼성전자주식회사 Method and system of reinforcing reliability in embedded software
KR100868762B1 (en) * 2006-12-01 2008-11-17 삼성전자주식회사 Method of error detecting method for embedded sofeware
KR100959055B1 (en) * 2007-02-16 2010-05-20 한국전자통신연구원 System and embedded circuit for built-in self repair and built-in self test and method thereof

Cited By (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US8954807B2 (en) 2012-07-05 2015-02-10 Electronics & Telecommunications Research Institute Fault-based software testing method and system
CN106055483A (en) * 2016-06-06 2016-10-26 重庆大学 Warning classification method for cost-sensitive neural network based on undersampled operation
CN106055483B (en) * 2016-06-06 2019-03-22 重庆大学 The warning classification method of cost-sensitive neural network based on lack sampling operation

Also Published As

Publication number Publication date
KR101012108B1 (en) 2011-02-07

Similar Documents

Publication Publication Date Title
US7856582B2 (en) Techniques for logic built-in self-test diagnostics of integrated circuit devices
JP5430570B2 (en) Method for test suite reduction by system call coverage criteria
US8738977B2 (en) Yield-enhancing device failure analysis
CN112041821B (en) Apparatus, system, and process for redundant processor error detection
US20090089636A1 (en) Method and Apparatus for Logic Built In Self Test (LBIST) Fault Detection in Multi-Core Processors
Ghosh-Dastidar et al. Fault diagnosis in scan-based BIST using both time and space information
US20030208710A1 (en) Method and apparatus for determining the failing operation of a device-under-test
US7873890B2 (en) Techniques for performing a Logic Built-In Self-Test in an integrated circuit device
Bernardi et al. On-line functionally untestable fault identification in embedded processor cores
US8327334B2 (en) Replay of program executions using cross-entropy
US11520963B2 (en) System and method for formal fault propagation analysis
CN106021014A (en) Memory management method and device
Wang et al. Multiple fault diagnosis using n-detection tests
US9411007B2 (en) System and method for statistical post-silicon validation
KR101012108B1 (en) An apparatus for estimating fault coverage of embedded systems and the method thereof
KR101940486B1 (en) Low cost apparatus and method for error-based program testing
CN111309584B (en) Data processing method, device, electronic equipment and storage medium
US6675323B2 (en) Incremental fault dictionary
CN111562998A (en) Memory diagnosis method and device for integrated circuit and storage medium
CN115840707A (en) Flash test method, device and medium
US20210158882A1 (en) Testing memory cells by allocating an access value to a memory access and granting an access credit
von Bochmann et al. Testing k-safe petri nets
CN108984397B (en) Black box fault injection method and system and medium equipment
CN112798944A (en) FPGA hardware error attribution analysis method based on online real-time data
US6986110B1 (en) Automated method and system for backtracing of instruction parameters from specified instruction in test cases

Legal Events

Date Code Title Description
A201 Request for examination
E701 Decision to grant or registration of patent right
GRNT Written decision to grant
FPAY Annual fee payment

Payment date: 20131227

Year of fee payment: 4

FPAY Annual fee payment

Payment date: 20160105

Year of fee payment: 6

LAPS Lapse due to unpaid annual fee