KR20180099404A - 실시간 검색식 검증방법 및 시스템 - Google Patents

실시간 검색식 검증방법 및 시스템 Download PDF

Info

Publication number
KR20180099404A
KR20180099404A KR1020170026836A KR20170026836A KR20180099404A KR 20180099404 A KR20180099404 A KR 20180099404A KR 1020170026836 A KR1020170026836 A KR 1020170026836A KR 20170026836 A KR20170026836 A KR 20170026836A KR 20180099404 A KR20180099404 A KR 20180099404A
Authority
KR
South Korea
Prior art keywords
node
token
user
validity
expression
Prior art date
Application number
KR1020170026836A
Other languages
English (en)
Inventor
윤정호
장영진
서재원
Original Assignee
주식회사 워트인텔리전스
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by 주식회사 워트인텔리전스 filed Critical 주식회사 워트인텔리전스
Priority to KR1020170026836A priority Critical patent/KR20180099404A/ko
Publication of KR20180099404A publication Critical patent/KR20180099404A/ko

Links

Images

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F16/00—Information retrieval; Database structures therefor; File system structures therefor
    • G06F16/30—Information retrieval; Database structures therefor; File system structures therefor of unstructured textual data
    • G06F16/33—Querying
    • G06F16/332—Query formulation
    • G06F16/3325—Reformulation based on results of preceding query
    • G06F16/3326—Reformulation based on results of preceding query using relevance feedback from the user, e.g. relevance feedback on documents, documents sets, document terms or passages
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F16/00—Information retrieval; Database structures therefor; File system structures therefor
    • G06F16/30—Information retrieval; Database structures therefor; File system structures therefor of unstructured textual data
    • G06F16/33—Querying
    • G06F16/3331—Query processing
    • G06F16/334—Query execution
    • G06F16/3341—Query execution using boolean model
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F16/00—Information retrieval; Database structures therefor; File system structures therefor
    • G06F16/90—Details of database functions independent of the retrieved data types
    • G06F16/93—Document management systems
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F2216/00—Indexing scheme relating to additional aspects of information retrieval not explicitly covered by G06F16/00 and subgroups
    • G06F2216/11—Patent retrieval

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • Databases & Information Systems (AREA)
  • Data Mining & Analysis (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Computational Linguistics (AREA)
  • Mathematical Physics (AREA)
  • Business, Economics & Management (AREA)
  • General Business, Economics & Management (AREA)
  • User Interface Of Digital Computer (AREA)

Abstract

본 발명은 실시간 검색식 검증방법 및 시스템에 관한 것으로, 사용자가 입력하는 검색식을 준비하는 준비단계; 상기 검색식에서 여는 괄호와 닫는 괄호 안의 내용을 노드로 결정하는 노드결정단계; 토큰 또는 상기 노드 단위로 상기 검색식의 유효성을 검증하는 유효성 검증단계; 및 상기 검증단계에서 발견된 오류나 특징을 상기 사용자에게 피드백하는 피드백단계;를 포함하며, 상기 토큰은 상기 사용자가 입력하는 글자, 숫자, 공백 또는 기호 각각인 것을 특징으로 한다.
본 발명은 사용자가 입력을 하는 순간마다 실시간으로 오류여부를 피드백할 수 있는 장점이 있다.

Description

실시간 검색식 검증방법 및 시스템 {Method and system for verification of search formula in real-time}
본 발명은 실시간 검색식 검증방법 및 시스템에 관한 것으로, 보다 상세하게는 검색을 위하여 사용자가 입력하는 검색식을 실시간으로 분석하여 오류여부 등을 검증하여 피드백을 제공하는 실시간 검색식 검증방법 및 시스템에 대한 것이다.
최근 기술 보호의 수단으로서 지적재산권의 중요성이 커지면서 특허 출원에 대한 관심도 급증하고 있으며, 이러한 영향으로 관련 기술분야나 경쟁사 등에 대한 전세계 특허에 대한 분석업무가 증가하고 있는 추세이다.
특허정보의 데이터화로 인하여 많은 특허에 대한 분석업무가 가능해졌으나, 급증하고 있는 수많은 특허데이터를 분석하는 것은 여전히 쉬운 업무가 아니다.
수많은 전세계 특허데이터 중에서 원하는 특허를 검색하기 위해서는 다양한 연산자, 괄호 등을 활용하여 매우 복잡한 검색식을 사용자가 입력해야 한다.
하지만, 복잡한 검색식을 작성하는 것이 어려울 뿐만 아니라, 연산자, 괄호, 작성규칙 등을 오입력하거나 오류가 있는 경우에 사용자가 복잡한 검색식에서 그 문제를 발견하기는 매우 어렵고 많은 시간이 소요되는 문제가 있다.
또한, 종래 검색식 검증방식은 사용자가 입력이 완료되거나 상당부분 입력한 이후에 오류 내용을 사용자가 알 수 있는 문제가 있으며, 계속적으로 앞뒤 연산자, 괄호 등을 연산하여 검증해야 해서 속도 문제를 야기하기도 한다.
따라서, 사용자가 입력을 하는 순간마다 실시간으로 오류여부를 피드백줄 수 있으면서도 서버나 웹브라우저 등에 부담을 주지 않는 가벼운 검색방법 및 시스템이 요구되고 있다.
따라서, 본 발명의 목적은 이와 같은 종래의 문제점을 해결하기 위한 것으로서, 사용자가 입력을 하는 순간마다 실시간으로 오류여부를 피드백하는 것이다.
또한, 실시간으로 오류를 검증하면서도 현 시점에서의 토큰만을 검증하여 전체 오류를 파악함으로써, 서버나 웹브라우저 등에 부담을 주지 않는 것을 목적으로 한다.
상기 과제를 달성하기 위하여, 본 발명의 일 실시예에 따른 실시간 검색식 검증방법은,
사용자가 입력하는 검색식을 준비하는 준비단계; 상기 검색식에서 여는 괄호와 닫는 괄호 안의 내용을 노드로 결정하는 노드결정단계; 토큰 또는 상기 노드 단위로 상기 검색식의 유효성을 검증하는 유효성 검증단계; 및 상기 검증단계에서 발견된 오류나 특징을 상기 사용자에게 피드백하는 피드백단계;를 포함하며, 상기 토큰은 상기 사용자가 입력하는 글자, 숫자, 공백 또는 기호 각각일 수 있다.
상기 사용자가 입력하여 이동하는 커서는 상기 토큰 단위로 이동하며, 상기 준비단계에서, 상기 검색식은 논리연산자, 인접연산자, 필드연산자, 불용어, 공백, 글자, 숫자 또는 특수기호 중 적어도 하나를 포함할 수 있다.
상기 노드결정단계에서, 상기 여는 괄호와 상기 닫는 괄호가 복수로 형성되는 경우, 상기 노드는 둘 이상의 심도(depth)를 갖을 수 있다.
또한, 상기 유효성 검증단계에서, 상기 커서 위치에 해당하는 상기 토큰의 시점에서 상기 검색식의 유효성을 판단할 수 있으며, 상기 검색식의 최좌측부터 시작하여, 우측으로 토큰 하나씩 이동하면서 상기 커서 위치에 해당하는 상기 토큰의 시점까지 순차적으로 상기 검색식의 유효성을 판단할 수 있다.
상기 피드백 단계에서, 상기 검색식의 오류나 특징을 상기 검색식의 색상으로 표시하여 디스플레이할 수 있으며, 상기 노드의 심도별로 상기 괄호의 색상을 다르게 디스플레이할 수 있다.
상기 노드별로 또는 상기 노드의 심도별로 파싱하여 추출한 내용을 각각 상기 검색식과 구별되는 화면에 디스플레이할 수 있다.
또한, 상기 사용자가 지정된 특수기호 또는 특정문자를 상기 노드의 최좌측과 최우측에 입력하는 경우에 해당되는 노드를 검색식에서 제외할 수 있다.
본 발명의 일 실시예에 따른 실시간 검색식 검증시스템은, 사용자가 입력하는 검색식을 준비하는 준비부; 상기 검색식에서 여는 괄호와 닫는 괄호 안의 내용을 노드로 결정하는 노드결정부; 토큰 또는 상기 노드 단위로 상기 검색식의 유효성을 검증하는 유효성 검증부; 및 기 검증단계에서 발견된 오류나 특징을 상기 사용자에게 피드백하는 피드백부;를 포함하며, 상기 토큰은 상기 사용자가 입력하는 글자, 숫자, 공백 또는 기호 각각일 수 있다.
상기 사용자가 입력하여 이동하는 커서는 상기 토큰 단위로 이동할 수 있으며, 상기 유효성 검증부에서, 상기 커서 위치에 해당하는 상기 토큰의 시점에서 상기 검색식의 유효성을 판단할 수 있다.
본 발명의 일 실시예에 따르면, 이와 같은 종래의 문제점을 해결하기 위한 것으로서, 사용자가 입력을 하는 순간마다 실시간으로 오류여부를 피드백할 수 있는 장점이 있다.
또한, 실시간으로 오류를 검증하면서도 현 시점에서의 토큰만을 검증하여 전체 오류를 파악함으로써, 서버나 웹브라우저 등에 부담을 주지 않는 장점이 있다.
도 1은 본 발명의 일 실시예에 따른 실시간 검색식 검증방법의 순서도이다.
도 2는 본 발명의 일 실시예에 따른 실시간 검색식 검증방법의 실행화면에 관한 예시도이다.
이하, 첨부된 도면을 참조하여 본 발명의 바람직한 실시예를 상세히 설명한다. 본 발명의 이점 및 특징, 그리고 그것들을 달성하는 방법은 첨부되는 도면과 함께 상세하게 후술되어 있는 실시 예들을 참조하면 명확해질 것이다. 그러나 본 발명은 이하에서 게시되는 실시 예들에 한정되는 것이 아니라 서로 다른 다양한 형태로 구현될 수 있으며, 단지 본 실시 예들은 본 발명의 게시가 완전하도록 하고, 본 발명이 속하는 기술분야에서 통상의 지식을 가진 자에게 발명의 범주를 완전하게 알려주기 위해 제공되는 것이며, 본 발명은 청구항의 범주에 의해 정의될 뿐이다. 명세서 전체에 걸쳐 동일 참조 부호는 동일 구성 요소를 지칭한다.
다른 정의가 없다면, 본 명세서에서 사용되는 모든 용어(기술 및 과학적 용어를 포함)는 본 발명이 속하는 기술분야에서 통상의 지식을 가진 자에게 공통적으로 이해될 수 있는 의미로 사용될 수 있을 것이다. 또 일반적으로 사용되는 사전에 정의되어 있는 용어들은 명백하게 특별히 정의되어 있지 않는 한 이상적으로 또는 과도하게 해석되지 않는다. 본 명세서에서 사용된 용어는 실시예들을 설명하기 위한 것이며 본 발명을 제한하고자 하는 것은 아니다. 본 명세서에서, 단수형은 문구에서 특별히 언급하지 않는 한 복수형도 포함한다.
도 1에 나타난 바와 같이, 본 발명의 실시간 검색식 검증방법은 준비단계(S10); 노드결정단계(S20); 유효성 검증단계(S30); 및 피드백단계(S40);를 포함할 수 있다.
상기 과제를 달성하기 위하여, 본 발명의 일 실시예에 따른 실시간 검색식 검증방법은,
사용자가 입력하는 검색식을 준비하는 준비단계; 상기 검색식에서 여는 괄호와 닫는 괄호 안의 내용을 노드로 결정하는 노드결정단계; 토큰 또는 상기 노드 단위로 상기 검색식의 유효성을 검증하는 유효성 검증단계; 및 상기 검증단계에서 발견된 오류나 특징을 상기 사용자에게 피드백하는 피드백단계;를 포함하며, 상기 토큰은 상기 사용자가 입력하는 글자, 숫자, 공백 또는 기호 각각일 수 있다.
상기 사용자가 입력하여 이동하는 커서는 상기 토큰 단위로 이동하며, 상기 준비단계에서, 상기 검색식은 논리연산자, 인접연산자, 필드연산자, 불용어, 공백, 글자, 숫자 또는 특수기호 중 적어도 하나를 포함할 수 있다.
상기 노드결정단계에서, 상기 여는 괄호와 상기 닫는 괄호가 복수로 형성되는 경우, 상기 노드는 둘 이상의 심도(depth)를 갖을 수 있다.
또한, 상기 유효성 검증단계에서, 상기 커서 위치에 해당하는 상기 토큰의 시점에서 상기 검색식의 유효성을 판단할 수 있으며, 상기 검색식의 최좌측부터 시작하여, 우측으로 토큰 하나씩 이동하면서 상기 커서 위치에 해당하는 상기 토큰의 시점까지 순차적으로 상기 검색식의 유효성을 판단할 수 있다.
상기 피드백 단계에서, 상기 검색식의 오류나 특징을 상기 검색식의 색상으로 표시하여 디스플레이할 수 있으며, 상기 노드의 심도별로 상기 괄호의 색상을 다르게 디스플레이할 수 있다.
상기 노드별로 또는 상기 노드의 심도별로 파싱하여 추출한 내용을 각각 상기 검색식과 구별되는 화면에 디스플레이할 수 있다.
또한, 상기 사용자가 지정된 특수기호 또는 특정문자를 상기 노드의 최좌측과 최우측에 입력하는 경우에 해당되는 노드를 검색식에서 제외할 수 있다.
본 발명의 예시는 다음과 같다.
1. 기본 개념
1) 글자 또는 공백, 괄호, 연산자(연산, 필드, 불용 - 예약된 애들)를 하나의 토큰으로 보고 커서 이동은 토큰 단위로 이동
2) 괄호'( )' 로 감싸진 것을 기본 노드(node)로 정함 - 특허 검색식에서 괄호 단위의 사용이 빈번하고 기본 단위로 사용하기에 맞음. -> 0 DEPTH는 가상의 괄호이므로 노드임
ex. (디스플레이 AND LED) 또는 TI:(자동차)
3) 기본 노드는 반복적으로 하나의 노드 또는 여러 노드를 감쌀 수 있음.
4) 검색식 유효 검사는 토큰(연산자 - 예약된 애들) 또는 노드 단위로 이뤄짐 즉, 복잡한 식이여도 토큰, 노드 단위로 검사함으로써 복잡성 최소화 -> 기능별로 토큰 OR 노드
하지만 노드 간의 관계에 따른 오류 판별법이 필요한 경우에 한해서 관련된 정보를 임시 저장. ex) adj 등 - 인접연산자가 2 DEPTH로 저장되어 있음.
- 왼쪽에서 오른쪽으로 체크 (예외로 노드 정보 저장으로 역으로 가는거 해결)
복잡성을 단순하게 필요한 경우만 체크하므로
- 사용자가 거꾸로 돌아가서 뭔가 작업하면 (괄호 추가나 키워드 넣으면)
2. 상세 로직
1) 괄호 일치 (DEPTH에 따라 체크)
2) adj 유효 검사 - 괄호가 열리고 닫힐 때 현재 괄호의 depth(단계)를 조사
3) 연산자 일치 - 커서(로직상 계산 이동)가 토큰 이동할 때마다 커서 이후의 검색식만 정규 표현식 검사
4) 잘못된 연산자 사용 - 커서 이전은 토큰, 노드 단위로 이미 판별이 끝났으므로 실시간으로 오류 체크 가능
3. 추가적인 기능
1) 공백을 AND 또는 OR로 치환
2) 한/영전환없이 뭉->and, ㅐㄱ->or, 샤: -> TI: 로 치환 (철자 동의어)
3) 괄호 단계별로 색깔 표시 - 괄호의 depth가 많은 검색식에서 1단계, 2단계, 3단계 depth를 선택함 -> 선택한 괄호내의 배경색이 표시됨. 노드별로 색상 입히기
4) 단축키로 연산자 표시
5) 특수기호나 특정키로 해당 노드를 검색에서 제외 (NOT 아니라 그냥 없는거) -> 색깔로 표시
6) 노드별로 별도 화면(레이어)에 표시 생기면서 선택하도록 구현
본 발명의 특징은 현재 커서의 토큰만 검증한다는 점이다. 즉, 커서가 있는 그 시점만 판단한다는 것으로, 시작부터 그 시점까지만 연산하여 검증결과를 정확하게 구현할 수 있다.
본 발명의 실시간 검색식 검증방법은 실시간 검색식 검증시스템에 의해 수행될 수 있다.
본 발명의 일 실시예에 따른 실시간 검색식 검증시스템은, 사용자가 입력하는 검색식을 준비하는 준비부; 상기 검색식에서 여는 괄호와 닫는 괄호 안의 내용을 노드로 결정하는 노드결정부; 토큰 또는 상기 노드 단위로 상기 검색식의 유효성을 검증하는 유효성 검증부; 및 기 검증단계에서 발견된 오류나 특징을 상기 사용자에게 피드백하는 피드백부;를 포함하며, 상기 토큰은 상기 사용자가 입력하는 글자, 숫자, 공백 또는 기호 각각일 수 있다.
상기 사용자가 입력하여 이동하는 커서는 상기 토큰 단위로 이동할 수 있으며, 상기 유효성 검증부에서, 상기 커서 위치에 해당하는 상기 토큰의 시점에서 상기 검색식의 유효성을 판단할 수 있다.
이상 첨부된 도면을 참조하여 본 발명의 실시예들을 설명하였지만, 본 발명이 속하는 기술분야에서 통상의 지식을 가진 자는 본 발명이 그 기술적 사상이나 필수적인 특징을 변경하지 않고서 다른 구체적인 형태로 실시될 수 있다는 것을 이해할 수 있을 것이다. 그러므로 이상에서 기술한 실시예들은 모든 면에서 예시적인 것이며 한정적인 것이 아닌 것으로 이해해야만 한다.

