KR101905675B1 - 모듈의 구조 해석을 지원하는 장치 및 프로그램 - Google Patents
모듈의 구조 해석을 지원하는 장치 및 프로그램 Download PDFInfo
- Publication number
- KR101905675B1 KR101905675B1 KR1020147003424A KR20147003424A KR101905675B1 KR 101905675 B1 KR101905675 B1 KR 101905675B1 KR 1020147003424 A KR1020147003424 A KR 1020147003424A KR 20147003424 A KR20147003424 A KR 20147003424A KR 101905675 B1 KR101905675 B1 KR 101905675B1
- Authority
- KR
- South Korea
- Prior art keywords
- module
- statement
- function
- storage means
- operand
- Prior art date
Links
- 238000012916 structural analysis Methods 0.000 title claims abstract description 16
- 238000012545 processing Methods 0.000 claims abstract description 135
- 238000006243 chemical reaction Methods 0.000 claims abstract description 74
- 230000006870 function Effects 0.000 claims description 180
- 239000011159 matrix material Substances 0.000 claims description 75
- 238000000034 method Methods 0.000 claims description 39
- 230000014509 gene expression Effects 0.000 claims description 26
- 238000011161 development Methods 0.000 claims description 9
- 238000004458 analytical method Methods 0.000 claims description 4
- 238000011156 evaluation Methods 0.000 claims description 3
- 238000010586 diagram Methods 0.000 description 13
- 238000012423 maintenance Methods 0.000 description 8
- 238000012986 modification Methods 0.000 description 6
- 230000004048 modification Effects 0.000 description 6
- 238000012360 testing method Methods 0.000 description 4
- 239000003086 colorant Substances 0.000 description 3
- 238000004891 communication Methods 0.000 description 3
- 239000000284 extract Substances 0.000 description 2
- 102000009839 Endothelial Protein C Receptor Human genes 0.000 description 1
- 108010009900 Endothelial Protein C Receptor Proteins 0.000 description 1
- 238000003754 machining Methods 0.000 description 1
- 230000003252 repetitive effect Effects 0.000 description 1
- 239000013589 supplement Substances 0.000 description 1
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/70—Software maintenance or management
- G06F8/75—Structural analysis for program understanding
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/40—Transformation of program code
- G06F8/51—Source to source
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- General Engineering & Computer Science (AREA)
- Software Systems (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Stored Programmes (AREA)
- Quality & Reliability (AREA)
Abstract
Description
도 2는, 도 1의 장치의 기억장치에 기억되어 있는 모듈의 파일 구성을 모식적으로 나타내는 도면이다.
도 3은, 도 2의 모듈의 예를 나타내는 도이다.
도 4는, 도 1의 기억장치에 기억되어 있는 이차적 모듈의 파일 구성을 모식적으로 나타내는 도면이다.
도 5는, 도 1의 이차적 모듈의 일례를 부분적으로 나타내는 도면이다. 여기서, 이차적 모듈의 일부(파선 A의 부분)를 실선 A의 부분으로 확대하여 나타내고 있다.
도 6은, 도 1의 기억장치에 기억되어 있는 플로우차트(flow chart)의 일례를 부분적으로 나타내는 도면이다.
도 7은, 도 1의 기억장치에 기억되어 있는 매트릭스의 일례를 부분적으로 나타내는 도면이다.
도 8은, 도 1의 장치의 변환 수단의 기능을 나타내는 플로우차트이다.
도 9는, 도 8의 변환 수단의 기능의 일부를 보다 상세하게 나타내는 플로우차트이다.
도 10은, 도 1의 장치의 가공 수단의 기능을 나타내는 플로우차트이다.
도 11은, 도 1의 장치의 선택 수단의 기능을 나타내는 플로우차트이다.
도 12는, 도 1의 장치의 표시 속성 설정 수단의 기능을 나타내는 플로우차트이다.
도 13은, 도 1의 장치의 플로우차트 작성 수단의 기능을 나타내는 플로우차트이다.
도 14는, 도 1의 장치의 매트릭스 작성 수단의 기능을 나타내는 플로우차트이다.
도 15는, 도 1의 기억장치에 기억되어 있는 매트릭스의 일례를 부분적으로 나타내는 도면이다.
도 16은, 도 3의 모듈 중 하나를 변경했을 때의 차분(差分)을 예시하는 도면이다.
도 17은, 도 14의 매트릭스 작성 수단의 기능의 변형예를 나타내는 플로우차트이다.
도 18은, 도 16의 모듈이 변경되었을 경우의 매트릭스를 부분적으로 예시하는 도면이다.
도 19는, 도 16의 모듈이 변경되었을 경우의 플로우차트를 부분적으로 예시하는 도면이다.
도 20은, 도 1의 장치의 변형예를 나타내는 시스템 구성도이다.
20, 20', 20" 장치 본체
21 변환 수단
22 가공 수단
23 선택 수단
24 표시 속성 설정 수단
25 플로우차트(flow chart) 작성 수단
26 매트릭스 작성 수단
30, 30', 30" 기억장치(기억 수단)
31 모듈(소스 프로그램)
310 행
311 일련 번호(행 식별)
312 문
32 이차적 모듈(이차적 소스 프로그램)
320 이차적 행
321 모듈 식별
322 행 번호
323 계층 식별
324 명령 식별
325 오퍼랜드 정보
325f 제1 오퍼랜드(오퍼랜드)
325o 연산자
325s 제2 오퍼랜드(오퍼랜드)
326 일련 번호(행 식별)
327 이차적 문
328 표시 속성
33 플로우차트
34 매트릭스
40 입력장치
50 표시장치
60 파일 서버
70 기억장치(기억 수단)
80 통신회선
Claims (11)
- 프로그램 언어에 의해 기술된 1이상의 문으로 이루어지는 모듈을 1이상의 이차적 문으로 이루어지는 이차적 모듈로 변환하고, 이것에 의해 모듈의 구조 해석을 지원하는 장치로서,
상기 모듈은 모듈명에 의해 특정 가능하고, 상기 모듈에는 1이상의 상기 문으로 구성되는 처리 단위를 기술하는 것이 가능하며, 상기 처리 단위는 처리 단위명에 의해 특정 가능하고,
상기 모듈에는 상기 문으로서 처리 단위 실행문과 모듈 호출문과 조건문을 기술 가능하며, 상기 처리 단위 실행문은 상기 처리 단위를 상기 처리 단위명에 의해 특정하여 실행하기 위한 상기 문이고, 상기 모듈 호출문은 상기 모듈을 상기 모듈명에 의해 특정하여 실행하기 위한 상기 문이며, 상기 조건문은 조건식이 성립할지 여부에 따라서 실행할 상기 문을 선택하기 위한 상기 문이며, 상기 조건문에는 상기 조건문에 의해 선택되는 상기 문으로서 상기 조건문이 더욱 기술 가능하고, 이것에 의해 상기 조건문에 의한 상기 문의 계층화가 가능하며,
상기 장치는, 기억 수단과, 변환 수단을 구비하고 있고,
상기 기억 수단에는, 1이상의 상기 모듈이 기억되어 있으며,
상기 변환 수단은, 상기 기억 수단에 기억된 상기 모듈 중의 소정의 대상 모듈을 상기 이차적 모듈로 변환하여 상기 기억 수단에 기억하는 것이고, 상기 변환 수단은, 판독 기능과 변환 기능과 기입 기능을 가지고 있으며,
상기 판독 기능은, 상기 대상 모듈을 상기 기억 수단으로부터 읽어들이는 기능이고,
상기 변환 기능은, 상기 대상 모듈의 소정의 처리 개시 부분으로부터 소정의 처리 종료 부분까지 기술된 상기 문의 각각을 상기 이차적 문으로서 상기 이차적 모듈에 순차 출력하고, 상기 이차적 모듈로 출력되는 상기 문이 상기 처리 단위 실행문 또는 상기 모듈 호출문인 경우, 실행 대상인 상기 처리 단위 또는 호출 대상인 상기 모듈에 기술되어 있는 상기 문을 전개함으로써 상기 이차적 문을 생성하여 상기 이차적 모듈로 출력하며, 상기 전개되는 상기 문에 있어서의 상기 처리 단위 실행문 또는 상기 모듈 호출문에 대해서도 상기 전개를 더 행하는 기능이고,
상기 기입 기능은, 상기 이차적 모듈을 상기 기억 수단에 기억하는 기능인
장치. - 제1항에 있어서,
상기 변환 수단은 제어 정보 취득 기능을 더 가지고 있고, 상기 제어 정보 취득 기능은 전개 제어 정보를 취득하는 기능이며, 상기 전개 제어 정보에는 전개 제한 지시를 포함시킬 수 있고, 상기 전개 제한 지시는, 실행 대상인 상기 처리 단위 또는 호출 대상인 상기 모듈에 기술되어 있는 상기 문의 상기 전개를 첫회로만 제한하는 것을 지시하는 것이며,
상기 변환 수단은, 상기 변환 기능에 있어서, 상기 전개 제어 정보에 상기 전개 제한 지시가 지정되어 있는 경우, 동일한 상기 처리 단위에 대해서는, 실행 대상인 상기 처리 단위에 기술되어 있는 상기 문의 상기 전개를 첫회의 1회만 행하고, 동일한 상기 모듈에 대해서는, 호출 대상인 상기 모듈에 기술되어 있는 상기 문의 상기 전개를 첫회의 1회만 행하는
장치. - 제1항에 있어서,
상기 변환 수단은, 상기 변환 기능에 있어서, 상기 문이 상기 조건문인 경우, 상기 조건문의 상기 조건식에 근거하여 상기 이차적 문의 하나인 이차적 조건문을 생성하고, 상기 이차적 조건문에 의해 상기 이차적 문을 계층화하여 상기 이차적 모듈로 출력하며,
상기 이차적 조건문은, 2개의 평가 대상 오퍼랜드 간의 관계를 1개의 논리 연산자에 의해서만 평가하는 이차적 조건식이 성립할지 여부에 따라 실행할 상기 이차적 문을 선택하기 위한 상기 이차적 문인
장치. - 제3항에 있어서,
상기 변환 수단은, 계층 식별 부가 기능과 오퍼랜드 부가 기능 중의 적어도 일방을 더 가지고 있고,
상기 계층 식별 부가 기능은, 상기 이차적 모듈로 출력하는 상기 이차적 문의 적어도 일부에 대하여 계층 식별을 부가하는 기능이며, 상기 계층 식별은 상기 이차적 문이 어느 상기 계층에 위치하고 있는지를 나타내고 있으며,
상기 오퍼랜드 부가 기능은, 상기 이차적 모듈로 출력하는 상기 이차적 문 중 정수 또는 변수로 이루어지는 2개의 오퍼랜드와 1개의 연산자를 포함하는 것에 대하여, 2개의 상기 오퍼랜드와 1개의 상기 연산자를 포함하는 오퍼랜드 정보를 상기 이차적 문에 부가하는 기능인
장치. - 제3항에 기재된 장치에 의해 출력되는 상기 이차적 모듈을 가공하여, 이것에 의해 모듈의 구조 해석을 지원하는 장치로서,
기억 수단과 가공 수단을 구비하고 있고,
상기 기억 수단에는, 상기 이차적 모듈이 기억되어 있으며,
상기 가공 수단은, 상기 기억 수단에 기억된 상기 이차적 모듈을 가공하는 것이고, 상기 가공 수단은, 판독 기능과, 계층 식별 부가 기능과 오퍼랜드 부가 기능 중의 적어도 일방과, 기입 기능을 가지고 있고,
상기 판독 기능은, 상기 이차적 모듈을 상기 기억 수단으로부터 읽어들이는 기능이며,
상기 계층 식별 부가 기능은, 상기 이차적 모듈의 상기 이차적 문의 적어도 일부에 대하여 계층 식별을 부가하는 기능이고, 상기 계층 식별은, 상기 이차적 문이 어느 상기 계층에 위치하고 있는지를 나타내고 있으며,
상기 오퍼랜드 부가 기능은, 상기 이차적 모듈의 상기 이차적 문 중 정수 또는 변수로 이루어지는 2개의 오퍼랜드와 1개의 연산자를 포함하는 것에 대하여, 2개의 상기 오퍼랜드와 1개의 상기 연산자를 포함한 오퍼랜드 정보를 상기 이차적 문에 부가하는 기능이고,
상기 기입 기능은, 상기 계층 식별 또는 상기 오퍼랜드 정보가 부가된 상기 이차적 문으로 이루어지는 상기 이차적 모듈을 상기 기억 수단에 기억하는 기능인
장치. - 제4항에 기재된 장치에 의해 출력되는 상기 이차적 모듈의 일부를 선택하여, 이것에 의해 모듈의 구조 해석을 지원하는 장치로서,
기억 수단과 선택 수단을 구비하고 있고,
상기 기억 수단에는, 적어도 상기 계층 식별이 부가된 상기 이차적 문으로 이루어지는 상기 이차적 모듈이 기억되어 있으며,
상기 선택 수단은, 상기 기억 수단에 기억된 상기 이차적 모듈의 상기 이차적 문의 일부를 선택하는 것이고, 상기 선택 수단은, 판독 기능과 특정 정보 취득 기능과 선택 기능과 기입 기능을 가지고 있으며,
상기 판독 기능은, 상기 이차적 모듈을 상기 기억 수단으로부터 읽어들이는 기능이고,
특정 정보 취득 기능은, 계층 식별 특정 정보를 취득하는 기능이며, 상기 계층 식별 특정 정보는, 상기 이차적 문 중 선택 대상으로 할 것의 상기 계층 식별을 특정하고 있고,
상기 선택 기능은, 상기 이차적 모듈의 상기 이차적 문 중 상기 계층 식별이 상기 계층 식별 특정 정보에 의해 특정되는 상기 계층 식별과 동일한 것을 선택하여 선택 후의 이차적 모듈로 출력하는 기능이며,
상기 기입 기능은, 상기 선택 후의 이차적 모듈을 상기 기억 수단에 기억하는 기능인
장치. - 제4항에 기재된 장치에 의해 출력되는 상기 이차적 모듈로부터 표형식의 플로우차트(flow chart)를 작성하고, 이것에 의해 모듈의 구조 해석을 지원하는 장치로서,
기억 수단과 플로우차트 작성 수단을 구비하고 있고,
상기 기억 수단에는, 적어도 상기 계층 식별이 부가된 상기 이차적 문으로 이루어지는 상기 이차적 모듈이 기억되어 있으며,
상기 플로우차트 작성 수단은, 상기 기억 수단에 기억된 상기 이차적 모듈로부터 표형식의 상기 플로우차트를 작성하는 것이고, 상기 플로우차트 작성 수단은, 판독 기능과 플로우차트 작성 기능과 기입 기능을 가지고 있으며,
상기 판독 기능은, 상기 이차적 모듈을 상기 기억 수단으로부터 읽어들이는 기능이고,
상기 플로우차트 작성 기능은, 상기 이차적 모듈의 상기 이차적 문 중 상기 계층 식별에 의해 나타내는 계층이 동일한 상기 이차적 문에 대하여, 상기 이차적 조건식이 성립했을 경우에 실행되는 상기 이차적 문과 상기 이차적 조건식이 성립하지 않는 경우에 실행되는 상기 이차적 문을 표의 좌우에 배열한 상기 플로우차트를 작성하는 기능이며,
상기 기입 기능은, 상기 플로우차트를 상기 기억 수단에 기억하는 기능인
장치. - 제4항에 기재된 장치에 의해 출력되는 상기 이차적 모듈을 가공하여, 이것에 의해 모듈의 구조 해석을 지원하는 장치로서,
기억 수단과 표시 속성 설정 수단을 구비하고 있고,
상기 기억 수단에는, 적어도 상기 오퍼랜드 정보가 부가된 상기 이차적 문으로 이루어지는 상기 이차적 모듈이 기억되어 있으며,
상기 표시 속성 설정 수단은, 상기 기억 수단에 기억된 상기 이차적 모듈의 상기 이차적 문에 소정의 표시 속성을 설정하는 것이고, 상기 표시 속성 설정 수단은, 판독 기능과 초기 검색 문자 취득 기능과 표시 속성 설정 기능과 기입 기능을 가지고 있으며,
상기 판독 기능은, 상기 이차적 모듈을 상기 기억 수단으로부터 읽어들이는 기능이고,
상기 초기 검색 문자 취득 기능은, 초기 검색 문자를 취득하는 기능이며,
상기 표시 속성 설정 기능은, 상기 이차적 모듈의 상기 이차적 문의 상기 오퍼랜드 정보의 상기 오퍼랜드 중 상기 초기 검색 문자를 포함하고 있는 것을 추가 검색 문자로서 더 취득하고, 상기 이차적 문의 상기 오퍼랜드 정보의 상기 오퍼랜드 중 상기 추가 검색 문자를 포함하고 있는 것을 상기 추가 검색 문자로서 더 취득하며, 상기 이차적 문 중 상기 오퍼랜드 정보의 상기 오퍼랜드에 상기 초기 검색 문자 또는 상기 추가 검색 문자를 포함하고 있는 것에 상기 소정의 표시 속성을 설정하는 기능이고,
상기 기입 기능은, 상기 이차적 문에 상기 소정의 표시 속성이 설정된 상기 이차적 모듈을 상기 기억 수단에 기억하는 기능인
장치. - 제3항에 기재된 장치에 의해 출력되는 상기 이차적 모듈로부터 표형식의 매트릭스를 작성하여, 이것에 의해 모듈의 구조 해석을 지원하는 장치로서,
기억 수단과 매트릭스 작성 수단을 구비하고 있고,
상기 기억 수단에는, 상기 이차적 모듈이 기억되어 있으며,
상기 매트릭스 작성 수단은, 상기 기억 수단에 기억된 상기 이차적 모듈로부터, 복수의 열과 1이상의 행을 조합한 표형식의 상기 매트릭스를 작성하는 것이고, 상기 매트릭스 작성 수단은, 판독 기능과 이차적 문 출력 기능과 케이스 생성 기능과 매트릭스 작성 기능과 기입 기능을 가지고 있고,
상기 판독 기능은, 상기 이차적 모듈을 상기 기억 수단으로부터 읽어들이는 기능이며,
상기 이차적 문 출력 기능은, 상기 이차적 모듈의 상기 이차적 문을 상기 매트릭스의 소정의 열의 각 행에 출력하는 기능이고,
상기 케이스 생성 기능은, 상기 이차적 모듈의 1이상의 상기 이차적 조건식에 대하여, 그 모두가 성립하는 경우와, 그 일부가 성립하는 경우와, 그 모두가 성립하지 않는 경우를 포함한 모든 케이스를 생성하는 기능이며,
상기 매트릭스 작성 기능은, 생성한 상기 케이스의 각각에 상기 열의 어느 것을 관련 표시열로서 대응시키고, 상기 행에 출력된 상기 이차적 문 중 상기 관련 표시열과 대응하는 상기 케이스에 있어서 실행 대상이 되는 것이 출력되어 있는 상기 행에, 실행 대상이 되는 것을 나타내는 표시 정보를 출력하는 기능이며,
상기 기입 기능은, 상기 매트릭스를 상기 기억 수단에 기억하는 기능인
장치. - 제9항에 있어서,
상기 매트릭스 작성 수단은, 상기 매트릭스 작성 기능에 있어서, 상기 기억 수단에 기억된 상기 이차적 모듈의 상기 이차적 문의 일부를 선택하여, 상기 관련 표시열 중 상기 선택된 상기 이차적 문이 실행 대상이 되는 상기 케이스에 대응하는 것만을 상기 기억 대상으로서 추출하는
장치. - 컴퓨터를, 제1항 내지 제10항 중 어느 한 항에 기재된 장치로서 기능시키기 위한 프로그램을 기록한 기록매체.
Applications Claiming Priority (3)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JPJP-P-2011-162519 | 2011-07-25 | ||
JP2011162519A JP5458065B2 (ja) | 2011-07-25 | 2011-07-25 | モジュールの構造解析を支援する装置及びプログラム |
PCT/JP2012/067577 WO2013015109A1 (ja) | 2011-07-25 | 2012-07-10 | モジュールの構造解析を支援する装置及びプログラム |
Publications (2)
Publication Number | Publication Date |
---|---|
KR20140065389A KR20140065389A (ko) | 2014-05-29 |
KR101905675B1 true KR101905675B1 (ko) | 2018-10-10 |
Family
ID=47600962
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
KR1020147003424A KR101905675B1 (ko) | 2011-07-25 | 2012-07-10 | 모듈의 구조 해석을 지원하는 장치 및 프로그램 |
Country Status (5)
Country | Link |
---|---|
US (1) | US9128807B2 (ko) |
JP (1) | JP5458065B2 (ko) |
KR (1) | KR101905675B1 (ko) |
CN (1) | CN103635880B (ko) |
WO (1) | WO2013015109A1 (ko) |
Families Citing this family (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
WO2015015622A1 (ja) * | 2013-08-01 | 2015-02-05 | 松崎 務 | 装置及びプログラム |
JP6366033B2 (ja) * | 2014-05-09 | 2018-08-01 | インターナショナル・ビジネス・マシーンズ・コーポレーションInternational Business Machines Corporation | プログラム中のif文の最適化方法 |
Citations (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20040088689A1 (en) | 2002-10-31 | 2004-05-06 | Jeffrey Hammes | System and method for converting control flow graph representations to control-dataflow graph representations |
Family Cites Families (29)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH01286026A (ja) * | 1988-05-13 | 1989-11-17 | Hitachi Ltd | プログラムの実現仕様解析方式 |
JPH02140828A (ja) * | 1988-11-22 | 1990-05-30 | Nec Corp | 図式プログラムエディタにおける階層別プログラム表示方式 |
JPH03150636A (ja) * | 1989-11-08 | 1991-06-27 | Matsushita Electric Ind Co Ltd | コンパイル方法 |
JPH04127235A (ja) * | 1990-03-09 | 1992-04-28 | Hitachi Ltd | プログラム表示方法および装置ならびにプログラム生成方法および装置 |
JPH03292532A (ja) * | 1990-04-11 | 1991-12-24 | Nissan Motor Co Ltd | プログラム開発支援装置 |
JPH04165425A (ja) * | 1990-10-29 | 1992-06-11 | Nippon Telegr & Teleph Corp <Ntt> | 記号列中の入れ子関係抽出方法及びその装置 |
US5390320A (en) * | 1991-01-22 | 1995-02-14 | Grumman Aerospace Corporation | Automatically converting structured analysis tool database outputs into an integrated simulation model via transportable standardized metafile |
JPH07261990A (ja) * | 1994-03-23 | 1995-10-13 | Fujitsu Ltd | プログラム解析表示装置 |
JPH07281883A (ja) * | 1994-04-06 | 1995-10-27 | Fujitsu Ltd | プログラム修正支援装置及び方法 |
JPH0895763A (ja) * | 1994-09-22 | 1996-04-12 | Hitachi Software Eng Co Ltd | オリジナルプログラムへの部品プログラム取り込み方法 |
JP3262493B2 (ja) * | 1996-04-12 | 2002-03-04 | インターナショナル・ビジネス・マシーンズ・コーポレーション | プログラムのデータ構造を表示する方法、及びデータ構造表示装置 |
JPH10320190A (ja) * | 1997-05-20 | 1998-12-04 | Fujitsu Ltd | ソースプログラム経路検索装置および検索プログラムを記録した媒体 |
JPH11110198A (ja) | 1997-10-02 | 1999-04-23 | Fujitsu Ltd | モジュール構成図自動生成装置および記録媒体 |
JP3418544B2 (ja) * | 1998-03-24 | 2003-06-23 | 日立ソフトウエアエンジニアリング株式会社 | プログラムのテストデータ自動生成装置 |
JP2001154835A (ja) * | 1999-11-30 | 2001-06-08 | Sharp Corp | 構造化プログラム編集装置、及び構造化プログラム編集プログラムを記録した記録媒体 |
US7424646B2 (en) * | 2004-11-30 | 2008-09-09 | International Business Machines Corporation | Imposing a logical structure on an unstructured trace record for trace analysis |
JP2006209521A (ja) | 2005-01-28 | 2006-08-10 | Matsushita Electric Ind Co Ltd | テスト項目自動生成装置 |
US20060253840A1 (en) * | 2005-04-25 | 2006-11-09 | Eologic Limited | Program verification and visualization using a dynamic abstracted conceptual model |
CN1949168A (zh) * | 2005-10-14 | 2007-04-18 | 英业达股份有限公司 | 面板程序转换系统以及方法 |
US7568189B2 (en) * | 2006-05-03 | 2009-07-28 | Sony Computer Entertainment Inc. | Code translation and pipeline optimization |
US9021446B2 (en) * | 2006-06-28 | 2015-04-28 | Oracle America, Inc. | Uncoverage tool |
US7805705B2 (en) * | 2006-08-04 | 2010-09-28 | Apple Inc. | Graphically depicting program code depth |
JP2008181311A (ja) * | 2007-01-24 | 2008-08-07 | Toshiba Corp | リファクタリング支援装置及びプログラム |
JP5542300B2 (ja) * | 2007-09-28 | 2014-07-09 | 東芝三菱電機産業システム株式会社 | プログラム編集装置 |
US8336028B2 (en) * | 2007-11-26 | 2012-12-18 | International Business Machines Corporation | Evaluating software sustainability based on organizational information |
US9405555B2 (en) * | 2008-05-23 | 2016-08-02 | Microsoft Technology Licensing, Llc | Automated code splitting and pre-fetching for improving responsiveness of browser-based applications |
US20100042974A1 (en) * | 2008-08-12 | 2010-02-18 | International Business Machines Corporation | Build optimization with applied static analysis |
US8286140B2 (en) * | 2008-10-10 | 2012-10-09 | American Express Travel Related Services Company, Inc. | System, computer program, and method for a static code coverage analyzer for computer programs |
US8612938B2 (en) * | 2009-01-05 | 2013-12-17 | Tata Consultancy Services Limited | System and method for automatic generation of test data to satisfy modified condition decision coverage |
-
2011
- 2011-07-25 JP JP2011162519A patent/JP5458065B2/ja active Active
-
2012
- 2012-07-10 CN CN201280033010.4A patent/CN103635880B/zh active Active
- 2012-07-10 US US14/235,040 patent/US9128807B2/en active Active
- 2012-07-10 KR KR1020147003424A patent/KR101905675B1/ko active IP Right Grant
- 2012-07-10 WO PCT/JP2012/067577 patent/WO2013015109A1/ja active Application Filing
Patent Citations (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20040088689A1 (en) | 2002-10-31 | 2004-05-06 | Jeffrey Hammes | System and method for converting control flow graph representations to control-dataflow graph representations |
Also Published As
Publication number | Publication date |
---|---|
KR20140065389A (ko) | 2014-05-29 |
JP2013025716A (ja) | 2013-02-04 |
CN103635880A (zh) | 2014-03-12 |
WO2013015109A1 (ja) | 2013-01-31 |
US9128807B2 (en) | 2015-09-08 |
JP5458065B2 (ja) | 2014-04-02 |
CN103635880B (zh) | 2017-03-01 |
US20140196009A1 (en) | 2014-07-10 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US10970474B2 (en) | Method and system for editing text with a find and replace function leveraging derivations of the find and replace input | |
US5371747A (en) | Debugger program which includes correlation of computer program source code with optimized object code | |
JP4091726B2 (ja) | 構造化文書の表示規則の生成方法、システムおよびプログラムが記録された媒体ならびに構造化文書およびその文書型定義の変更方法、システムおよびプログラムが記録された媒体 | |
Schulte et al. | A multi-language computing environment for literate programming and reproducible research | |
EP2577460B1 (en) | Generating text manipulation programs using input-output examples | |
US6219831B1 (en) | Device and method for converting computer programming languages | |
US7921359B2 (en) | Computer-implemented system and method for tagged and rectangular data processing | |
JPH0969101A (ja) | 構造化文書生成方法および装置 | |
JPH0830620A (ja) | 構造検索装置 | |
JPH07219758A (ja) | 仕様書生成方法 | |
US6175843B1 (en) | Method and system for displaying a structured document | |
US5765177A (en) | Document processing method and apparatus for searching documents having a graph based document logic structure | |
KR101905675B1 (ko) | 모듈의 구조 해석을 지원하는 장치 및 프로그램 | |
JP2008165403A (ja) | Xml文書の処理方法および処理プログラム | |
KR101578119B1 (ko) | 구조 해석 장치 및 프로그램 | |
US6981219B2 (en) | Method and system for processing formulas and curves in a document | |
KR101705254B1 (ko) | 장치 및 프로그램 | |
Waterman | Pas-ii reference manual | |
JPH0512020A (ja) | テンプレート機能を有する紙葉類識別論理知識獲得装置 | |
JPH02297174A (ja) | 構造化文書処理システムにおけるヘッダデータ保持処理方式 | |
Rubin et al. | Using Microsoft Excel® as a Laboratory Data Management Tool | |
JP2004355322A (ja) | 機械翻訳装置、変換ルール辞書管理装置およびプログラム | |
Venkatasubramanian | Flowgrapher: generation of conceptual graphs from flowcharts | |
JPH08194706A (ja) | 構造化文章作成装置 | |
JP2008130063A (ja) | Web入力画面とプログラムの開発を完全分離できる入力画面作成システム。 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PA0105 | International application |
Patent event date: 20140210 Patent event code: PA01051R01D Comment text: International Patent Application |
|
PG1501 | Laying open of application | ||
A201 | Request for examination | ||
PA0201 | Request for examination |
Patent event code: PA02012R01D Patent event date: 20170410 Comment text: Request for Examination of Application |
|
E701 | Decision to grant or registration of patent right | ||
PE0701 | Decision of registration |
Patent event code: PE07011S01D Comment text: Decision to Grant Registration Patent event date: 20180720 |
|
GRNT | Written decision to grant | ||
PR0701 | Registration of establishment |
Comment text: Registration of Establishment Patent event date: 20181001 Patent event code: PR07011E01D |
|
PR1002 | Payment of registration fee |
Payment date: 20181002 End annual number: 3 Start annual number: 1 |
|
PG1601 | Publication of registration | ||
PR1001 | Payment of annual fee |
Payment date: 20210621 Start annual number: 4 End annual number: 4 |
|
PR1001 | Payment of annual fee |
Payment date: 20240913 Start annual number: 7 End annual number: 7 |