KR880006614A - 소프트 웨어 개발 지원 시스템에 있어서의 표시 방법 - Google Patents

소프트 웨어 개발 지원 시스템에 있어서의 표시 방법 Download PDF

Info

Publication number
KR880006614A
KR880006614A KR870012807A KR870012807A KR880006614A KR 880006614 A KR880006614 A KR 880006614A KR 870012807 A KR870012807 A KR 870012807A KR 870012807 A KR870012807 A KR 870012807A KR 880006614 A KR880006614 A KR 880006614A
Authority
KR
South Korea
Prior art keywords
change
display
information
display method
software product
Prior art date
Application number
KR870012807A
Other languages
English (en)
Other versions
KR960003048B1 (ko
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 미다 가쓰시게
Publication of KR880006614A publication Critical patent/KR880006614A/ko
Priority to KR1019950058346A priority Critical patent/KR960003049B1/ko
Application granted granted Critical
Publication of KR960003048B1 publication Critical patent/KR960003048B1/ko

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3604—Software analysis for verifying properties of programs
    • G06F11/3608—Software analysis for verifying properties of programs using formal methods, e.g. model checking, abstract interpretation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3664—Environments for testing or debugging software
    • 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/71—Version control; Configuration management

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Software Systems (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Computer Security & Cryptography (AREA)
  • Debugging And Monitoring (AREA)
  • Stored Programmes (AREA)

Abstract

내용 없음

Description

소프트 웨어 개발 지원 시스템에 있어서의 표시 방법
본 내용은 요부공개 건이므로 전문내용을 수록하지 않았음

Claims (14)

  1. 정보 처리장치를 구비하고 소프트 웨어 개발 지원을 위한 시스템에 있어서의 표시스템에 있어서의 표시 방법으로서, 변경전의 소프트 웨어 생산물의 구조 정보와 변경후의 소프트 웨어 생산물의 구조 정보를 비교하여 그들의 합집합인 구조 정보를 작성하는 스텝과, 상기 합진합 구조 정보의 적어도 일부를 도형 형식으로 해서 출력하는 스텝으로 되는 표시 방법.
  2. 특허 청구의 범위 제1항에 있어서, 상기 작성하는 스텝은 상기 합집합 구조 정보와 함께 각 소프트 웨어 생산물의 요소의 변경의 상태를 표시하는 식별 정보를 작성하는 스텝을 포함하는 표시 방법.
  3. 특허 청구의 범위 제1항에 있어서, 상기 작성하는 스텝은 변경전의 소트프 웨어 생산물과 변경후의 소프트 웨어 생산물을 해석하여 소프트 웨어 요소 정보로 되는 변경전 구조 정보와 변경후 구조 정보를 작성하는 스텝을 포함하는 표시 방법.
  4. 소프트 웨어 개발 지원을 위한 정보 처리 장치에 있어서, 변경전의 소프트 웨어 생산물과 변경후의 상기 소프트 웨어 생산물을 각각 해석하여 각각의 소프트 웨어구조에 따라 서로 관련시킨 소프트 웨어 요소정보로 되는 변경전 구조 정보와 변경후 구조 정보를 작성하는 스텝과, 상기 변경전 구조 정보와 변경후 구조 정보에서 변경의 전후의 모든 요소 정보를 포함하는 그들의 합집합인 구조 정보를 작성함과 동시에 각 소프트 웨어 요소의 변경의 상태를 표시하는 식별 정보를 부가하는 스텝과, 상기 합집합 구조 정보의 적어도 일부를 도식 형식으로 변환해서 상기 식별 정보가 표시하는 식별 정보가 표시하는 변경 상태를 표시하는 식별 정보를 부가하는 스텝과 상기 합집합 구조 정보의 표시하는 변경 상태의 표현과 함께 출력하는 스텝을 갖는 소프트 웨어 비교 도식 표시방법.
  5. 특허 청구의 범위 제4항에 있어서, 상기 변경4전 구조 정보와 변경후 구조 정보를 비교해서 상기 식별 정보를 얻는 스텝을 갖는 표시방법.
  6. 특허 청구의 범위 제4항에 있어서, 상기 변경전의 소프트 웨어생산물과 변경후의 소프트 웨어 생산물의 텍스트를 직접 비교해서 상기 식별 정보를 얻는 스텝을 갖는 표시 방법.
  7. 특허 청구의 범위 제4항, 제5항 또는 제6항에 있어서,상기 출력 스텝은 상기 합집합 구조 정보와 그 변경전 소프트 웨어 생산물 대응 부분과 그 변경후 소프트 웨어 생산물 대응 부분중의 적어도 하나를 출력하기 위해 선택하는 스텝을 포함하는 표시방법.
  8. 특허 청구의 범위 제7항에 있어서, 상기 선택 스텝은 상기 합집합 구조 정보와 그 2부분 중의 적어도 2개를 선택하고, 상기 출력 스텝은 선택된 상기 정보를 동시에 출력하는 표시 방법.
  9. 표시 단말을 갖는 소프트 웨어 개발 지원을 위한 시스템에 있어서, 피 테스트 프로그램중의 지정된 변수의 표시 위치를 특정하는 스텝과, 상기 프로그램의 각 스텝의 실행과 동기해서 그 프로그램 스텝에서 얻어진 상기 지정된 변수의 값을 상기 특정된 위치에 있어서 상기 표시 단말상에 표시하는 스텝을 갖는 표시방법.
  10. 특허 청구의 범위 제9항에 있어서, 상기 표시 위치 특정 스텝은 사전에 정해진 규칙에 따라서 상기 표시 위치를 특정하는 표시 방법.
  11. 특허 청구의 범위 제9항에 있어서, 상기 표시 위치 특정 시스템은 상기 지정된 변수마다 주어지는 위치 지정 정보에 따라서 표시 위치를 결정하는 표시방법.
  12. 특허 청구의 범위 제9항, 제10항 또는 제11항에 있어서, 상기 표시 스텝은 상기 지정된 변수의 갱신된 값을 그 예전 값에 추가해서 표시하는 표시 방법.
  13. 특허 청구의 범위 제9항에 있어서, 상기 표시 스텝은 상기 프로그램의 각 시점에 있어서 실행 위치를 변수 표시와 동일한 화면에 표시하는 스텝을 포함하는 표시 방법.
  14. 특허 청구의 범위 제13항에 있어서, 상기 실행 위치 표시 스텝은 변수값 표시와 동일한 화면에 상기 프로그램을 도식적으로 표시해서 그 위에서 실행 위치를 표시하는 표시방법.
    ※ 참고사항 : 최초출원 내용에 의하여 공개하는 것임.
KR1019870012807A 1986-11-20 1987-11-13 소프트 웨어 개발 지원 시스템에 있어서의 표시방법 KR960003048B1 (ko)

Priority Applications (1)

Application Number Priority Date Filing Date Title
KR1019950058346A KR960003049B1 (ko) 1986-11-20 1995-12-27 소프트 웨어 개발 지원 시스템에 있어서의 표시방법

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
JP61275207A JP2523289B2 (ja) 1986-11-20 1986-11-20 ソフトウエア開発支援システムにおける表示方法
JP61-275207 1986-11-20

Related Child Applications (1)

Application Number Title Priority Date Filing Date
KR1019950058346A Division KR960003049B1 (ko) 1986-11-20 1995-12-27 소프트 웨어 개발 지원 시스템에 있어서의 표시방법

Publications (2)

Publication Number Publication Date
KR880006614A true KR880006614A (ko) 1988-07-23
KR960003048B1 KR960003048B1 (ko) 1996-03-04

Family

ID=17552184

Family Applications (1)

Application Number Title Priority Date Filing Date
KR1019870012807A KR960003048B1 (ko) 1986-11-20 1987-11-13 소프트 웨어 개발 지원 시스템에 있어서의 표시방법

Country Status (5)

Country Link
EP (1) EP0268293B1 (ko)
JP (1) JP2523289B2 (ko)
KR (1) KR960003048B1 (ko)
CN (1) CN1012292B (ko)
DE (1) DE3751566T2 (ko)

Families Citing this family (7)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPH0247720A (ja) * 1988-08-08 1990-02-16 Nec Corp 木構造情報比較装置
GB2280288B (en) * 1993-07-20 1998-04-08 Northern Telecom Ltd Code sequence detection
CA2155592A1 (en) * 1994-09-16 1996-03-17 David Alan Ladd Detection of modifications in computer programs
US5699507A (en) * 1995-01-17 1997-12-16 Lucent Technologies Inc. Method of identifying similarities in code segments
US5574837A (en) * 1995-01-17 1996-11-12 Lucent Technologies Inc. Method of generating a browser interface for representing similarities between segments of code
JP4726519B2 (ja) * 2005-03-28 2011-07-20 富士通株式会社 画面定義データ差分抽出方法、装置及びプログラム
JP6383240B2 (ja) * 2014-10-17 2018-08-29 株式会社東芝 制御プログラム保守装置、及び制御プログラム保守方法

Family Cites Families (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US3711863A (en) * 1972-01-21 1973-01-16 Honeywell Inf Systems Source code comparator computer program
JPS5714954A (en) * 1980-07-02 1982-01-26 Mitsubishi Electric Corp Program debugging device of computer
JPS57155651A (en) * 1981-03-19 1982-09-25 Mitsubishi Electric Corp Program debug device
JPS6033640A (ja) * 1983-08-03 1985-02-21 Fujitsu Ltd デ−タ・モニタ方式
JPS6053331A (ja) * 1983-09-02 1985-03-27 Seiko Epson Corp 無線器
JPS61249148A (ja) * 1985-04-26 1986-11-06 Mitsubishi Electric Corp プログラムのトレ−ス方式

Also Published As

Publication number Publication date
EP0268293A3 (en) 1992-05-13
DE3751566D1 (de) 1995-11-23
EP0268293B1 (en) 1995-10-18
JPS63129419A (ja) 1988-06-01
CN1012292B (zh) 1991-04-03
JP2523289B2 (ja) 1996-08-07
DE3751566T2 (de) 1996-04-11
KR960003048B1 (ko) 1996-03-04
CN87107925A (zh) 1988-07-20
EP0268293A2 (en) 1988-05-25

Similar Documents

Publication Publication Date Title
US5191646A (en) Display method in software development support system
EP0242131A3 (en) Graphical system for modelling a process and associated method
KR850005636A (ko) 컴퓨터 표시 시스템
KR970704278A (ko) 통신 시스템에서 정보를 디스플레이하는 방법 및 장치
KR840006145A (ko) 수치 제어 가공방식(數値制御加工方式)
KR880006614A (ko) 소프트 웨어 개발 지원 시스템에 있어서의 표시 방법
KR880004393A (ko) 논리회로도 처리 장치 및 방법
KR950033817A (ko) 프로그래머블 콘트롤러의 프로그래밍기기, 프로그래머블 콘트롤러용 기능유닛 및 프로그래밍 기기의 메모리표시 입력방법
KR20030015230A (ko) 개선된 컴퓨터 시스템
KR900005249A (ko) 수치제어장치의 crt 표시방법
KR920008626A (ko) 곡선근사방법
JPH03245184A (ja) 監視画面試験装置
JPS63228239A (ja) マクロ展開のテスト方式
JPS61128325A (ja) 画面制御方式
JPH10161713A (ja) プログラム作成方法
JPS61220004A (ja) 数値制御装置の画面表示方式
JPH09212630A (ja) 図形作成装置
JPH06274567A (ja) 論理シミュレーション装置
JP2543215Y2 (ja) 論理回路シミユレーシヨン波形表示装置
JPS6380338A (ja) 対話的シンボリツクデバツグ機構をベ−スとしたプログラムモジユ−ルの単体テスト支援システム
KR900005831A (ko) 전자교환기용 소프트웨어 시뮬레이션 방법
JPS63198115A (ja) 端末装置
JPH0481976A (ja) 回路図自動設計装置
KR890016838A (ko) 복수국가 문자표시의 온 스크린 표시방법
JPH0371179A (ja) 教材作成システム

Legal Events

Date Code Title Description
A201 Request for examination
E902 Notification of reason for refusal
G160 Decision to publish patent application
E701 Decision to grant or registration of patent right
GRNT Written decision to grant
FPAY Annual fee payment

Payment date: 20040217

Year of fee payment: 9

LAPS Lapse due to unpaid annual fee