• 정보처리학회논문지D
• /
• 제16D권6호
• /
• pp.911-920
• /
• 2009

항공 소프트웨어가 FAA(미국연방항공청)에 승인받기 위해서는 DO-178B 표준에 따라야 한다. DO-178B에서는 안전 필수 소프트웨어의 단위 테스트가 MC/DC 기준을 만족하기를 요구하고 있다. MC/DC에 따른 테스트는 안전성과 관련된 오류를 효과적으로 찾을 수 있는 수단으로 알려져 있지만 MC/DC를 만족하는 테스트 케이스를 생성하는 작업이 용이하지 않는 것도 사실이다. 이 논문에서는 MD-SAT이라고 명명한 SAT(SATisfiability) 기술을 사용하여 MC/DC를 만족하는 테스트 케이스를 자동으로 생성하는 도구에 대해 소개한다. 이 도구는 결정표 기반 테스트, 인과 그래핑 및 상태 전이 테스트 방법을 구현한 도구에서 보다 다양한 테스트 케이스 생성을 위해 사용될 수 있다.

• 한국식품영양과학회지
• /
• 제36권3호
• /
• pp.291-297
• /
• 2007

McW의 간 해독효과를 조사하였다. 실험군은 총 4개군 즉, 증류수급여군으로 대조군(DC)과 증류수를 3주간 섭취케 한 후 희생직전에 BB를 처리한 군(DB), McW 급여군으로는 McW 대조군(MC)과 McW를 3주간 섭취케 한 후 희생직전에 BB를 처리한 군(MB)의 4개 군으로 구분하였다. DC군과 MC군의 혈청 ALT 및 AST 활성은 뚜렷한 차이를 보이지 않았으나 MB군에서는 DB군에 비하여 유의하게 낮았다. 간 AH 활성은 모든 실험군에서 유의한 변동이 없었으나 GST 활성은 MC군이 DC군에 비하여, MB군이 DB군에 비하여 각각 높았다. 간 조직의 LPO 함량은 DC 및 MC군이 유사하였으며, DB 및 MB군 모두 DC군보다 유의하게 증가하였으나 그 증가율은 MB군이 DB군에 비하여 낮았다. McW의 전자공여능은 DW에 비하여 유의하게 높았다. 이상의 결과 McW는 간 해독효소의 일종인 GST의 활성을 증가시킴과 동시에 McW의 지속적인 섭취에 의한 항산화 작용에 의해 해독작용을 나타내는 것으로 생각되나 추후 계속적인 연구검토가 행해져야할 것이다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2008년도 춘계학술발표대회
• /
• pp.327-330
• /
• 2008

본 논문은 도형 요구사항(Requirement Diagram)을 기반으로 MC/DC를 만족하는 테스트 케이스를 생성하는 방법을 기술한다. MC/DC는 테스트 케이스의 여러 커버리지 중 테스트 케이스의 질 측면과 효율성 측면에서 우수하다. 하지만 MC/DC는 구조적 커버리지(Structural Coverage)로써 이를 바로 도형 요구사항에 대해 적용시킬 수 없다. 그러므로 MC/DC를 기반으로 도형 요구사항에 적용하는 방법을 제시한다.

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

콘콜릭 테스팅(Concolic testing)은 프로그램 실행을 실제 구체적인 입력 값(Concrete Values)을 입력하며, 동시에 심볼릭 실행 (Syrnbolic execution)을 진행하는 테스팅 기법이다. 콘콜릭 테스팅은 모든 실행 가능 경로를 탐색하여, 테스트 케이스를 자동 생생한다. 그래서 높은 분기 커버리지를 나타내지만, 안전성을 목표로 하는 MC/DC 커버리지는 만족하지 못한다. 본 논문에서는 분기 커버리지와 MC/DC 커버리지를 만족하는 테스트 케이스를 자동생성하는 CREST 도구 개선을 제안한다.

• IMMUNE NETWORK
• /
• 제6권3호
• /
• pp.145-153
• /
• 2006