Claims (12)

  1. 사용자가 입력하는 검색식을 준비하는 준비단계;
    상기 검색식에서 여는 괄호와 닫는 괄호 안의 내용을 노드로 결정하는 노드결정단계;
    토큰 또는 상기 노드 단위로 상기 검색식의 유효성을 검증하는 유효성 검증단계; 및
    상기 검증단계에서 발견된 오류나 특징을 상기 사용자에게 피드백하는 피드백단계;를 포함하며,
    상기 토큰은 상기 사용자가 입력하는 글자, 숫자, 공백 또는 기호 각각인 것을 특징으로 하는 실시간 검색식 검증방법.
  2. 제 1항에 있어서,
    상기 사용자가 입력하여 이동하는 커서는 상기 토큰 단위로 이동하는 것을 특징으로 하는 실시간 검색식 검증방법.
  3. 제 1항에 있어서,
    상기 준비단계에서, 상기 검색식은 논리연산자, 인접연산자, 필드연산자, 불용어, 공백, 글자, 숫자 또는 특수기호 중 적어도 하나를 포함하는 것을 특징으로 하는 실시간 검색식 검증방법.
  4. 제 1항에 있어서,
    상기 노드결정단계에서, 상기 여는 괄호와 상기 닫는 괄호가 복수로 형성되는 경우, 상기 노드는 둘 이상의 심도(depth)를 갖는 것을 특징으로 하는 실시간 검색식 검증방법.
  5. 제 2항에 있어서,
    상기 유효성 검증단계에서, 상기 커서 위치에 해당하는 상기 토큰의 시점에서 상기 검색식의 유효성을 판단하는 것을 특징으로 하는 실시간 검색식 검증방법.
  6. 제 5항에 있어서,
    상기 유효성 검증단계는, 상기 검색식의 최좌측부터 시작하여, 우측으로 토큰 하나씩 이동하면서 상기 커서 위치에 해당하는 상기 토큰의 시점까지 순차적으로 상기 검색식의 유효성을 판단하는 것을 특징으로 하는 실시간 검색식 검증방법.
  7. 제 1항에 있어서,
    상기 피드백 단계에서, 상기 검색식의 오류나 특징을 상기 검색식의 색상으로 표시하여 디스플레이하는 것을 특징으로 하는 실시간 검색식 검증방법.
  8. 제 4항에 있어서,
    상기 피드백 단계에서, 상기 노드의 심도별로 상기 괄호의 색상을 다르게 디스플레이 하는 것을 특징으로 하는 실시간 검색식 검증방법.
  9. 제 4항에 있어서,
    상기 노드별로 또는 상기 노드의 심도별로 파싱하여 추출한 내용을 각각 상기 검색식과 구별되는 화면에 디스플레이하는 것을 특징으로 하는 실시간 검색식 검증방법.
  10. 제 1항에 있어서,
    상기 사용자가 지정된 특수기호 또는 특정문자를 상기 노드의 최좌측과 최우측에 입력하는 경우에 해당되는 노드를 검색식에서 제외하는 것을 특징으로 하는 실시간 검색식 검증방법.
  11. 사용자가 입력하는 검색식을 준비하는 준비부;
    상기 검색식에서 여는 괄호와 닫는 괄호 안의 내용을 노드로 결정하는 노드결정부;
    토큰 또는 상기 노드 단위로 상기 검색식의 유효성을 검증하는 유효성 검증부; 및
    상기 검증단계에서 발견된 오류나 특징을 상기 사용자에게 피드백하는 피드백부;를 포함하며,
    상기 토큰은 상기 사용자가 입력하는 글자, 숫자, 공백 또는 기호 각각인 것을 특징으로 하는 실시간 검색식 검증시스템.
  12. 제 11항에 있어서,
    상기 사용자가 입력하여 이동하는 커서는 상기 토큰 단위로 이동하는 것을 특징으로 하는 실시간 검색식 검증시스템.
