• 대한전자공학회논문지SD
• /
• 제40권12호
• /
• pp.63-71
• /
• 2003

IDDQ 테스팅은 CMOS VLSI 회로의 품질 및 신뢰성 향상에 중요한 테스트 방식이다. 그러나 상대적으로 느린 IDDQ 테스트를 위해서는 고려한 고장 모델에서 발생 가능한 고장의 수를 감소하거나 가능한 적은 수의 테스트 패턴을 유지하는 게 필요하다. 본 논문에서는 IDDQ 테스팅에 자주 이용되는 트랜지스터 합선 고장 모델에서 발생 가능한 고장의 수를 효과적으로 감소시킬 수 있는 효율적인 등가 고장 중첩 알고리즘을 제안한다. ISCAS 벤치마크 회로의 모의 실험을 통하여 제안된 방식의 우수한 성능을 확인하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2012년도 한국컴퓨터종합학술대회논문집 Vol.39 No.1(B)
• /
• pp.193-195
• /
• 2012

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

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2019년도 추계학술발표대회
• /
• pp.664-667
• /
• 2019

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

• 한국기술혁신학회:학술대회논문집
• /
• 한국기술혁신학회 2001년도 추계학술대회
• /
• pp.19-35
• /
• 2001

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

• 디지털융복합연구
• /
• 제12권1호
• /
• pp.371-377
• /
• 2014

소프트웨어에 있어서 가장 중요한 요인은 소프트웨어 품질이다. 소프트웨어를 평가하는 기준은 제품의 기능적인 측면이나 사용성적인 측면도 중요하지만 이것을 모두 한꺼번에 고려한 소프트웨어 품질이 가장 중요하다고 보여진다. 현재 국내 소프트웨어의 경우도 갈수록 품질에 대한 인식이 많이 변화하고 있다. 이러한 측면에서 본 연구는 소프트웨어 품질을 평가하기 위해서 기능성, 사용성, 신뢰성, 효율성, 이식성, 유지보수성의 6가지 품질에 대해서 시험의 횟수와 시험날짜에 가장 영향을 미치는 요인을 발견하고 제품의 종류별 품질 특성의 오류수에 대한 차이 검정을 실시하여 보았다. 본 조사결과 6가지 품질특성은 시험횟수와 시험날짜에 영향을 받고 있는 것으로 조사되었으며 제품의 종류에 따라서도 나타나는 오류의 수는 다르다는 것을 확인할 수 있었다. 또한 성별에 따라서도 발견하는 오류 수는 품질 특성별로 다르게 나타난다는 것을 알 수 있었다.

• 한국정보처리학회논문지
• /
• 제5권10호
• /
• pp.2575-2583
• /
• 1998

소프트웨어 산업에서 고신뢰성의 소프트웨어 시스템을 생산하고 그들의 성능을 평가하는 일이 중요한 관심사항이 되어왔다. 소프트웨어의 평가는 주로 소프트웨어 시스템의 신뢰성과 성능의 양쪽 관점에서 수행되어져 왔다. 소프트웨어신뢰도는 소프트웨어 테스팅 단계 동안에 한 고정된 시간구간에서 소프트웨어 오류가 발생하지 않을 확률을 말한다. 이들 이론적인 소프트웨어 신뢰성 모델들은 가끔 어떤 특정한 테스팅 구간에서는 하나의 어떤 소프트웨어 오류가 발생하여 소프트웨어 오류를 디버깅하여도 소프트웨어 고장율이 불완전 디버깅. 비정상적인 소프트웨어 수정 등등의 원인에 의해서 감소되어 실제적인 소프트웨어 테스팅 단계에서는 적당하지 않을 수도 있다. 이와 같이 부적당한 소프트웨어 테스팅 구간은 하나의 이상치 스테이지로 고려되어질 필요성이 있다. 이 이상치 소프트웨어 테스팅 구간에서만은 장애요인에 의해서 소프트웨어 신뢰도가개선이 되지 않는다고 가정한다. 이와 같은 가정아래서본 연구에서는 우선 소프트웨어 신뢰도 성장 모형에서 가장 많이 활용되는 Jelinski-Moranda모델을 변경하여 하나의 미지정된 이상치 소프트웨어 테스팅 구간을 고려하여 베이지안 방법에 의한 소프트웨어 신뢰도를 모형화하고 그 모형에 따른 소프트웨어 신뢰성 측도들을 추정하는 절차를 연구하였다. 그리고 제곱오차 결손함수의 조건아래 사전정보를 가정한 소프트웨어 신뢰도 모수의 베이즈 추정량을 제안하고, 제안된 소프트웨어 신뢰도 성장 모델을 하나의 이상치 소프트웨어 테스팅 구간상에 고려된 장애 모수의 값에 따라서 정확성, 바이어스, 추세 및 노이즈 등의 정량적인 평가 측도들을 사용하여 컴퓨터 시뮬레이션을 통하여 평가하였다.7배 높은 것으로 나타났다. 국내 건강기능식품공전 중 클로렐라 및 스피루리나제품의 엽록소 a b, 및 페오포르바이드 항목의 규격검사를 본 연구의 동시분석법으로 개정함으로써 각 성분 함량의 정량, 분석시간의 단축 및 비용절감 둥 시험방법을 크게 개선할 수 있을 것으로 기대된다. 잔주름 개선에 효과를 볼 수 있을 것으로 생각된다.른 Phenoxyethanol의 유/수 분배 측정 결과, Polarity가 낮은 oil에서는 $70\%$ 이상의 Phenoxyethanol이 수상에 존재한 반면, polarity가 높은 oil에서는 약 $70 {\~} 90\%$의 phenoxyethanol이 유상에 존재하였다. 또한, 미생물에 대한 항균력도 phenoxyethanol이 수상에 많이 존재할수록 증가하는 경향을 나타내었다. 따라서, 제형 내 oil tomposition을 변화시킴으로써 phenoxyethanol의 사용량을 줄일 수 있을 뿐만 아니라, 피부 투과를 감소시켜 보다 피부 자극이 적은 저자극 방부시스템 개발이 가능하리라 보여 진다. 첨가하여 제조한 curd yoghurt는 저장성과 관능적인 면에서 우수한 상품적 가치가 인정되는 새로운 기능성 신제품의 개발에 기여할 수 있을 것으로 사료되었다. 여자의 경우 0.8이상이 되어서 심혈관계 질환의 위험 범위에 속하는 수준이었다. 삼두근의 두겹 두께는 남녀 각각 $20.2\pm8.58cm,\;22.2\pm4.40mm$으로 남녀간에 유의한 차이는 없었다. 조사대상자의 식습관 상태는 전체 대상자의 $84.4\%$가 대부분이 하루 세끼 식사를 규칙적으로 하고 있었으며

