KR890008693A - 소프트웨어 검증 및 유효검사 구성 관리 시스템 - Google Patents

소프트웨어 검증 및 유효검사 구성 관리 시스템 Download PDF

Info

Publication number
KR890008693A
KR890008693A KR1019880015426A KR880015426A KR890008693A KR 890008693 A KR890008693 A KR 890008693A KR 1019880015426 A KR1019880015426 A KR 1019880015426A KR 880015426 A KR880015426 A KR 880015426A KR 890008693 A KR890008693 A KR 890008693A
Authority
KR
South Korea
Prior art keywords
software
code
revised
file
occurrence
Prior art date
Application number
KR1019880015426A
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 에이.마이크.쥬니어
Publication of KR890008693A publication Critical patent/KR890008693A/ko

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F12/00—Accessing, addressing or allocating within memory systems or architectures
    • G06F12/16—Protection against loss of memory contents
    • 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 Security & Cryptography (AREA)
  • Stored Programmes (AREA)
  • Devices For Executing Special Programs (AREA)
  • Debugging And Monitoring (AREA)

Abstract

내용 없음

Description

소프트웨어 검증 및 유효검사 구성 관리 시스템
본 내용은 요부공개 건이므로 전문내용을 수록하지 않았음
제1a 및 1b도는 끝과 끝을 연결하여 배치되었으며 본 발명을 연결하는 시스템의 플로우챠트 예시도.