KR1020170026836A 2017-02-28 2017-02-28 실시간 검색식 검증방법 및 시스템 KR20180099404A (ko)

Priority Applications (1)

Application Number Priority Date Filing Date Title
KR1020170026836A KR20180099404A (ko) 2017-02-28 2017-02-28 실시간 검색식 검증방법 및 시스템

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
KR1020170026836A KR20180099404A (ko) 2017-02-28 2017-02-28 실시간 검색식 검증방법 및 시스템

Related Child Applications (1)

Application Number Title Priority Date Filing Date
KR1020190088613A Division KR20190088961A (ko) 2019-07-22 2019-07-22 실시간 검색식 검증방법 및 시스템

Publications (1)

Publication Number Publication Date
KR20180099404A true KR20180099404A (ko) 2018-09-05

Family

ID=63594826

Family Applications (1)

Application Number Title Priority Date Filing Date
KR1020170026836A KR20180099404A (ko) 2017-02-28 2017-02-28 실시간 검색식 검증방법 및 시스템

Country Status (1)

Country Link
KR (1) KR20180099404A (ko)

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
KR20210028595A (ko) * 2019-09-04 2021-03-12 주식회사 워트인텔리전스 검색 키워드 추천 및 확장 방법

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
KR20210028595A (ko) * 2019-09-04 2021-03-12 주식회사 워트인텔리전스 검색 키워드 추천 및 확장 방법

