http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
장윤규(Yoon Kyu Jang),권용래(Yang Rae Kwon) 한국정보과학회 1997 한국정보과학회 학술발표논문집 Vol.24 No.2Ⅰ
객체지향 방법은 효율적인 분석과 설계, 뛰어난 재사용성으로 널리 사용되고 있다. 이 방법은 기존의 방법과는 달리 정보은닉, 상속성, 동적 결합의 특성을 가지고 있기 때문에 회귀 테스팅 관점에서 새로운 문제점을 제기한다. 본 논문에서는 메소드를 테스트의 기본 단위로 하여 수정의 유형에 따라 위의 특성이 회귀 테스팅에 미치는 영향을 조사하고 효과적인 회귀 테스팅 방법을 제안한다.
김태호(Tae-Ho Kim),조승모(Seung-Mo Cho),차성덕(Sung-Deok Cha),권용래(Yang-Rae Kwon),곽동달(Dong-Dal Kwak),양찬석(Chan-Seok Yang),장기병(Ki-Byung Jang) 한국정보과학회 1998 한국정보과학회 학술발표논문집 Vol.25 No.1A
본 논문에서는 도시 교통관계 시스템에 대해서 정형 명세를 작성하고 검사를 수행하였다. 도시 교통관제 시스템이란 도심의 교차로의 신호등을 제어하여 도시의 교통 흐름을 원활하도록 하는 시스템이다. 이 시스템이 제어하는 신호등의 등화가 잘못되는 경우에는 해당지역의 교통 체중을 유발할 수 있을 뿐만 아니라, 교차로에서 사고를 일으킬 수 있다. 즉, 이러한 시스템의 핵심 구성 요소인 소프트웨어는 높은 수준의 신뢰성과 안전성을 보장할 수 있어야 한다. 소프트웨어 개발 단계에 있어서 명세 단계에서 명세를 명확히 하고 오류를 발견하는 것이 소프트웨어의 개발 비용과 기간을 줄일 수 있으므로 명세의 중요성이 인식되어 있고, 이를 위해 명세를 수학적인 의미를 가진 기호로 작성하는 정형 명세에 대한 관심이 높아지고 있다. 이에 본 논문에서는 정형적 명세 언어인 statecharts를 이용하여 도시 교통관제 시스템을 명세하고, 정적 검사, 검토 회의(review), 모의 수행을 통해 검사하였다. 이 결과로 실제로 시스템의 개발에 관련된 사람에게 명세의 이해를 돕고, 명세에 관련된 문제점을 발견할 수 있었으며 정형적 명세의 유용성을 입증할 수 있었다.
홍형석(Hyoung Seok Hong),배현섭(Hyun Seop Bae),차신(Shin Cha),이완권(Wan Kwon Lee),권용래(Yang Rae Kwon) 한국정보과학회 1994 한국정보과학회 학술발표논문집 Vol.21 No.1
구조적 요구 분석 방법론은 시스템의 요구 사항을 정형화된 형태로 분석하기 위해서 제안되었다. 하지만 구조적 요구 분석 방법론에 따라 시스템을 분석한다 할지라도 소프트웨어는 비교적 추상적이어서 그것이 실제적으로 작동하는 것을 관찰하기 전에는 시스템의 요구사항에 대한 해를 얻기 어렵다. 그러므로 요구 분석 단계에서 원형화 도구가 함께 제공된다면 요구 분석 도구가 요구 사항을 정의하는데 많은 도움이 될 수 있다. 이를 위해 본 논문에서는, 그래픽한 형태의 자료흐름도를 중심으로 시스템의 요구 사항을 분석할 수 있는 구조적 요구 분석 도구와, 분석된 요구 사항을 검증하기 위한 원형화 도구를 통합하여 요구 분석 단계에서의 원형화를 지원하는 CASE 도구를 개발하였다.