Claims (20)

  1. 소프트웨어 파일내에 소프트웨어를 저장하는 단계; 루틴이 다른 루틴에 의해서 이동되며 공개 변수 및 공통 명령문이 이용되는 충격위치를 확인하는 해제파일을 생성하는 단계로 구성되는; 최소한 일부 루틴이 다른것의 루틴을 선택적으로 호출하며 공개 변수와 공통 명령문을 공유하는 다수 루틴을 포함하는 소프트웨어를 해제하기 위한 프로그램 디지털 컴퓨터를 이용하는 자동화 방법에 있어서, 루틴이 다른 루틴에 의해서 이용되며 어떤 공개 변수 및 공통 명령문이 이용되는 상기 소프트웨어 파일내에 스토어되는 상기 소프트웨어내에 실제위치를 확인하기 위하여; 상기 확인된 실제위치를 상기 확인된 충격위치와 비교하기 위하여 그리고 그 사이에 어떤 상위를 나타내는 출력을 발생하기 위하여 프로그램 디지털 컴퓨터를 작동하는 단계를 특징으로 하는 프로그램 디지털 컴퓨터를 이용하는 자동화 방법.
  2. 제1항에 있어서, 상기 디지털 컴퓨터를 작동하는 것은 어떤 상위도 존재하지 않을 때 소프트웨어 라이브러리내에 상기 소프트웨어를 기록 보관 저장하는 것을 포함하는 것을 특징으로 하는 프로그램 디지털 컴퓨터를 이용하는 자동화 방법.
  3. 상기 소프트웨어를 수정하는 것과 상기 소프트웨어 파일내에 수정된 소프트웨어를 저장하는 것을 포함하는 제2항의 방법에 있어서, 상기 해제파일을 발생하는 것은 상기 소프트웨어의 수정내에 위치를 확인하는 것을 포함하며 상기 프로그램 디지털 컴퓨터를 작동하는 단계는 첫째로 상기 소프트웨어 파일내에 기록 보관된 소프트웨어와 비교하는 것과 그 사이의 차이를 확인하는 것과, 상기 차이의 위치를 상기 해제파일과 비교하는 것과 차이가 상기 해제파일 내에서 확인된 상기 수정에 상응하지 않을 때 출력을 방생하는 것을 포함하는 것을 특징으로 하는 프로그램 디지털 컴퓨터를 이용하는 자동화 방법.
  4. 제3항에 있어서, 상기 기록 보관 저장하는 것은 소프트웨어의 각 발생에 대한 소프트웨어 루틴의 개정을 소프트웨어 라이브러리 내에서 왁인하는 것을 포함하는 것을 특징으로 하는 프로그램 디지털 컴퓨터를 이용하는 자동화 방법.
  5. 제2항에 있어서, 상기 소프트웨어 라이브러리 내에 저장된 상기 소프트웨어를 링크하는 것과 그때 동시에 상기 링크된 소프트웨어를 검증 및 유효검사 하는 것을 특징으로 하는 프로그램 디지털 컴퓨터를 이용하는 자동화 방법.
  6. 제5항에 있어서, 상기 검증 및 유효검사 단계에서 상위를 확인하는 것과, 상위를 교정하기 위해서 상기 소프트웨어를 수정하는 것과, 제1항, 2항 및 5항의 단계를 반복하는 것을 포함하는 것을 특징으로 하는 프로그램 디지털 컴퓨터를 이용하는 자동화 방법.
  7. 제6항에 있어서, 기록보관 저장은 상기 소프트웨어 라이브러리내에서 각 피스의 코드를 가지는 상기 문서를 확인하는 것을 포함하는 것을 특징으로 하는 프로그램 디지털 컴퓨터를 이용하는 자동화 방법.
  8. 제2항에 있어서, 상기 소프트웨어는 코드와 문서를 포함하며 소프트웨어 파일내에 상기 소프트웨어를 저장하는 상기 단계는 상기 코드와 상기 문서를 저장하는 것을 포함하며, 기록 보관 저장은 상기 코드와 문서를 기록보관 저장하는 것을 포함하며 상기 해제파일을 생성하는 것은 코드내에서 및 문서내에서 변화를 확인하는 것을 포함하며 상기 프로그램 디지털 컴퓨터를 기록 보관된 코드 및 문서를 수정된 코드 및 문서와 비교하여 각각 사이의 차이를 확인하는 것을 특징으로 하는 프로그램 디지털 컴퓨터를 이용하는 자동화 방법.
  9. 최소한 일부 루틴이 다른 루틴을 호출하며 공개 변수와 공통 명령문을 공유하는 다수 루틴을 포함하는 소프트웨어 코드를 해제하기 위한 시스템은; 원래 코드를 저장하기 위한 라이브러리 수단(6)과; 개정된 코드를 저장하기 위한 수단(1)과; 개정된 코드내에 포함된 원래 코드에 대해 수정 코드를 확인하는 해제파일을 저장하기 위한 수단(2)과; 개정된 코드를 원래 코드와 비교하기 위한 그리고 그 사이의 차이를 확인하기 위한 수단(5)과; 상기 차이를 상기 해제파일과 비교하기 위해서 그리고 상기 해제파일내에 확인된 수정 및 차이 사이의 어떤 상위를 나타내는 출력을 발생하기 위한 수단을 포함하는 것을 특징으로 하는 다수 루틴을 포함하는 소프트웨어를 해제하기 위한 시스템.
  10. 제9항에 있어서, 개정된 코드의 루틴을 컴파일 하기 위한 및 코드가 컴파일 될 수없을때 출력을 발생하기 위한 수단(10)을 포함하는 것을 특징으로 하는 다수 루틴을 포함하는 소프트웨어를 해제하기 위한 시스템.
  11. 제10항에 있어서, 상기 라이브러리 수단(6)은 상기 원래 코드와 함께 문서를 저장하기 위한 수단을 포함하며, 개정된 소프트웨어 코드를 저장하기 위한 상기 수단은 개정된 소프트웨어 코드와 함께 개정된 문서를 저장하기 위한 수단(1)을 포함하며; 해제파일을 저장하기 위한 수단은 상기 문서내에 변화를 저장하기 위한 수단(2)를 포함하며; 비교하기 위한 상기 수단(5)은 상기 라이브러리 수단내에 저장된 원래 문서를 개정된 문서와 비교하며 상위가 존재할 때 출력을 발생하는 것을 특징으로 하는 다수 루틴을 포함하는 소프트웨어를 해제하기 위한 시스템.
  12. 제11항에 있어서, 해제파일을 저장하기 위한 상기 수단(2)은 루틴이 다른 루틴에 의해서 이용되며 공개 변수 및 공통 명령문이 이용되는 충격위치를 확인하기 위한 수단을 포함하며; 상기 시스템은 루틴이 다른 루틴에 의해서 이용되며 어떤 공개 변수와 공통 명령문이 이용되는 상기 코드내에 실제위치를 확인하기 위하나 수단(12)과, 상기 확인된 실제위치를 상기 충격위치와 비교하기 위한 및 그 사이에 상위가 존재하는 출력을 발생하기 위한 수단(13)을 포함하는 것을 특징으로 하는 다수 루틴을 포함하는 소프트웨어를 해제하기 위한 시스템.
  13. 상기 라이브러리 수단(6)내에 개정된 루틴과 문서를 저장하기 위해 상위가 존재하지 않을 때 수단(14)을 포함하는 제12항의 시스템에 있어서, 상기 라이브러리 수단은 상기 소프트웨어의 각 발생과 부합하는 각 루틴의 개정을 확인하기 위한 수단을 포함하는 것을 특징으로 하는 다수 루틴을 포함하는 소프트웨어를 해제하기 위한 시스템.
  14. 제13항에 있어서, 소프트웨어의 선택된 발생과 연결되는 루틴의 개정을 링크하기 위한 그리고 상기 라이브러리 수단(6)내에 상기 링크 루틴을 저장하기 위한 수단(18)을 포함하는 것을 특징으로 하는 다수 루틴을 포함하는 소프트웨어를 해제하기 위한 시스템.
  15. 개정되었던 소프트웨어의 보전성을 보장하는 방법은; 소프트웨어 라이브러리내에 상기 소프트웨어의 제1발생을 저장하는 단계와; 상기 소프트웨어의 개정된 발생을 포함하는 소프트웨어 파일을 발생하는 단계와; 상기 소프트웨어의 개정발생내에 포함된 소프트웨어의 제1발생에 대해 각 개정을 확인하는 해제파일을 발생하는 단계와; 디지털 컴퓨터를 ; 상기 소프트웨어 파일내에 소프트웨어의 개정된 발생을 상기 소프트웨어 라이브러리내에 소프트웨어의 제1발생과 비교하기 위해서 그리고 그 사이의 각 차이를 확인하기 위해서; 상기 차이를 상기 해제파일내에 포함된 개정과 비교하기 위해서; 그 사이의 상위를 확인하기 위해서 작동하는 단계로 구성되는 것을 특징으로 하는 개정된 소프트웨어의 보전성을 보장하는 방법.
  16. 제15항에 있어서, 상기 소프트웨어는 상기 제1발생의 소프트웨어용 소프트웨어 라이브러리내에 및 제2발생의 소프트웨어용 소프트웨어 파일내에 저장되는 코드와 문서를 포함하며, 상기 해제파일을 발생하는 것은 상기 개정된 발생의 코드 및 문서내에 포함된 소프트웨어의 제1발생의 코드 및 문서에 대해 개정을 확인하는 것을 포함하며; 상기 디지털 컴퓨터는 개정된 발생의 소프트웨어의 코드 및 문서를 제1발생의 코드 및 문서와 비교하기 위해서; 코드 및 문서의 제1발생과 개정된 발생 사이의 차이를 확인하기 위해서, 상기 해제파일 내에서 확인된 코드 및 문서에 대해 어떤 개정과 상기 차이를 비교하기 위해서 그리고 그 사이의 상위를 확인하기 위해서 작동하는 것을 특징으로 하는 개정된 소프트웨어의 보전성을 보장하는 방법.
  17. 제16항에 있어서, 어떤 상위가 존재하지 않을 때 상기 개정된 소프트웨어를 컴팡일하는 단계를 포함하는 것을 특징으로 하는 개정된 소프트웨어의 보전성을 보장하는 방법.
  18. 제17항에 있어서, 상기 해제파일을 발생하는 것은 루틴이 다른 루틴에 의해서 이용되는 상기 개정된 소프트웨어내에 충격위치를 확인하는 것을 포함하며 공개 변수와 공통 명령문이 이용되며, 상기 프로그램 디지털 컴퓨터를 루틴이 다른 루틴에 의해서 이용되며 어떤 공개 변수와 공통 명령문이 이용되는 상기 개정된 발생의 소프트웨어 내에 실제위치를 확인하기 위해서, 상기 확인된 실제위치를 상기 확인된 충격위치와 비교하기 위해서 그리고 그 사이에 어떤 상위를 나타내는 출력을 발생하기 위해서 작동되는 것을 특징으로 하는 개정된 소프트웨어의 보전성을 보장하는 방법.
  19. 제18항에 있어서, 어떤 상위가 존재하지 않을 때 상기 프로그램 디지털 컴퓨터를 상기 개정된 발생의 상기 소프트웨어 코드의 루틴을 링크하기 위해서 상기 프로그램 디지털 컴퓨터를 작동하는 단계를 포함하는 것을 특징으로 하는 개정된 소프트웨어의 보전성을 보장하는 방법.
  20. 제19항에 있어서, 상기 소프트웨어 코드의 개정된 발생을 동시에 검증 및 유효검사하는 단계를 포함하는 것을 특징으로 하는 개정된 소프트웨어의 보전성을 보장하는 방법.
    ※ 참고사항 : 최초출원 내용에 의하여 공개하는 것임.
