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 PDFInfo
- 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
Links
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3668—Software testing
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/07—Responding to the occurrence of a fault, e.g. fault tolerance
- G06F11/0703—Error 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/0706—Error 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/0736—Error 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
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/30—Monitoring
- G06F11/3003—Monitoring arrangements specially adapted to the computing system or computing system component being monitored
- G06F11/3013—Monitoring 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
Description
본 발명은 디지털 시스템 결함검출률 평가 장치 및 그 방법에 관한 것으로, 특히 임베디드 시스템의 비트단위 결함검출률 평가 장치 및 그 방법에 관한 것이다.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
주입대상 결함 정보 저장부(111)는 결함검출률 평가를 위해 고려되어야 할 결함 생성을 위한 정보를 제공한다. 여기서, '결함 생성을 위한 정보'는 0고착결함(stuck-at-0 fault), 1고착결함(stuck-at-1 fault), 비트값전환(bit-flip)과 같은 '결함 종류', 어디에 결함이 발생하는가를 나타내는 '결함위치', 언제 결함이 발생하는가를 나타내는 '결함발생시각' 및 언제 결함이 사라지는가를 나타내는 '결함소멸시각' 또는 결함이 지속되는 시간을 나타내는 '결함지속시간' 등일 수 있다. The injection target defect
표 1은 주입가능한 결함 생성을 위한 정보의 예를 나타낸다.Table 1 shows an example of information for generating injectable defects.
모든 메모리 영역의 모든 비트All bits in all registers
All bits in all memory areas
결함 생성부(112)는 주입대상 결함 정보 저장부(111)로부터 결함 생성을 위한 정보를 제공받아, 예를 들어 표 1의 정보를 바탕으로 결함을 생성한다. The
결함 선별부(113)는 소프트웨어 실행추적 기록저장부(114)에 저장된 소프트웨어의 실행추적 기록과 메모리값 변화정보 저장부(115)에 저장된 그에 해당하는 메모리값의 변화에 대한 정보를 바탕으로 생성된 결함들이 대상 임베디드 시스템(200)에 오류를 발생시킬 수 있는지 여부를 판별한다. 이하에서, 임베디드 시스템(200)에 오류를 발생시킬 결함을 '오류 발생 결함'으로, 임베디드 시스템(200)에 오류를 발생시키지 않을 결함을 '오류 비발생 결함'으로 나타내기로 한다.The
이하에서는 본 실시예에 따라 결함 선별부(113)에서 결함 생성부(112)에서 생성된 결함이 오류 발생 결함인지 또는 오류 비발생 결함인지를 판별하는 것에 대하여 설명하기로 한다.Hereinafter, the determination of whether the defect generated by the
표 2는 임베디드 시스템(200)의 명령어에 따른 메모리값 변화의 일 예를 보여준다.Table 2 shows an example of a change in the memory value according to the command of the embedded
여기서, *는 메모리값이 처음으로 쓰여진 시점을 나타내고, **는 메모리값이 마지막으로 사용된 시점을 나타낸다. 소프트웨어 실행추적 기록에 따라 메모리값이 의미를 가지는 유효기간이 정해지게 되는데, 이는 메모리에 값이 처음으로 쓰여진 시점부터 메모리값이 마지막으로 사용된 시점까지이다. 따라서, * 및 ** 의 사이 시간을 '메모리값의 유효기간'으로 정의할 수 있다. 예를 들어, 표 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
결함 선별부(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
결함 선별부(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
결함 선별부(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
결함 선별부(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
다시 도 1을 참조하면, 오류 발생 결함들은 결함 주입부를 거쳐 임베디드 시스템(200)에 주입되어 결함주입실험이 수행된다. 그에 대한 상태 정보는 대상 시스템 상태정보 취득부(116)에 취득되어, 결함주입실험 결과 처리부(117)에 보내진다. Referring back to FIG. 1, the error occurrence defects are injected into the embedded
오류 비발생 결함들은 결함주입실험을 수행하지 않고 바로 결함주입실험 결과 처리부(117)에 전달된다. 결함주입실험 결과 처리부(117)에서는 상기 결과들을 결함주입실험 결과 저장부(118)에 보낸다. 결함주입실험 결과 저장부(118)는 상기 결과들을 저장하고 실험 결과들을 바탕으로 대상 임베디드 시스템(200)의 결함검출률을 평가하게 된다. 더 상세히 설명하면, 상기 결함주입실험 결과 처리부(117)에서는 생성된 결함에 대한 결함 선별부(113)의 판별 결과 및 결함주입실험을 통해서 취득된 대상 시스템 상태정보를 바탕으로 생성된 결함이 임베디드 시스템(200)에 어떠한 영향을 주는지 및 검출이 가능한지 여부를 판별하고 그 결과를 결함주입실험 결과 저장부(118)에 저장한다. The error-free defects are transmitted directly to the defect injection test
따라서, 임베디드 시스템 결함검출률 평가 장치(100)는 결함 생성부(112)에서 생성된 결함에 대해서 결함 선별부(113)에서의 오류 비발생 결함 및 오류 발생 결함의 선별 및 오류 발생 결함들에 대한 결함주입실험이 실시간으로 수행된다.Therefore, the embedded system defect detection
도 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
동일한 구성은 기능이 동일하여 자세한 설명은 생략하기로 하며, 주입대상 결함 정보 저장부(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
그런 다음, 결함 선별결과 저장부(319)에 저장된 정보를 바탕으로 오류 발생 결함들은 결함 주입부(320)를 거쳐서 임베디드 시스템에 주입이 되어 결함주입실험이 수행되고, 그에 대한 상태정보는 대상 시스템 상태정보 취득부(316)에서 취득되어 결함주입실험 결과 처리부(317)에 전달된다. 결함 선별결과 저장부(319)에 저장된 정보를 바탕으로 오류 비발생 결함으로 판별된 결함들은 결함주입실험을 수행하지 않고 바로 결함주입실험 결과 처리부(317)에 전달된다. 결함주입실험 결과 처리부(317)에서는 상기 결과들을 결함주입실험 결과 저장부(318)에 저장을 하게 되고, 결함주입실험 결과들을 바탕으로 대상 임베디드 시스템의 결함검출률을 평가하게 된다.Then, based on the information stored in the defect screening
다시 설명하면, 임베디드 시스템 결함검출률 평가 장치(300)는 결함 생성부(312)에서 생성된 결함에 대해서 결함 선별부(313)에서의 오류 발생 결함 및 오류 비발생 결함으로의 선별 과정이 먼저 수행되고, 이러한 결함 선별 과정이 완료된 이후에 결함주입실험을 수행한다.In other words, the embedded system defect detection
도 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
도 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
시각Defect
Time
시간Defect
time
표 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.
대상 임베디드 시스템에 대한 결함검출률 평가는 표 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.
따라서, 결함검출률은 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.
수학식 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)
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)
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)
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)
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 |
-
2009
- 2009-07-21 KR KR1020090066390A patent/KR101012108B1/en not_active IP Right Cessation
Cited By (3)
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 |