소프트웨어의 결점 검출을 위한 페이건 검사의 실험과 다른 방법들의 비교

임용섭,소선섭,차성덕,권용래(Yong Sub Lim),Sun Sup So,Sung Deok Cha,Yong Rae Kwon 한국정보과학회 1996 정보과학회 컴퓨팅의 실제 논문지 Vol.2 No.1

본 논문에서는 소프트웨어 결점을 찾아내기 위한 방법중 고장 허용 기법으로 많이 쓰이는 투표 및 자체 검사 방법과 산업계에서 많이 쓰이는 것으로 알려진 페이건 검사 방법을 비교하였다. 이와 관련된 기존의 많은 실험 결과가 있으나, 이들은 서로 다른 프로그램을 실험 대상으로 하여 수행되었기 때문에 각 방법의 효율을 객관적으로 비교할 수 없었다. 이에 반해, 본 실험은 동일한 프로그램을 대상으로 하여 유사한 경력을 가진 참가자들로 소프트웨어의 결점을 찾는 방법을 비교하였으므로, 객관적인 비교를 할 수 있다는 장점이 있다. 본 실험에서는 다음과 같은 몇 가지 주목할 만한 결론을 얻을 수 있었다. 첫째, 페이건 검사를 사용하여 투표와 자체 검사 방법으로 찾은 결점보다 더 많은 수의 결점을 찾을 수 있었다는 점이다. 그러나, 각 방법으로 찾은 결점을 비교한 결과 각 방법이 서로다른 결점을 찾은 것으로 미루어 보아 어느 한 방법도 다른 방법을 완전히 대체할 수 없음을 발견하였다. 둘째, 각 방법을 이용하여 결점을 찾는데 걸린 시간을 비교한 결과, 페이건 검사 방법이 자체 검사 방법보다 훨씬 더 효과적임을 발겨하였다. 이 결과는 기존에 보고된 페이건 검사 방법의 성공적인 적용 사례와 일치하며, 이 실험을 통하여 체계적인 검사 방법을 소프트우어 개발 각 단계에 적용하면 소프트웨어의품질 향상에 도움이 될 수 있음을 발견하였다. This paper presents the results of an experiment that compared error detection capability of voting and instrumentation which are commonly used as fault-tolerant methods and the Fagan inspection method which is commonly used in industry. Several experiments have measured the effectiveness of various error detection methods. However, most experiments have used different programs; consequently, the results are incompatible and do not allow one to make objective comparison on the effectiveness of various approaches. This experiment found the followings: First, participants detected more errors by using the Fagan inspection method than by voting or instrumentation which found the same number of errors. These methods detected similar but slightly different types of errors. This means that these methods are complementary to each other. Second, when the average number of hours needed to detect an error, the Fagan inspection method was shown to be much more cost-effective than instrumentation. These findings are consistent with previous experimental results of the Fagan inspection method. Results of the experiment led us to believe that software quality can be improved by systematic application of the Fagan inspection(or its variants) throughout the software lifecycle.

부식산의 오존처리시 포름알데히드 생성에 관한 연구

임용섭,이정주,이동석,Lim, Yong-Sub,Lee, Jung-Joo,Rhee, Dong-Seok 강원대학교 산업기술연구소 1999 産業技術硏究 Vol.19 No.-

Chemical oxidation of humic acid by ozonation process was investigated in the batch reactor. Aldehydes and ketone were identified as PFBOA derivatives in ozonated humic acid solutions using gas chromatography with PDECD. The formaldehyde was as a main by-product of ozonation. The characteristics of the formaldehyde production were discussed with respect to concentration at different experimental conditions.

칼빈의 성경해석학적 공헌

임용섭(Lim, Yong-Sub) 개혁신학회 2009 개혁논총 Vol.12 No.-