KR1019880015426A 1987-11-25 1988-11-23 소프트웨어 검증 및 유효검사 구성 관리 시스템 KR890008693A (ko)

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
US07/125,294 US4864569A (en) 1987-11-25 1987-11-25 Software verification and validation configuration management system
US125.294 1987-11-25

Publications (1)

Publication Number Publication Date
KR890008693A true KR890008693A (ko) 1989-07-12

Family

ID=22419032

Family Applications (1)

Application Number Title Priority Date Filing Date
KR1019880015426A KR890008693A (ko) 1987-11-25 1988-11-23 소프트웨어 검증 및 유효검사 구성 관리 시스템

Country Status (4)

Country Link
US (1) US4864569A (ko)
EP (2) EP0323707A3 (ko)
JP (1) JPH01166219A (ko)
KR (1) KR890008693A (ko)

Families Citing this family (55)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2624753B2 (ja) * 1988-03-18 1997-06-25 株式会社日立製作所 上位仕様書作成方法
DE69024515T2 (de) * 1989-03-29 1996-05-15 Hewlett Packard Co Gerät zur Streckenmessung und -analyse zur Leistungsabschätzung von Software-Entwürfen
US5495610A (en) * 1989-11-30 1996-02-27 Seer Technologies, Inc. Software distribution system to build and distribute a software release
EP0469213A1 (fr) * 1990-08-02 1992-02-05 Société anonyme dite: LABINAL Procédé d'automatisation de certaines interventions humaines de validation de modules dans les systèmes de développement de logiciels
EP0472813B1 (de) * 1990-08-28 1998-12-16 Landis & Gyr Technology Innovation AG Verfahren zum Aendern eines in einer Computeranordnung eines Gerätes gespeicherten Computerprogramms in ein geändertes Computerprogramm und Anordnung zum Durchführen des Verfahrens
DE59108978D1 (de) * 1990-08-28 1998-06-10 Landis & Gyr Tech Innovat Verfahren zum Aendern einer in einem Computer eines Gerätes abgespeicherten Maschinensprachenfassung eines ersten Programms in eine Maschinensprachenfassung eines durch mindestens eine Aenderung vom ersten Programm abgeleiteten zweiten Programms
US5335342A (en) * 1991-05-31 1994-08-02 Tiburon Systems, Inc. Automated software testing system
US5488727A (en) * 1991-09-30 1996-01-30 International Business Machines Corporation Methods to support multimethod function overloading with compile-time type checking
US5528490A (en) 1992-04-10 1996-06-18 Charles E. Hill & Associates, Inc. Electronic catalog system and method
US5671415A (en) * 1992-12-07 1997-09-23 The Dow Chemical Company System and method for facilitating software development
US5475753A (en) * 1993-11-12 1995-12-12 Matsushita Electric Corporation Of America Apparatus and method for certifying the delivery of information
DE59402942D1 (de) * 1993-11-15 1997-07-03 Siemens Ag Vergleichsverfahren für steuerprogramm-quellcode
DE4416704A1 (de) * 1994-05-11 1995-11-16 Siemens Ag Integrationstestverfahren für ein objektorientiertes Programm
CA2147036A1 (en) * 1994-05-16 1995-11-17 Yih-Farn Robin Chen System and method for selective regression testing
US5696973A (en) * 1995-02-17 1997-12-09 International Business Machines Corporation Index-based method for supporting multimethod function overloading with compile-time type checking and run-time dispatch
US5550500A (en) * 1995-06-23 1996-08-27 Alliance Semiconductor Corporation Timing delay modulation scheme for integrated circuits
US5748878A (en) * 1995-09-11 1998-05-05 Applied Microsystems, Inc. Method and apparatus for analyzing software executed in embedded systems
US5970471A (en) 1996-03-22 1999-10-19 Charles E. Hill & Associates, Inc. Virtual catalog and product presentation method and apparatus
US6366930B1 (en) 1996-04-12 2002-04-02 Computer Associates Think, Inc. Intelligent data inventory & asset management systems method and apparatus
US5960196A (en) * 1996-12-18 1999-09-28 Alcatel Usa Sourcing, L.P. Software release metric reporting system and method
AU5250398A (en) * 1996-12-18 1998-07-15 Dsc Telecom L.P. Software testing process control system and method
US5903897A (en) * 1996-12-18 1999-05-11 Alcatel Usa Sourcing, L.P. Software documentation release control system
US5918053A (en) * 1996-12-19 1999-06-29 International Business Machines Corp. Method and system for diagraming collaborations deduced from small talkcode using a design virtual machine
US5884081A (en) * 1996-12-19 1999-03-16 International Business Machines Corp. Method and system for synchronizing code with design
US6223343B1 (en) * 1997-04-04 2001-04-24 State Farm Mutual Automobile Insurance Co. Computer system and method to track and control element changes throughout application development
US6990458B2 (en) * 1997-08-28 2006-01-24 Csg Systems, Inc. System and method for computer-aided technician dispatch and communication
US6071316A (en) * 1997-09-29 2000-06-06 Honeywell Inc. Automated validation and verification of computer software
US6018747A (en) * 1997-11-26 2000-01-25 International Business Machines Corporation Method for generating and reconstructing in-place delta files
US6106571A (en) * 1998-01-29 2000-08-22 Applied Microsystems Corporation Relocatable instrumentation tags for testing and debugging a computer program
US6338149B1 (en) 1998-07-31 2002-01-08 Westinghouse Electric Company Llc Change monitoring system for a computer system
AU763141B2 (en) * 1999-04-19 2003-07-17 Motorola Australia Pty Ltd A method of detecting illegal sequences of code execution
US6546547B1 (en) 1999-09-22 2003-04-08 Cisco Technology, Inc. Method and system for an automated net booting tool
US9959115B2 (en) * 2000-01-11 2018-05-01 Ecora.Com Corp. Method and system for automatic documentation of configurable systems
US6986125B2 (en) * 2001-08-01 2006-01-10 International Business Machines Corporation Method and apparatus for testing and evaluating a software component using an abstraction matrix
US6931573B2 (en) 2001-08-13 2005-08-16 International Business Machines Corporation Automated audit methodology for design
US7194475B2 (en) * 2001-10-30 2007-03-20 International Business Machines Corporation Method, system, and program for performing an impact analysis of program statements in at least one source code file
US7069547B2 (en) * 2001-10-30 2006-06-27 International Business Machines Corporation Method, system, and program for utilizing impact analysis metadata of program statements in a development environment
US7028295B2 (en) * 2001-10-31 2006-04-11 Seiko Epson Corporation Dynamic java class loading for application execution
US7076768B2 (en) * 2001-10-31 2006-07-11 Seiko Epson Corporation Dynamic class packaging
US7216338B2 (en) * 2002-02-20 2007-05-08 Microsoft Corporation Conformance execution of non-deterministic specifications for components
US20050028146A1 (en) * 2003-08-01 2005-02-03 Quick Shawn G. Systems and methods for software and firmware testing using checkpoint signatures
WO2006048346A1 (de) * 2004-11-03 2006-05-11 Siemens Aktiengesellschaft Verfahren zum verarbeiten von daten, filter-rechner und computerprogrammprodukt
US8561036B1 (en) 2006-02-23 2013-10-15 Google Inc. Software test case management
JP2009086791A (ja) * 2007-09-28 2009-04-23 Hitachi Ltd ソフトウェア製品系列分析装置
US7530056B1 (en) 2008-03-31 2009-05-05 International Business Machines Corporation Method and system for detecting runtime defects in a program by comparing correct and incorrect runs
JP5128440B2 (ja) * 2008-11-05 2013-01-23 株式会社日立製作所 ソフトウェア分析装置
US9021471B2 (en) 2011-05-03 2015-04-28 International Business Machines Corporation Managing change-set delivery
US20130007578A1 (en) * 2011-06-30 2013-01-03 Landon Ip, Inc. Method and apparatus for displaying component documents of a composite document
JP6477553B2 (ja) 2016-03-14 2019-03-06 オムロン株式会社 プログラム開発支援装置、プログラム開発支援プログラムおよびプログラム開発支援方法
US10379970B2 (en) * 2017-09-26 2019-08-13 Adobe, Inc. Automatic design discrepancy reporting
US11216272B1 (en) * 2018-05-31 2022-01-04 Palantir Technologies Inc. Automatic modification of repository files
EP3862822A1 (de) * 2020-02-06 2021-08-11 Siemens Aktiengesellschaft Verfahren und system zum validieren eines steuerungsprogramms
CN113360134B (zh) * 2020-03-06 2022-06-17 武汉斗鱼网络科技有限公司 安全验证程序的生成方法、装置、设备和存储介质
WO2022146933A1 (en) * 2020-12-28 2022-07-07 Temper Systems, Inc. Producing idiomatic software documentation for many programming languages from a common specification
CN113591422B (zh) * 2021-08-03 2024-01-30 眸芯科技（上海）有限公司 芯片验证中测试案例流程信息的生成系统及应用

