• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.40 no.12
• /
• pp.63-71
• /
• 2003

IDDQ testing is indispensable in improving Duality and reliability of CMOS VLSI circuits. But the major problem of IDDQ testing is slow testing speed due to time-consuming IDDQ current measurement. So one requirement is to reduce the number of target faults or to make the test sets compact in fault model. In this paper, we consider equivalent fault collapsing for transistor short faults, a fault model often used in IDDQ testing and propose an efficient algorithm for reducing the number of faults that need to be considered by equivalent fault collapsing. Experimental results for ISCAS benchmark circuits show the effectiveness of the proposed method.

• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06b
• /
• pp.193-195
• /
• 2012

소프트웨어 시스템의 신뢰성과 안정성을 보장하기 위해서는 시스템에 내재된 결함을 가능한 많이 줄이는 것이 중요하다. 이는 테스팅을 통해 수행할 수 있으며, 상태 다이어그램을 기반으로 한 테스팅 기법들이 많이 연구되고 있다. 이러한 연구들은 상태와 전이의 경로 커버리지에 초점을 두고, 메시지 시퀀스에 따른 테스트를 고려한다. 하지만 메시지 시퀀스에 따른 테스트 케이스는 모두 정상적인 환경의 테스트 데이터를 반영하고, 그에 따라 무효한 테스트에 취약성을 보인다. 따라서 본 논문에서는 부가적인 산출물을 최소화하고, 시스템의 예외처리를 강화하기 위해 가상의 비정상 전이와 상태를 추가하여 상태 다이어그램으로부터 무효한 테스트 케이스를 도출하는 방법을 제안한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2019.10a
• /
• pp.664-667
• /
• 2019

소프트웨어 개발 주기의 마지막 단계인 테스팅 단계의 가치 및 중요도가 높아짐에 따라, 소프트웨어 테스팅 자동화 도구에 대한 수요 역시 비례하여 증가하는 추세이다. 이에 테스트 자동화 도구를 개발하여 테스트 기간 및 소요 인력, 비용을 감소시킴과 동시에 테스트 성능은 유지 혹은 개선시켜 소프트웨어 품질을 향상시키고자 한다. 본 연구에서는 Rule-based random testing 을 위한 테스트케이스 자동 생성 프로그램을 개발하고 이를 위한 테스트케이스 자동 생성 알고리즘을 제안한다.

• Proceedings of the Korea Technology Innovation Society Conference
• /
• 2001.11a
• /
• pp.19-35
• /
• 2001

우리나라에서 수행된 국책연구개발기술과 관련된 기존 연구는 주로 기술개발에 초점이 맞추어진 관계로, 개발기술의 상용화는 연구개발 결과평가요인의 하나로서 다루어졌을 뿐, 그 자체를 효율화하기 위한 체계적인 연구는 없었다고 해도 과언이 아니다. 이러한 결과로 실제 국책연구개발의 기술적인 이전이 부족하고, 여러 분야에로의 2차 확산을 통한 상용화에 대한 성공률이 상대적으로 낮은 수준에 머무르고 있다. 또한 국내에서 출원된 특허를 포함한 산업재산권의 휴면 율이 55%-65% 수준에 이르고 있다. 이와 같이 연구개발기술의 산업계로의 확산이 부족한 관계로 국제적인 기술경쟁력의 제고가 어려우며, 기술발전과 산업발전이 상호 작용하는 선 순환적 구조를 이루지 못하고 있다. 따라서 본고에서는 기술집약형 중소기업 또는 기술벤처기업을 통한 정보통신산업분야의 정부지원 연구개발 기술의 상업화를 촉진하기 위한 효율적 방안의 도출을 위하여, 일차적으로 연구개발 기술의 상용화프로세스 모형을 도출하고, 다음으로 도출된 모형의 단계별 특성에 대한 기술개발자, 기술사용기업, 지원기관간의 중요도 차이를 분석하고자 한다. 이를 위하여 기존의 기술상용화 관련문헌 분석과, 우리나라의 정보통신 분야의 상용화 특성분석을 통하여, 우리나라 기술개발특성에 맞는 6 단계의 상용화프로세스 모형, 즉 1) 연구개발 계획 및 제안서 작성, 2)연구개발의 수행, 3)개발기술의 인큐베이팅과 시작품제작, 4)테스팅, 엔지니어링 및 시험생산, 5) 공장입지 결정 및 대량생산, 6) 시장판매, 마케팅 및 확산 등을 도출하였다. 아울러 동 모형의 단계별 특성을 설문지로 작성하여, 기술사용기업(벤처기업 및 기술집약형 중소기업), 기술개발자(국책연구소, 대학, 및 일반기업), 관련기관(정부, TBI운영기관, 정책 및 지원기관)을 대상으로 설문조사를 하였다. 회수 및 사용된 142개 설문지 분석을 통하여, 일차적으로 정보통신 국책개발기술의 상용화에 관한 변수들의 중요도 순위로 본 중요도 실태를 분석하였으며, 나아가 이들 변수에 대하여 앞에서 제시한 기술사용기업-기술개발자-관련기관 즉 세 집단 간의 차이분석 즉 ANOVA 분석을 하였다. 이러한 분석을 통하여 우리나라 정보통신 국책연구개발기술의 상용화와 관련된 특성을 도출하는 동시에, 이를 촉진하기 위한 인프라조성과 관련한 중요한 특성 및 지원정책 대안을 도출하였다.

