• 한국정보과학회논문지:소프트웨어및응용
• /
• 제35권3호
• /
• pp.149-161
• /
• 2008

프로그래머블 로직 컨트롤러(PLC: Programmable Logic Controller)가 안전성이 중요한 실시간 시스템 구현에 많이 사용되면서, PLC 프로그램에 대한 테스팅의 중요성이 날로 높아지고 있다. 본 논문에서는 PLC 프로그래밍 언어 중 하나인 함수 블록 다이어그램(FBD: Function Block Diagram)에 대한 구조적 테스팅 방안을 제안한다. FBD를 테스트하기 위해 먼저 타이머 함수 블록을 비롯한 각 함수 및 함수 블록에 대한 흐름그래프 템플릿을 정의하고, 템플릿을 기반으로 한 변환 알고리즘을 제안하며, 알고리즘을 따라 FBD로부터 변환된 흐름그래프에 기존의 제어 흐름 테스팅 커버리지와 데이타 흐름 테스팅 커버리지를 적용한다. 기존 FBD 테스팅은 테스트 케이스 생성시 FBD 내부 구조를 고려하지 않으며, FBD 프로그램으로부터 특정 중간단계 모델을 생성해 낼 수 있는 경우에만 적용될 수 있는 단점을 가진 반면, 본 논문에 제안된 방법은 FBD 내부 구조를 고려한 체계적 테스트 케이스 생성이 가능하며, 중간단계 모델의 형식에 관계없이 어떤 FBD에도 적용될 수 있다는 장점을 가진다. 특히 제안된 기법은 여러 실행주기에 걸쳐 테스트 되어야 하는 타이머 함수 블록을 포함한 FBD에 대한 철저한 테스팅을 가능하게 한다. 제안된 기법을 현재 원전계측제어시스템 개발사업단에서 개발 중인 디지털 원자로 보호계통 비교논리 프로세서 트립 논리에 적용하여 그 효과를 확인하였다.

• 한국섬유공학회:학술대회논문집
• /
• 한국섬유공학회 1998년도 봄 학술발표회 논문집
• /
• pp.80-84
• /
• 1998

Poly(ethylene terephthalate)(PET)는 물리적, 기계적 성질이 우수한 고결정성 고분자의 하나로 섬유, 필름 및 여러 가지 용도로 다양하게 사용되고 있으나, 일반적으로 흡습성, 난연성 및 염색성 등이 좋지 않은 결점이 있다. 따라서 이러한 결점을 개선하기 위하여 PET 자체의 성질을 개선하거나 다른 고분자와의 공중합 또는 블렌딩하는 방법, 첨가제의 도입, 그래프팅 등 PET의 개질 연구가 많이 수행되고 있으나 대표적인 방법으로 합성반응시 공단량체를 사용하여 공중합체를 제조하는 것이 널리 알려져 있다.(중략)

• 폴리머
• /
• 제35권5호
• /
• pp.395-401
• /
• 2011

원자이동 라디칼중합(atom transfer radical polymerization: ATRP) 반응을 이용하여 poly(methyl methacrylate)(PMMA)와 poly((2-dimethyl amino)ethyl methacrylate)(PDMAEMA) 등의 아크릴계 고분자가 각각 multi-walled carbon nanotube(MWNT) 표면에 그래프팅된 MWNT/PMMA 및 MWNT/PDMAEMA 나노복합체를 제조하였다. FTIR과 XRD 분석을 통하여 나노복합체에 존재하는 아크릴계 고분자의 특성피크를 확인하였으며 열중량분석법(TGA) 가열감량 곡선 분석을 통하여 ATRP 반응의 라디칼 리빙성이 유지됨을 확인하였다. 투과전자현미경(TEM)분석을 통하여 아크릴계 고분자가 MWNT에 그래프팅된 나노복합체의 형태(morphology)를 확인하였으며 Raman 분광분석을 수행함으로써 MWNT/PMMA 및 MWNT/PDMAEMA 나노복합체에서 고분자와 MWNT 사이에 공유결합이 형성되어 나타나는 스펙트럼 상의 D 밴드 및 G 밴드의 위치 및 세기 변화를 확인하였다.

• 폴리머
• /
• 제37권4호
• /
• pp.539-546
• /
• 2013

