• The KIPS Transactions:PartD
• /
• v.16D no.6
• /
• pp.911-920
• /
• 2009

Airbone software must comply the DO-178B standard in order to be certified by the FAA. The standard requires the unit testing of safety-critical software to meet the coverage criterion called MC/DC(Modified Condition/Decision Coverage). Although MC/DC is known to be effective in finding errors related to safety, it is also true that generating test cases which satisfy the MC/DC criterion is not easy. This paper presents a tool named MD-SAT which generates MC/DC test cases with SAT(SATisfiability) technology. It can be employed for generating diverse test cases in tools implementing various testing techniques including decision table based test, cause-effect graphing, and state-based test.

• Journal of the Korean Society of Food Science and Nutrition
• /
• v.36 no.3
• /
• pp.291-297
• /
• 2007

This study was conducted to investigate the hepatic detoxification effect of microcluster-water (McW). Animal experiments were divided into 4 groups: distilled water intake group (DC), distilled water intake-bromobenzene treated group (DB), McW intake group (MC), and McW intake-bromobenzene treated group (MB). There were no significant differences in alanine aminotransferase and aspartate aminotransferase activities between DC and MC groups, but the activities in MB group were significantly (p<0.05) lower than those in DB group. No apparent changes of aniline hydrolase activity were shown in all experimental groups, while glutathione S-transferase activity in MC and MB groups was higher than that in DC and DB, respectively. The content of hepatic lipid peroxide in DC group was similar to that of MC group. In addition, the contents in DB and MB groups were significantly (p<0.05) increased than that of DC group. The increasing rate in MB group was lower than that of DB group. Also, the electron donating activity of McW was significantly (p<0.05) higher than that of distilled water. From these results, it could be suggested that McW has the possibility of having detoxification effect of bromobenzene induced hepatic injury by increasing glutathione S-transferase, which is known as a kind of hepatiic detoxification enzyme.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2008.05a
• /
• pp.327-330
• /
• 2008

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

• Proceedings of the Korea Information Processing Society Conference
• /
• 2016.10a
• /
• pp.423-425
• /
• 2016

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

• IMMUNE NETWORK
• /
• v.6 no.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.

• Journal of KIISE:Software and Applications
• /
• v.27 no.10
• /
• pp.1003-1014
• /
• 2000

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

• Proceedings of the Korea Information Processing Society Conference
• /
• 2017.11a
• /
• 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
• /
• v.11 no.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.

• The Transactions of the Korean Institute of Power Electronics
• /
• v.2 no.3
• /
• pp.44-50
• /
• 1997

This paper describes an indirect sensing method for the rotor flux position of interior permanent magnet (IPM) brushless DC motors. The phase inductances of an IPM motor vary appreciably according to the rotor position. The waveform characteristics of the terminal voltage of IPM brushless DC motors is analysed and a simple and practical method for indirect sensing of the rotor position is proposed. A compact and economical sensorless drive is implemented and tested using a 87c196mc 16-bit one-chip microprocessor. The experimental results show the validity of the proposed method. The drive is applied to drive a compressor of air-conditioner and works well from 1,200 to 6,600 [rpm].

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04b
• /
• pp.444-446
• /
• 2000

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