소스 코드 위배 수정 방법 및 이를 실행하기 위한 프로그램을 기록한 컴퓨터로 판독가능한 기록매체

    公开(公告)号:KR101850303B1

    公开(公告)日:2018-05-31

    申请号:KR1020160118171

    申请日:2016-09-13

    CPC classification number: G06F11/3624 G06F11/0793 G06F11/1056

    Abstract: 본발명은소스코드위배수정방법및 이를실행하기위한프로그램을기록한컴퓨터로판독가능한기록매체에관한것으로, 더욱상세하게는소스코드의결함을자동으로수정할수 있는소스코드위배수정방법및 이를실행하기위한프로그램을기록한컴퓨터로판독가능한기록매체에관한것이다.실시형태에따른소스코드위배수정방법은, 소스코드를분석하여하나또는다수의위배를검출하는, 위배검출단계; 검출된상기위배를수정하기위한다수의수정정보를생성하는, 수정정보생성단계; 생성된상기다수의수정정보를병합하는, 수정정보병합단계; 및병합된상기수정정보에기초하여상기소스코드를수정하는, 수정단계;를포함하고, 상기수정정보생성단계에서생성된상기다수의수정정보각각은, 우선순위(order)를포함하고, 상기우선순위(order)의맨 앞첫번째숫자는라인번호이고, 두번째숫자는수정종류에따라미리결정된숫자이고, 상기두번째숫자다음의숫자들은상기위배가발생한위치의코드블록깊이(code block depth)이다.

    보험 상품 검증 방법과 이를 실행하기 위한 프로그램을 기록한 컴퓨터로 판독가능한 기록매체
    24.
    发明公开
    보험 상품 검증 방법과 이를 실행하기 위한 프로그램을 기록한 컴퓨터로 판독가능한 기록매체 无效
    检查保险产品的方法和计算机可读记录介质的方法

    公开(公告)号:KR1020160102366A

    公开(公告)日:2016-08-30

    申请号:KR1020160104227

    申请日:2016-08-17

    CPC classification number: G06Q40/08 G06Q50/18

    Abstract: 본발명의실시형태는, 보험상품검증방법과이를실행하기위한프로그램을기록한컴퓨터로판독가능한기록매체에관한것이다. 본발명의실시형태에따른보험상품검증방법은, 보험상품검증도구가두 개의제1 보험상품과제2 보험상품을비교및 검증하는보험상품검증방법으로서, 상기제1 보험상품과상기제2 보험상품이제1 보험상품서버에저장된경우에, 상기제1 보험상품서버에저장된상기제1 보험상품과상기제2 보험상품을 XML 파일을기준으로서로비교및 검증하는, 보험상품기준정보검증단계; 및상기제1 보험상품이상기제1 보험상품서버에저장되고, 상기제2 보험상품이제2 보험상품서버에저장된경우에, 상기제1 보험상품서버에저장된상기제1 보험상품과상기제2 보험상품서버에저장된상기제2 보험상품을비교및 검증하는, 보험상품시스템정보검증단계;를포함한다.

    Abstract translation: 本发明的实施例涉及一种用于验证保险产品的方法和其中记录有用于执行该保险产品的程序的计算机可读记录介质。 一种用于验证根据本发明的实施例的保险产品的方法,其中保险产品验证工具比较和验证第一保险产品和第二保险产品,包括:保险产品参考信息验证步骤,当第一 保险产品和第二保险产品存储在第一保险产品服务器中,参考XML文件比较并验证存储在第一保险产品服务器中的第一保险产品和第二保险产品; 以及保险产品系统信息验证步骤,当所述第一保险产品存储在所述第一保险产品服务器中时,所述第二保险产品存储在第二保险产品服务器中时,比较和验证所述第一保险中存储的第一保险产品 产品服务器和第二个保险产品存储在第二个保险产品服务器中。 通过这种方式,可以新建一种新的保险产品,并可以快速,准确地验证现有保险产品的变更或更新。

    코드 커버리지 측정 방법 및 이를 실행하기 위한 프로그램을 기록한 컴퓨터로 판독가능한 기록매체
    25.
    发明公开
    코드 커버리지 측정 방법 및 이를 실행하기 위한 프로그램을 기록한 컴퓨터로 판독가능한 기록매체 有权
    用于测量代码覆盖的方法和具有程序的计算机可读记录介质

    公开(公告)号:KR1020160021585A

    公开(公告)日:2016-02-26

    申请号:KR1020140107037

    申请日:2014-08-18

    CPC classification number: G06F9/455

    Abstract: 본발명의실시형태는코드커버리지측정방법에관한것이다. 실시형태에따른코드커버리지측정방법은, 상기소스코드에탐침을삽입하는단계; 상기탐침이삽입된소스코드를컴파일하여실행파일을생성하는단계; 및상기생성된실행파일을이용하여상기코드커버리지를측정하는단계;를포함하고, 상기소스코드에탐침을삽입하는단계는, 상기소스코드로부터추상구문트리를생성하는단계; 상기추상구문트리를해석하여제어흐름그래프를생성하는단계; 및상기추상구문트리와상기제어흐름그래프를이용하여상기소스코드에상기탐침을삽입하는단계;를포함한다.

    Abstract translation: 本发明的实施例涉及一种用于测量代码覆盖率的方法。 根据本发明的实施例,用于测量代码覆盖的方法包括以下步骤:将源代码插入探针; 通过编译其中插入有探针的源代码来生成执行文件; 并通过使用生成的执行文件来测量代码覆盖率。 在源代码中插入探针的步骤包括以下步骤:从源代码生成抽象语法树; 通过解释抽象语法树生成控制流图; 并使用抽象语法树和控制流图将探针插入源代码。

    DLNA 장치들 사이의 상호운용성 시험 방법
    28.
    发明授权
    DLNA 장치들 사이의 상호운용성 시험 방법 有权
    在DLNA设备中测试互操作性的方法

    公开(公告)号:KR101453988B1

    公开(公告)日:2014-10-28

    申请号:KR1020130052940

    申请日:2013-05-10

    Abstract: According to an embodiment of the present invention, a method for testing interoperability among DLNA devices comprises the steps of: inputting, to a server, an XML file for generating a web browser for a test on interoperability between a tested device and an interlocked device capable of sharing a DLNA function therewith; allowing the server to generate a web browser including at least one webpage where a procedure for performing a test on interoperability among DLNA devices is described, based on the XML file; allowing an apparatus for performing the interoperability test to receive the generated web browser, execute the received web browser, and display a procedure for performing the interoperability test; and receiving an input of information required for progressing the displayed procedure, and performing the test on interoperability between the tested device and the interlocked device based on the input information.

    Abstract translation: 根据本发明的实施例,一种用于测试DLNA设备之间的互操作性的方法包括以下步骤:向服务器输入用于生成网络浏览器的XML文件,用于测试被测设备和具有互锁设备的互操作性测试 与其分享DLNA功能; 允许服务器基于XML文件生成包括至少一个网页的web浏览器,其中描述了用于执行DLNA设备之间的互操作性测试的过程; 允许用于执行互操作性测试的装置以接收生成的web浏览器,执行接收到的web浏览器,并且显示用于执行互操作性测试的过程; 并且接收对所显示的过程进行所需的信息的输入,并且基于所输入的信息对被测试设备与互锁设备之间的互操作性进行测试。

    어플리케이션 실행 제어 방법 및 어플리케이션 실행 여부 판별 방법과 이를 실행하기 위한 프로그램을 기록한 컴퓨터로 판독가능한 기록매체
    29.
    发明公开
    어플리케이션 실행 제어 방법 및 어플리케이션 실행 여부 판별 방법과 이를 실행하기 위한 프로그램을 기록한 컴퓨터로 판독가능한 기록매체 有权
    用于控制应用执行的方法,用于确定不执行应用的方法,以及包括用于执行该程序的计算机可读记录介质

    公开(公告)号:KR1020140079990A

    公开(公告)日:2014-06-30

    申请号:KR1020120149274

    申请日:2012-12-20

    CPC classification number: G06F21/12 G06F21/51 G06F9/44 G06F9/448 H04W88/02

    Abstract: 본발명의실시예는실행제어방법및 어플리케이션실행여부판별방법과이를실행하기위한프로그램을기록한컴퓨터로판독가능한기록매체에관한것이다.본발명의실시예에따른방법은, 보안어플리케이션(Application)과보안라이브러리(Library)를포함하는개방형플랫폼(Platform)을탑재한단말기에서, 상기단말기에설치된특정어플리케이션의실행을제어하는방법으로서, 상기보안라이브러리가상기특정어플리케이션이요청하는특정기능의호출을받으면, 상기보안라이브러리가상기보안어플리케이션에게상기특정어플리케이션의실행여부를조회하는단계; 상기보안어플리케이션이허용목록에상기특정어플리케이션이등록되어있는지여부를판별하는단계; 상기특정어플리케이션이상기허용목록에등록되어있으면, 상기보안어플리케이션은상기특정어플리케이션이상기허용목록에등록된어플리케이션임을상기보안라이브러리로알려주고, 상기보안라이브러리가상기특정기능의실행을허락하는단계; 상기특정어플리케이션이상기허용목록에등록되어있지않으면, 상기보안어플리케이션이차단규칙을이용하여상기특정기능의실행여부를판별하는단계; 및상기특정기능이상기차단규칙에포함되면, 상기보안어플리케이션은상기특정기능이차단대상에해당함을상기보안라이브러리로알려주고, 상기보안라이브러리가상기특정기능의실행을차단하는단계;를포함한다.

    Abstract translation: 本发明的一个实施例涉及一种用于控制应用执行的方法,一种用于确定该应用是否被执行的方法,以及一个记录用于执行该应用的程序的计算机可读记录介质。 根据本发明的实施例,提供了一种用于控制安装在终端中的特定应用的执行的方法,其中安装了包括安全应用和安全库的开放平台,包括以下步骤:如果安全库接收到 调用特定应用程序请求的特定功能,安全库询问安全应用程序是否执行特定应用程序; 所述安全应用程序确定所述具体应用是否被登记在容许列表中; 如果特定应用未被登记在容许列表中,则安全应用程序通过使用阻止规则确定特定功能是否被执行; 并且如果特定功能包含在阻塞规则中,则安全库阻止特定功能的执行。

    메모리 오류 검출 방법
    30.
    发明授权
    메모리 오류 검출 방법 有权
    检测存储器错误的方法

    公开(公告)号:KR100890546B1

    公开(公告)日:2009-03-27

    申请号:KR1020070041945

    申请日:2007-04-30

    CPC classification number: G06F11/0751 G11C29/44 G11C29/76 G11C2029/0409

    Abstract: 본 발명은 메모리 오류 검출 방법에 관한 것으로, 보다 구체적으로는 소프트웨어 개발 단계에서 메모리를 액세스하거나 할당받은 메모리를 해제하는 경우에 발생할 수 있는 메모리 오류를 용이하게 검출하는 방법에 관한 것이다.
    본 발명에 따른 메모리 오류 검출 방법은, (a) 컴퓨터 프로그램에 포함된 변수에 대해 할당받은 할당메모리영역 중 최초의 메모리블록을 지시하기 위한 최초블록지시변수를 생성하는 단계, (b) 할당메모리영역을 액세스하기 전에, 할당메모리영역의 액세스 대상 메모리블록을 지시하는 타겟블록지시변수, 및/또는 최초블록지시변수를 이용한 소정의 연산을 수행하여, 할당메모리영역의 액세스시 발생할 수 있는 메모리 오류를 검출하는 단계, 및 (c) 검출된 메모리 오류에 관한 정보를 출력하는 단계를 포함한다.
    메모리 오류 검출, 동적 메모리, 소프트웨어, 테스트

Patent Agency Ranking