열응답성 고분자인 폴리(N-이소프로필아크릴아미드) (PNIPAAm) 말단에 아민기를 갖는 PNIPAAm-$NH_2$ 및 이들 알긴산 나트륨에 그래프팅시킨 공중합체를 합성하고 이들의 여러 가지 특성들을 분석하였다. PNIPAAm-$NH_2$를 합성하기 위하여 N-이소프로필아크릴아미드를 라디칼 중합할 때 2-aminoethanethiol hydrochloride (AESH)를 연쇄이동제로 사용하였다. AESH 농도를 높이면 PNIPAAm-NH2의 분자량이 작아지며 PNIPAAm-$NH_2$ 수용액의 하한임계용액온도(LCST)가 낮아졌다. N-(3-dimethylaminopropyl)-N'-ethylcarbodiimide 및 N-hydroxysuccinimide를 사용하여 PNIPAAm-$NH_2$를 graft-onto 방법으로 알긴산 나트륨에 그래프팅시킨 alginate-g-PNIPAAm 공중합체 역시 온도에 따라 팽윤-수축 거동을 하였으며, PNIPAAm-$NH_2$보다 약간 높은 온도에서 LCST를 나타내었고, 그래프트된 PNIPAAm의 양이 많아질수록 팽윤비가 커졌다.

• 멤브레인
• /
• 제31권4호
• /
• pp.268-274
• /
• 2021

지구 온난화 이슈에서 가장 고질적인 문제 중 하나는 온실가스의 배출이다. 다양한 온실 가스 중 가장 높은 비중을 차지하는 이산화탄소(CO₂)는 이를 분리하기 위해 연구자들이 지속적으로 연구를 진행해오고 있다. 이러한 관점에서 본 연구에서는 이산화탄소 기체를 분리하기 위해 poly(vinyl alcohol) (PVA) 기반 공중합체를 제조하여 기체 분리막에 활용했다. 공중합체는 자유 라디칼 중합법을 활용했으며, 곁사슬을 위한 단량체로 아크릴산(acrylic acid)를 사용하여 PVA-g-PAA(VAA) 그래프트 공중합체를 제조했다. 본 공중합체를 이산화탄소 기체분리막에 적용한 사례는 최초이며, 폴리설폰 지지체에 복합막 형태로 제조했다. 공중합체 합성 결과는 FT-IR을 통해, 합성한 공중합체 의 거동은 TEM과 DSC, TGA를 통해 분석하였다. AA 그래프팅을 통해 공중합체는 나노 구조를 형성하며, PVA의 결정화도를 급격하게 감소시켜 이산화탄소의 용해도를 증가시켰고, 이는 이산화탄소 기체 분리 성능을 향상시켰다. 이를 통해 이산화탄소 분리막 분야에 용액-확산 및 그래프팅 방법이라는 새로운 접근법을 제시하였다.

• 정보보호학회논문지
• /
• 제24권3호
• /
• pp.437-444
• /
• 2014

본 논문에서는 그래프 기반의 바이너리 코드 동적 실행 경로 탐색 플랫폼을 제안한다. 바이너리 코드의 조건 분기 명령어를 노드(Node), 그 외의 명령어를 에지(Edge)로 구성된 그래프를 정의하며, 이 그래프를 기반으로 하여 실행 경로 탐색을 수행하는 방안을 제안한다. 실험을 통해 제안하는 그래프 기반 바이너리 코드 실행 경로 탐색 플랫폼의 프로토타입이 실행 경로 탐색을 올바르게 수행함을 확인하였으며, 본 논문에서 제안하는 방안을 통해 소프트웨어 테스팅을 보다 효과적으로 수행하여 소프트웨어 보증, 시큐어 프로그래밍 및 악성 프로그램 분석 등을 보다 효과적으로 수행할 수 있을 것으로 기대한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제31권5호
• /
• pp.643-650
• /
• 2004