Background: Tumor cell lysate has been considered as a preferential antigen source for the therapeutic dendritic cell pulsing. Our experiences with in vivo study with animal tumor model indicate the tumor cell lysate dependent differential effect of DC therapy. Our previous data show that MC38 lysate pulsed-DC induced stronger ag-specific immunity than CT26 lysate pulsed-DC in vitro. In this study we tried to reveal the mechanism for differential induction of ag-specific immunity of different colon cancer cell lysate pulsed-DCs. Methods: MC38 and CT26 cell lines were prepared as lysate by freezing-thawing procedure. Tumor cell antigenicity was confirmed by detecting the surface expression of MHC I/II & B7.1/2 molecules. IL-10, IL-12 and TGF-beta in the tumor cell lysate were detected by ELISA and the presence of heat shock proteins were analysed by western blotting. Results: The secretion of IL-10, a immune-inhibitory cytokine was about 470% higher in CT26 lysate than in MC38. Hsp 70 was detected only in the MC38 lysate but not in the CT26. On the other hand, Hsp 60 and 90 expression were not different in two colon cancer cell lysates. Conclusion: In two different colon cancer cell lysate, immune inhibitory IL-10 (higher in CT26) and Hsp70 (MC38 superiority) were differentially expressed. These data indicate that higher agspecific immunity induction by MC38 lysate pulsed-DC may due to the expression of hsp70 and lower secretion of IL-10, a immune-inhibitory cytokine than CT26 lysate. The significance of other cytokine and the surface marker expression will be discussed.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제27권10호
• /
• pp.1003-1014
• /
• 2000

MPEG은 동영상 압축 규약의 하나로서 고하질을 유지하면서 높은 압축율을 제공하기 때문에 그 사용 범위가 점차로 넓어지고 있으며, 또한 이러한 이유로 인해서 MPEG 데이터에 대한 편집 시스템의 요구도 점차 증가되고 있다. 그러나. MPEG 스트림에 대한 편집은 대부분 공간 영역에서 수행되기 때문에 수행 시간이 오래 걸리고 화질이 저하된다는 단점을 안고 있다. 본 논문에서는 DC 이미지를 이용한 MC-DCT 영역에서의 자막 처리 방법을 제안함으로써 기존의 자막 처리 방법이 안고 있는 단점을 극복하도록 하였다. 제안한 방법에서는 MC-DCT 영역에서의 워터마크 삽입 방법[1]을 응용하여 빠른 처리가 가능하도록 하였으며, MC-DCT 영역에서 쉽게 구할 수 있는 DC 이미지를 이용하여 화면 상태에 따라 자막의 세기를 조절함으로써 P,B 프레임의 처리 과정에서 발생하게 되는 화질 저하를 최소화하도록 하였다. 이러한 MC-DCT 영역에서의 자막 방법을 사용함으로써 기존의 자막 처리 방법 보다 약 4.9배 빠른 수행 속도를 얻을 수 있었으며, 화질 보존의 측면에서도 기존의 자막 처리 방법이 화면 전체에 대해서 화질 저하가 발생하는 반면 제안한 방법은 자막이 들어가는 부분에 대해서만 화질 저하가 발생하였다. 이러한 방법을 MPEG 스트림에 대해서 사용하게 된다면, 소프트웨어만을 이용한 저가의 데스크 탑 환경에서도 효율적인 자막 처리가 가능하게 될 것이다.

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

차량 내 전장부품이 증가하고, 차량 OEM(Original Equipment Manufacturing)이 다양한 차종을 생산 판매함에 따라 다양한 SW(software) 형상이 개발되고 있다. 따라서, 기존에 개발된 SW 형상과 변경된 SW 형상 간에 기능 일치성 검증에 대한 필요성이 증가하고 있다. 두 가지 SW 형상 간에 기능 일치성 확인을 위한 테스팅 방법으로 Back-to-Back Testing이 있는데, 이는 각 SW 형상에 동일한 입력값을 주입하고 동일한 출력값이 산출되는 지 확인하는 테스팅 방법이다. Back-to-Back Testing 수행 시 Test case 설계가 필요한데, Test case의 분량과 테스팅 종료기준에 대해서 아직 확립이 되어 있지 않다. 이제 본 논문에서는 MC/DC(Modified Condition/Decision Coverage) 개념을 이용하여 Test case 분량과 테스팅 종료 기준에 대해서 제시하고, 이를 적용한 사례를 설명한다. 본 논문에서 제시한 Test case 설계 기준을 적용하면, 제한적인 테스팅 일정과 인력을 만족하고, 기능 일치를 확인할 수 있는 충분한 테스팅이 가능할 것으로 판단한다.