The goal of this essay is to evaluate Calvin's contribution to biblical interpretation by exploring his hermeneutic principles in relation to four hermeneutic coordinates: reality, author, text, and reader. The first co-ordinate is the reality which the text refers to in the real world, such as historical events or theological concepts. This was the main concern of the traditional interpretation before the rise of biblical criticism. Calvin regarded the Bible as the unique repository of knowledge of God and for salvation. For the divine knowledge, however, Calvin rejected allegorical interpretation which was dominant in the medieval church. Instead he held to literal interpretation looking for the natural sense of the text. The second co-ordinate is author, the producer of text, which has been the major concern of the modern hermeneutics since Schleiermacher especially for the historical critical interpreters. Calvin also highlighted the importance of authors' intention and insisted that we read the text in light of its original context. Yet, unlike modern historical critical scholars, Calvin accepted the credibility of the text as it is. The third co-ordinate is the text itself as the object of interpretation. This is the core factor of synchronic approaches to biblical interpretation which began in the middle of the 20th century. Calvin also focused on the biblical text holding to the reformers motto "Sola Scriptura" and "Analogia Scripturae," though he would not accept the modern concept of text autonomy, which separates the text from its author and historical context. The fourth co-ordinate is reader, the receiver of text or the subject of interpretation. This has been highlighted most recently by post-modern hermeneutics as well as reader response theories. The role of the reader is also an important point in Calvin's hermeneutic principles as he or she needs the Holy Spirit's illumination during the process of interpretation. Calvin also admitted the relativity of our interpretation, but this is not because he thought the meaning is undetermined in the text but because he knew our own limits as human beings and sinners. Therefore, he insisted that we should ask humbly for the Holy Spirit's guidance and respect each other while pursuing the absolute truth of God in the Bible. In conclusion, Calvin's hermeneutic principles are sound as it integrates the four hermeneutic co-ordinates, so they can be good instructions and role models even for today.

희년법의 구속사적 의의를 통해 본 구약과 신약의 연계성

임용섭(Lim, Yong-sub) 개혁신학회 2012 개혁논총 Vol.21 No.-

구약과 그 율법은 신약의 출현으로 인해 더 이상 그리스도인들에게는 유효하지 않다고 말하는 것은 옳지 않다. 왜냐하면 신약 성경자체가 구약의 권위와 유용성을 인정하고 있기 때문이다. 이 주장에 기초하여 필자는 이 소논문에서 구약 율법의 하나인 희년법의 구속사적 의의를 고찰하면서 구약과 신약이 긴밀하게 연계되어 있음을 밝히고자 한다. 희년법에 대한 최초의 설명은 레위기 25장에 제시되어 있다. 안식년이 일곱 번지난 다음에 오는 희년에는 안식년 때와 마찬가지로 파종을 하지 않고 땅을 쉬게 한다. 아울러 경제적인 곤란으로 스스로 팔려 종이 된 이스라엘 사람들을 자유인으로 해방시켜 주고 또 매매된 토지를 원래의 소유주 혹은 상속인에게 돌려줘야한다. 그러므로 우리는 희년의 핵심적인 의의를“해방”과“유업의 회복”이라고 정의할 수 있을 것이다. 이 두 주제는 아브라함 때부터 하나님께서 약속하신 것이고, 이 약속은 출애굽과 가나안 정복을 통해 성취되었다. 따라서 희년법의 궁극적인 목적은 언약 백성을 위한 하나님의 구원 역사를 기념하고 그 상태가 계속 유지되게 하는 것이었다. 그러나 불행하게도 이스라엘 역사에서 기득권자들은 가난하고 힘없는 형제들을 압제하며 그들을 종으로 삼고 그들의 유업을 빼앗았다. 이것은 그들 가운데 희년법이 잘 지켜지지 않았으며, 희년법의 근본 원리가 그 사회에 반영되지 않았음을 의미한다. 선지자들은 이 부패한 이스라엘을 향하여 하나님의 심판이 있을 것을 숱하게 경고했다. 그 경고대로 이스라엘과 유다는 망하고, 그 백성은 자유와 유업을 상실한채 이방 땅의 포로로 끌려갔다. 그러나 다른 한편 선지자들은 심판이 끝이 아니고 심판 이후에 하나님의 구원과 회복이 있을 것을 선포한다. 흥미롭게도 선지자들의 구원과 회복의 메시지는 종종 희년의 이미지와 용어로 표현된다. 또한 선지자들은 회복 이후의 공동체를 희년의 이상을 구현하는 공동체로 제시한다. 신약 성경 역시 해방과 유업 상속이라는 희년 사상으로써 예수 그리스도의 구원을 설명한다. 예수는 희년 이상의 성취자이며 또한 사도행전에 나타난 초대 교회는 희년법의 원리가 반영된 공동체이다. 결론적으로 구약의 희년법은 신약시대에 폐기된 법이 아니다. 희년법은 언약 백성을 위한 하나님의 구원의 효과가 지속되도록 세워졌고, 이것은 그리스도 안에서 온전히 성취되었으며, 더 나아가 그리스도 안에서 구원받고 종말의 완성을 바라보는 모든 성도가 지켜야할 규례이다. It is not right to say that the Old Testament and the laws in it are no longer available to the Christians due to the appearance of the New Testaments, because the New Testament itself accepts the authority and availability of the Old Testament. With this argument, through this paper I explore the significance of the jubilee year in the redemptive history, and thereby we can see the continuity between the Old and the New Testaments. According to Leviticus 25, the year of jubilee comes after or at the end of seven cycles of Sabbatical years. At this year not only the land was to rest a Sabbath, but also all Israelites who had sold themselves into slavery should be set free, and all land that had been sold reverted to its original owner. Therefore we can say that the key themes of jubilee law are the manumission (liberation) and the restoration of inheritance. These themes appeared firstly in God’s promise to Abraham, and the promise was accomplished in the exodus of Israelites from Egypt and their conquest of Canaan. In this regard the purpose of the jubilee law was to remember and maintain God’s redemption for his covenant people. Unfortunately, however, the Israelites oppressed the fellow countrymen by making the poor into their slaves, and depriving them of their own land. The prophets in the Old Testaments warned God’s judgment against the corrupted Israelites. According to the warnings both Israel and Judah collapsed, and the people were deported to foreign countries losing their freedom and leaving their inherited land deserted. On the other hand, however, the prophets also delivered positive messages giving the Israelites hope for their liberation and the return to their land. The New Testament also uses the motif of the jubilee law in describing the salvation of Jesus Christ. Jesus is the one who achieved the ideal of the jubilee law by setting the sinners free and guaranteeing them God’s inheritance. Also the church in the Acts is described as a jubilee community following the principles of the jubilee law. In conclusion, the jubilee law in the Old Testament was not discarded because of the New Testament. The law was originally set to maintain Yahweh’s salvation for his covenant people, and achieved through the ministry of Jesus Christ. Therefore, it is still an available law that requires us, all Christians, to live by its principles as we look forward to the ultimate accomplishment in the eschaton.