• 디자인학연구
• /
• 제14권3호
• /
• pp.69-76
• /
• 2001

신제품개발 프로세스에서 컨셉테스팅은 신제품개발을 위해 산출된 아이디어들 중 가장 높은 시장 성공 가능성을 갖는 아이디어를 스크린하는 것으로 신제품의 성공을 예측하는데 아주 효과적이다. 그러나 실제적으로 컨셉테스팅에서 가장 중요한 부분인 소비자 선호에 대한 인과 구조가 정량적 데이터로 제공되지 못함으로써 디자이너들이 신제품을 개발하는데 있어서 정확한 가이드라인을 제공받지 못하고 있다. 따라서 본 연구는 컨셉테스트에 그러한 문제를 해결하는데 도움이 줄 수 있는 수단-목표 사슬이론과 제품 형태이론을 적용하여 소비자들이 선호하는 제품은 어떤 혜택을 내포하는지 그리고 그 혜택은 어떤 디자인 속성이 충족시키는지에 대한 구조를 제공하여 신제품 컨셉 개발에 대한 지침을 제공하는데 목적이 있다. 이를 위하여 수단-목표 사슬이론과 제품 형태이론에 대해 고찰하고 연구모델을 구축한 다음, 실증연구를 통하여 해당 카테고리제품(TV의 컨셉 개발에 대한 지침을 제공한다.

• 한국정보처리학회논문지
• /
• 제6권9호
• /
• pp.2384-2392
• /
• 1999

프로그램에서 요류가 발생되었을 때 프로그래머는 어떤 시험 사례(test case)를 통해 프로그램을 분석한다. 이처럼 현재 입력 값에 영향을 끼치는 모든 명령문들에 관련된 동적 슬라이싱(dynamic slicing)과 이를 구현하는 기술은 실제 테스팅 및 디버깅 분야에서 매우 중요하다고 할 것이다. 지금까지의 동적 슬라이싱은 슬라이싱 기준 변수가 1개 일 때의 경우에 대해서만 연구해 왔다. 그러나, 실제적인 테스팅 및 디버깅 분야에서는 슬라이싱 기준이 되는 변수가 2개 이상인 경우가 아주 많이 발생한다. 따라서 슬라이싱 기준 변수가 n 개 일 때 동적 프로그램 슬라이스(dynamic program slices)를 만드는 알고리즘을 제시하였고 프로그래밍 언어를 사용하여 동적 프로그램 슬라이싱 알고리즘을 프로그래밍한 뒤 예제 프로그램을 적용시켜 구현하였다. 구현 결과는 실행 이력에 대한 마킹 테이블(marking table)과 동적 종속 그래프로 나타내었다. 그리고, 본 논문에서 제시한 다중기준변수 동적 슬라이스 생성을 위한 마킹 알고리즘이 기존의 단일기준변수 기법보다 실제적인 테스팅 환경에서 더 우수함을 보였다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제10권4호
• /
• pp.115-124
• /
• 2021

기능 블록 다이어그램(Function Block Diagram, FBD) 프로그램이 안전 필수 시스템 구현에 널리 사용되면서 FBD 프로그램에 대한 효과적인 테스트가 중요해졌다. 뮤테이션 테스팅은 오류 기반 테스팅 기술로, 오류 탐지에 매우 효과적이지만 비용이 많이 든다. 본 연구에서는 FBD 프로그램 테스터를 지원하기 위한, FBD 프로그램 대상 자동 뮤턴트 생성기를 제안한다. MuGenFBD 도구는 뮤턴트 생성 비용과 동등 뮤턴트 문제를 고려하여 설계되었다. MuGenFBD 도구의 성능을 평가하기 위해 실제 산업 사례에 대한 실험을 수행한 결과, MuGenFBD를 활용하여 뮤턴트 생성 시 동등 뮤턴트를 생성할 비율이 낮으며 적은 비용으로 FBD 프로그램 대상 뮤턴트를 효과적으로 자동 생성할 수 있음을 확인하였다. 제안하는 도구는 FBD 프로그램에 대한 뮤테이션 분석 및 뮤테이션 충분성 기준을 만족시키는 테스트 생성을 효과적으로 지원할 수 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 가을 학술발표논문집 Vol.29 No.2 (2)
• /
• pp.61-63
• /
• 2002

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