제어 흐름 그래프는 자료 흐름 분석과 제어 종속 분석과 같은 프로그램 분석 분야와 프로그램 슬라이싱과 테스팅과 같은 소프트웨어공학 분야에서 필요로 하는 정보이다. 이러한 분석들이 안전하고 유용하기 위해서는 제어 흐름 그래프는 예외 흐름을 포함해야 한다. 기존의 방법은 예외 흐름과 정상 흐름의 상호 의존적인 관계로 인해 두 흐름을 동시에 계산하면서 제어 흐름 그래프를 생성한다. 그러나 실제 Java 프로그램을 조사해 본 결과 두 흐름이 상호 의존적으로 필요한 경우는 거의 발생하지 않음을 알 수 있었다. 그러므로 정상 흐름과 예외 흐름을 분리해서 계산할 수 있음을 알았고, 예외 흐름을 계산하는 예외 흐름 분석을 제안한다. 그리고 예외 흐름을 표현하는 예외 흐름 그래프를 제안한다. 그리고 제어 흐름 그래프는 예외 흐름 그래프와 정상 흐름 그래프를 합병함으로써 생성될 수 있음을 보인다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제28권9호
• /
• pp.634-648
• /
• 2001

MSC는 통산 소프트웨어에서의 병행 수행 테스크들 사이의 상호작용을 기술하기 위해서 많이 사용되어져 왔다. 요구사항 단계에서 검증된 MSC 명세는 상태 기반의 설계 모델을 합성하는데 사용될 수 있을 뿐만 아니라, 테스크 시퀀스 생성에 사용될 수도 있다. 지금까지는 MSC에 기술된 각 이벤트의 위치 정보만을 이용하여 전체 상태 그래프를 생성함으로써 검증을 수행하였다. 본 논문에서는 MSC의 조건문을 시나리오 활성화 조건과 상태 변경을 기술할 수 있도록 확장하고, 이를 이용하여 전체 상태 그래프를 생성함으로써 테스크 시퀀스 생성에 이용한다. 생성된 전체 상태 그래프인 GFSM은 시스템의 의미 있는 상태 정보와 가능한 메시지 시퀀스만을 가지게 된다. 생성된 GFSM에 기존인 FSM 기반의 테스팅 기법을 적용하여 테스크 시퀀스를 추출할 수 있다.

• 한국정보처리학회논문지
• /
• 제4권8호
• /
• pp.1987-1994
• /
• 1997

ATM 교환기 소프트웨어 품질 특성은 신뢰성이 높고 기능성, 확장성 및 유지 보수성이 조아야만 한다. 소프트웨어의 개발 과정이나 설계 후에 이러한 품질 특성이 만족되었는지의 여부를 평가하고 검증하는 테스팅 도구들은 많이 개발되어 왔으나 ATM 관련 소프트웨어의 품질 평가 도구는 기능성에서 뒤떨어지고 품질면에서도 부적합하다. 본 논문에서는 CHILL 언어로 작성된 ATM 교환기 소프트웨어를 대상으로 이를 평가하기 위한 테스팅 분석자료, 디버깅 및 유지 보수 정보를 제공하는 정적 도구를 설계하여 구현한다. 이 도구는 입력 프로그램에 대한 높은 가시성을 제공하여 병렬 프로세싱에 관한 정보를 통계표와 그래프로 나타내는 특성을 갖는다.

• 한국정보처리학회논문지
• /
• 제6권7호
• /
• pp.1805-1816
• /
• 1999

본 논문에서는 클래스들간의 종속관계를 효율적으로 표현하기 위한 모듈클래스 종속그래프를 제안한다. 객체 지향언어는 설계시 독립적으로 개발되어지고, 클래스들간의 관계를 형성하여 구성되어진다. 따라서 이러한 독립적인 특성을 고려하고, 클래스 계층구조에 존재하는 클래스들간의 관계를 효율적으로 표현할 필요가 존재한다. 본 논문에서는 어플리케이션에 종속적인 기존의 시스템 종속그래프와 단위 클래스를 표현하는 클래스 종속그래프에서 제시되지 않고 있는 클래스들간의 관계를 표현하기 위해 객체지향시스템의 설계단위인 모듈의 개념을 이용하여 모듈클래스들 종속그래프를 제시하고, 객체지향의 특징인 객체의 생성자, 상속관계 및 동적 바인딩 효과를 적용시켜 효율성의 검증과 이를 절차간 슬라이싱에 적용시켜 슬라이싱의 관계를 고찰한다. 또한 모듈 클래스에 존재하는 클래스의 멤버데이터들간의 구별을 가능하게 하기 위한 파라메터의 표현법을 제시한다. 이러한 모듈클래스 종속 그래프를 통해 시스템 설계시 모듈 클래스간의 관계를 보다 정확하게 분석할 수 있고, 시스템 분석에 필요한 역공학, 테스팅, 시각화와 같은 다른 응용에 폭넓게 적용될 수 있다.