Similar Documents

Publication Publication Date Title
US8768651B2 (en) System and method for automatic standardization and verification of system design requirements
US7958164B2 (en) Visual design of annotated regular expression
US8312389B2 (en) Visualization of decision logic
US8543379B1 (en) System and method for parsing a text buffer using a graphical user interface
Alameer et al. Detecting and localizing internationalization presentation failures in web applications
US8200693B2 (en) Decision logic comparison and review
US7478079B2 (en) Method for displaying a visual representation of mapping between a source schema and a destination schema emphasizing visually adjusts the objects such that they are visually distinguishable from the non-relevant and non-selected objects
Mahajan et al. Detection and localization of html presentation failures using computer vision-based techniques
US8776023B2 (en) Software testing
Panchekha et al. Verifying that web pages have accessible layout
Ocariza et al. Detecting inconsistencies in JavaScript MVC applications
EP2555109B1 (en) Search utility program for software developers
RU2003116932A (ru) Обеспечение контекстно-зависимых инструментов и справочного информационного наполнения в документах, создаваемых на компьютере
Mahajan et al. Xfix: an automated tool for the repair of layout cross browser issues
Lim et al. Ply: A visual web inspector for learning from professional webpages
US9723489B1 (en) Automated vulnerability discovery in mobile device applications
KR20180099404A (ko) 실시간 검색식 검증방법 및 시스템
Garavel et al. Cadp’97–status, applications and perspectives
JP2004021944A (ja) 論理回路の論理的な等価検証方法及び装置
US9047411B1 (en) Programming environment for executing program code despite errors and for providing error indicators
KR20190088961A (ko) 실시간 검색식 검증방법 및 시스템
US20090187889A1 (en) Method and system for inconsistency resolution with cycle detection in a model-driven software environment
Tamrawi et al. Projected control graph for computing relevant program behaviors
JP3214356B2 (ja) テスト支援装置
Chiou et al. Detecting Dialog-Related Keyboard Navigation Failures in Web Applications

Legal Events

Date Code Title Description
A201 Request for examination
E902 Notification of reason for refusal
E601 Decision to refuse application
A107 Divisional application of patent
J201 Request for trial against refusal decision
J301 Trial decision

Free format text: TRIAL NUMBER: 2019101002459; TRIAL DECISION FOR APPEAL AGAINST DECISION TO DECLINE REFUSAL REQUESTED 20190722

Effective date: 20200717