Family Cites Families (8)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US4118789A (en) * 1977-06-06 1978-10-03 Allen-Bradley Company Program protection module for programmable controller
SU1149268A1 (ru) * 1982-11-11 1985-04-07 Предприятие П/Я Г-4620 Устройство дл записи и коррекции программ
US4558413A (en) * 1983-11-21 1985-12-10 Xerox Corporation Software version management system
US4742467A (en) * 1984-05-04 1988-05-03 Analysts International Corporation Automated programming system for machine creation of applications program source code from non-procedural terminal input
US4714992A (en) * 1985-11-26 1987-12-22 International Business Machines Corporation Communication for version management in a distributed information service
JPS62147542A (ja) * 1985-12-23 1987-07-01 Nec Corp テキストデ−タ管理方式
JPS62194542A (ja) * 1986-02-21 1987-08-27 Hitachi Electronics Eng Co Ltd プログラム管理方式
US4696003A (en) * 1986-03-10 1987-09-22 International Business Machines Corporation System for testing interactive software

Also Published As

Publication number Publication date
EP0619543A1 (en) 1994-10-12
EP0323707A2 (en) 1989-07-12
JPH01166219A (ja) 1989-06-30
US4864569A (en) 1989-09-05
EP0323707A3 (en) 1991-01-02