• Journal of Digital Convergence
• /
• v.12 no.1
• /
• pp.371-377
• /
• 2014

Software quality is very important in software. We think, software testing is very important in point of functionality, usability. But, we have to consider about all of the software quality. We change our thinking about software quality from time to time. In this paper, we try to the best to find important factors by the number of testing dates and the number of testing in point of functionality, usability, reliability, efficiency, portability, maintainability. We study the mean of the number of faults according to products. We find the difference the number of errors by sex of tester.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.10
• /
• pp.2575-2583
• /
• 1998

The productionof the highly relible softwae systems and theirs performance evaluation hae become important interests in the software industry. The software evaluation has been mainly carried out in ternns of both reliability and performance of software system. Software reliability is the probability that no software error occurs for a fixed time interval during software testing phase. These theoretical software reliability models are sometimes unsuitable for the practical testing phase in which a software error at a certain testing stage occurs by causes of the imperfect debugging, abnornal software correction, and so on. Such a certatin software testing stage needs to be considered as an outlying stage. And we can assume that the software reliability does not improve by means of muisance factor in this outlying testing stage. In this paper, we discuss Bavesian software reliability growth modeling and estimation procedure in the presence of an imidentitied outlying software testing stage by the modification of Jehnski Moranda. Also we derive the Bayes estimaters of the software reliability panmeters by the assumption of prior information under the squared error los function. In addition, we evaluate the proposed software reliability growth model with an unidentified outlying stage in an exchangeable model according to the values of nuisance paramether using the accuracy, bias, trend, noise metries as the quantilative evaluation criteria through the compater simulation.

• Archives of design research
• /
• v.14 no.3
• /
• pp.69-76
• /
• 2001

In the new product development process, concept testing which screens ideas with the highest probability of market success is very effective in predicting the success of a new product. However, designers do not have accurate guidelines in new product development because the structure of cause and effect of consumers' preference - the most important part of concept testing - has not been provided as quantitative data. Therefore, the aim of this study is to present guidelines for new product concept development through applying means-end chain theory and product form theory which explains what kinds of benefits cause consumers to purchase a product and what kinds of design attributes meet the benefits. In this study, after reviewing means-end chain theory and product form theory, and developing a research model, guidelines for a concept product development (TV are provided through an empirical study.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.9
• /
• pp.2384-2392
• /
• 1999

Software engineers are used to analyse the error behavior of computer programs using test cases which are collected for the testing phase when software errors are detected. In actual software testing and debugging, it is important to adopt dynamic slicing technique which is concerned on all the statements to be affected by the variables of current inputs and to use technique of its implementations. The traditional dynamic slicing has focused on the single slicing criterion algorithm. It has been thought that it is needed to develope and implement algorithm for used multiple criteria variables program slicing, which finds every slicing criterion variable where it is used multiple criteria variables. In this paper, we propose an efficient algorithm to make dynamic program slices when it has used multiple criteria variables. The results of the implementation are presented by the making table on execution history and the dynamic dependence graph. Also we can find that the proposed dynamic program slicing approach using multiple criteria variables is more efficient than the traditional single case algorithm on the practical testing environment.

• KIPS Transactions on Software and Data Engineering
• /
• v.10 no.4
• /
• pp.115-124
• /
• 2021

Since function block diagram (FBD) programs are widely used to implement safety-critical systems, effective testing for FBD programs has become important. Mutation testing, a fault-based testing, is highly effective in fault detection but computationally expensive. To support testers for FBD programs, we propose an automated mutant generator for FBD programs. We designed the MuGenFBD tool with the cost and equivalent mutant issues in consideration. We conducted experiments on real industrial examples to present the performance of MuGenFBD. The results show that MuGenFBD can generate mutants for FBD programs automatically with low probability of equivalent mutants and low cost. This tool can effectively support mutation analysis and mutation-adequate test generation for FBD programs.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.61-63
• /
• 2002

복잡한 하드웨어 및 소프트웨어를 설계함에 있어 그 안정성에 대한 보장이 매우 중요하다. 이를 위해 정형 검증이나 테스팅과 같은 많은 기법을 활용하고 있다. 그러나 안정성 검증을 위해 시스템을 모델링하고 데스트 케이스를 만드는 과정에서 상태 폭발에 따른 메모리의 한계에 부딪히게 된다. 본 논문에서는 이러한 문제를 해결하고, 메모리를 효율적으로 이용할 수 있는 탐색방법을 이용한 데스트 케이스 생성 알고리즘을 제안한다.