일관성을 보장하는 UML 특성모델 편집기

임용섭 ( Yong-sub Lim ),김지홍 ( Ji-hong Kim ) 한국정보처리학회 2006 한국정보처리학회 학술대회논문집 Vol.13 No.1

소프트웨어 프로덕트 라인 공학은 공통성과 가변성 식별을 통해 소프트웨어 재사용을 극대화시키는 접근방법으로 이를 지원하는 특성모델 작성도구에 대한 연구가 다수 진행되고 있다. 하지만 FODA 방식의 특성다이어그램을 지원하는 도구들은 특성다이어그램과 추가적인 특성제약사항을 분리하여 명세하기 때문에, 특성모델의 이해와 두 명세 사이의 일관성 보장이 어렵다. 따라서 본 논문에서는 UML을 이용하여 특성다이어그램에 추가적인 특성제약사항을 함께 표현함으로써 특성모델의 이해를 돕고, UML 특성다이어그램의 작성규칙 검사를 통하여 일관성을 보장하는 도구를 제안한다. 이를 기반으로 한 UML 특성모델 편집기를 통하여 개발자는 보다 쉽게 특성모델링을 수행하고, 일관성 있는 특성모델을 작성할 수 있다.

선회반경제어 시스템 개발

박수보(Soo Bo Park),임용섭(Yong Sub Lim),오영호(Young Ho Oh),이언구(Un Koo Lee) 한국자동차공학회 2005 한국자동차공학회 춘 추계 학술대회 논문집 Vol.2005 No.11_2

In this paper, we strived to develop the VRS(Variable Rack Stroke} system, which was able to vary the steering rack stroke of the vehicle. The steering rack stroke was lengthened as much as the gap condition designed for being installed the snow chain around tires. As we could steer the tires on the above gap condition without snow chain, we could reduce the minimum turning radius.