Similar Documents

Publication Publication Date Title
KR890008693A (ko) 소프트웨어 검증 및 유효검사 구성 관리 시스템
US5377315A (en) Regeneration of process control flow diagrams for programmable logic controllers
US4819233A (en) Verification of computer software
US20050071359A1 (en) Method for automated database schema evolution
US6401241B1 (en) Class archive software packages
US6990600B2 (en) Method for checking a computer system configuration
US20050188323A1 (en) Template creation apparatus and creation method
US5355479A (en) Interface conformance verification system
CN101685394A (zh) 用于提供版本间文档兼容性的方法和装置
CN110990051B (zh) 软件包依赖关系的维护方法、装置、介质和设备
CN113515303B (zh) 一种项目转型方法、装置和设备
CN117312270A (zh) 一种数据库自动化构建和部署的变更管理方法
US7325018B2 (en) Design flow checker
CN108304184B (zh) 编译方法及装置
LOHAMMAR SIMP-interactive mini-computer package for simulating dynamic and static models
JPS5856150A (ja) プログラム管理方式
CN117573564B (zh) 一种基于gitlab代码提交日志自动识别差异的方法
GB2195479A (en) Planning support method and system
Draper et al. The refinement of embedded software with the B-Method
CN115857973A (zh) 基于哈希值的软件一致性管理方法及系统
FEDERAL SOFTWARE MANAGEMENT SUPPORT CENTER FALLS CHURCH VA Ada (trademark) Compiler Validation Summary Report. SofTech, Inc. AdaVAX Compiler Version 2.47 VAX 8600, VAX-11/780, VAX-11/785; and MicroVAX II Using VAX/VMS Version 4.1 and MicroVMS 4.1 M.
Baird et al. Experiences in COBOL compiler validation
Waclo et al. Software Developement Experiences in a Nuclear Safety System Environment
CN115686613A (zh) Sdk发布方法及装置
JPH04178829A (ja) ロードモジュール内のファイル定義情報編集方式

Legal Events

Date Code Title Description
WITN Application deemed withdrawn, e.g. because no request for examination was filed or no examination fee was paid