• IMMUNE NETWORK
• /
• 제11권6호
• /
• pp.383-389
• /
• 2011

Background: EY-6 is one of the newly synthesized indoledione derivatives to induce tumor cell-specific cell death. In this study, we investigated the mechanism of immunological death induced by EY-6 at mouse colon cancer cell as well as at the normal immune cell represented by dendritic cell. Methods: C57BL/6 mouse syngeneic colon cancer cell MC38 was treated with EY-6, and analyzed by MTT for viability test, flow cytometry for confirming surface expressing molecules and ELISA for detection of cytokine secretion. Normal myeloid-dendritic cell (DC) was ex vivo cultured from bone marrow hematopoietic stem cells of C57BL/6 mice with GM-CSF and IL-4 to analyze the DC uptake of dead tumor cells and to observe the effect of EY-6 on the normal DC. Results: EY-6 killed the MC38 tumor cells in a dose dependent manner (25, 50 and $100{\mu}M$) with carleticulin induction. And EY-6 induced the secretion of IFN-${\gamma}$ but not of TNF-${\alpha}$ from the MC38 tumor cells. EY-6 did not kill the ex-vivo cultured DCs at the dose killing tumor cells and did slightly but not significantly induced the DC maturation. The OVA-specific cross-presentation ability of DC was not induced by chemical treatment (both MHC II and MHC I-restricted antigen presentation). Conclusion: Data indicate that the EY-6 induced tumor cell specific and immunological cell death by modulation of tumor cell phenotype and cytokine secretion favoring induction of specific immunity eliminating tumor cells.

• 전력전자학회논문지
• /
• 제2권3호
• /
• pp.44-50
• /
• 1997

본 논문은 영구자석 매입형 브러시리스 직류 전동기를 회전자 위치 센서 없이 구동하는 센서리스 드라이브의 개발에 관한 연구이다. 영구자석 매입형 전동기는 회전자의 위치에 따라 각 상의 인덕턴스가 크게 변화한다. 회전자의 위치를 간접적으로 검출하기 위해 인덕턴스 변화에 따른 단자전압 파형의 특성을 분석하고 이에 적합한 회전자 위치 간접검출 방법을 제시하였다. 또한 87c196mc 원 칩 마이크로프로세서를 이용하여 실용적이고 경제성 있는 센서리스 드라이브를 제작하여 에어콘 콤프레서의 구동에 적용하였다. 제시된 실험 결과는 본 연구에서 제안한 간접검출 방법의 타당성과 개발된 드라이브의 유용성을 보여준다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 봄 학술발표논문집 Vol.27 No.1 (B)
• /
• pp.444-446
• /
• 2000

MPEG은 동영상 압축 규약의 하나로서 고화질을 유지하면서 높은 압축율을 제공하기 때문에 그 사용 범위가 점차로 넓어지고 있으며, 또한 이러한 이유로 인해서 MPEG 데이터에 대한 편집 시스템의 요구도 점차 증가되고 있다. 그러나 MPEG 스트림에 대한 편집은 대부분 공간 영역에서 수행되기 때문에 수행 시간이 오래 걸리고 화질이 저하된다는 단점을 안고 있다. 본 논문에서는 DC 이미지를 이용한 MC-DCT 영역에서의 자막 처리 방법을 제안함으로써 기존의 자막 처리 방법이 안고 있는 단점을 극복하도록 하였다. 제안한 방법에서는 MC-DCT 영역에서의 워터마크 삽입 방법[1]을 응용하여 화면 상태에 따라 자막의 세기를 조절함으로써 P, B 프레임의 처리 과정에서 발생하게 되는 화질 저하를 최소화하도록 하였다. 이러한 MC-DCT 영역에서의 자막 방법을 사용함으로써 기존의 자막 처리 방법 보다 약 4.9배 빠른 수행 속도를 얻을 수 있었으며, 화질 보존의 측면에서도 기존의 자막 처리 방법이 화면 전체에 대해서 화질 저하가 발생하는 반면 제안한 방법은 자막이 들어가는 부분에 대해서만 화질 저하가 발생하는 반면 제안한 방법은 자막이 들어가는 부분에 대해서만 화질 저하가 발생하였다. 이러한 방법을 MPEG 스트림에 대해서 사용하게 된다면, 소프트웨어만을 이용한 저가의 데스크 탑 환경에서도 효율적인 자막 처리가 가능하게 될 것이다.