KR20000073804A - Verification method of base station software library function - Google Patents

Verification method of base station software library function Download PDF

Info

Publication number
KR20000073804A
KR20000073804A KR1019990017344A KR19990017344A KR20000073804A KR 20000073804 A KR20000073804 A KR 20000073804A KR 1019990017344 A KR1019990017344 A KR 1019990017344A KR 19990017344 A KR19990017344 A KR 19990017344A KR 20000073804 A KR20000073804 A KR 20000073804A
Authority
KR
South Korea
Prior art keywords
function
main
file
base station
input
Prior art date
Application number
KR1019990017344A
Other languages
Korean (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 김영환
Priority to KR1019990017344A priority Critical patent/KR20000073804A/en
Publication of KR20000073804A publication Critical patent/KR20000073804A/en

Links

Classifications

    • B—PERFORMING OPERATIONS; TRANSPORTING
    • B27—WORKING OR PRESERVING WOOD OR SIMILAR MATERIAL; NAILING OR STAPLING MACHINES IN GENERAL
    • B27D—WORKING VENEER OR PLYWOOD
    • B27D5/00—Other working of veneer or plywood specially adapted to veneer or plywood
    • B—PERFORMING OPERATIONS; TRANSPORTING
    • B27—WORKING OR PRESERVING WOOD OR SIMILAR MATERIAL; NAILING OR STAPLING MACHINES IN GENERAL
    • B27D—WORKING VENEER OR PLYWOOD
    • B27D5/00—Other working of veneer or plywood specially adapted to veneer or plywood
    • B27D5/003—Other working of veneer or plywood specially adapted to veneer or plywood securing a veneer strip to a panel edge
    • B—PERFORMING OPERATIONS; TRANSPORTING
    • B27—WORKING OR PRESERVING WOOD OR SIMILAR MATERIAL; NAILING OR STAPLING MACHINES IN GENERAL
    • B27D—WORKING VENEER OR PLYWOOD
    • B27D5/00—Other working of veneer or plywood specially adapted to veneer or plywood
    • B27D5/006—Trimming, chamfering or bevelling edgings, e.g. lists
    • F—MECHANICAL ENGINEERING; LIGHTING; HEATING; WEAPONS; BLASTING
    • F24—HEATING; RANGES; VENTILATING
    • F24F—AIR-CONDITIONING; AIR-HUMIDIFICATION; VENTILATION; USE OF AIR CURRENTS FOR SCREENING
    • F24F7/00—Ventilation
    • F24F7/04—Ventilation with ducting systems, e.g. by double walls; with natural circulation
    • F24F7/06—Ventilation with ducting systems, e.g. by double walls; with natural circulation with forced air circulation, e.g. by fan positioning of a ventilator in or against a conduit
    • F—MECHANICAL ENGINEERING; LIGHTING; HEATING; WEAPONS; BLASTING
    • F24—HEATING; RANGES; VENTILATING
    • F24F—AIR-CONDITIONING; AIR-HUMIDIFICATION; VENTILATION; USE OF AIR CURRENTS FOR SCREENING
    • F24F8/00—Treatment, e.g. purification, of air supplied to human living or working spaces otherwise than by heating, cooling, humidifying or drying
    • F24F8/10—Treatment, e.g. purification, of air supplied to human living or working spaces otherwise than by heating, cooling, humidifying or drying by separation, e.g. by filtering

Landscapes

  • Engineering & Computer Science (AREA)
  • Life Sciences & Earth Sciences (AREA)
  • Mechanical Engineering (AREA)
  • Wood Science & Technology (AREA)
  • Forests & Forestry (AREA)
  • Chemical & Material Sciences (AREA)
  • Combustion & Propulsion (AREA)
  • General Engineering & Computer Science (AREA)
  • Debugging And Monitoring (AREA)

Abstract

PURPOSE: A method for verifying a base station software library function is provided to perform an automatic debugging without correcting a verifying-targeted function, so as to prevent an abnormal error. CONSTITUTION: A base station system checks whether an input form has an error. If so, the system is directly completed. If the input form does not have an error, the system performs an environment file 'lib_name.env'. The system decides whether an option is a main. If not, the system generates a main function. The system searches an 'include' from a targeted file to duplicate the 'include' on the main function, and initializes an input arrangement by using an 'awk', then generates a variable definition. The system generates a targeted library execution routine and generates a print routine. The system alternately compiles the main function 'lib_name_main.c', a verifying-targeted function 'lib_name.c', and a user generation main function 'user_main.c'. The system accomplishes the main function and stores a function output result as a file 'lib_name.out'.

Description

기지국 소프트웨어 라이브러리 함수의 검증방법 {Verification method of base station software library function}Verification method of base station software library function

본 발명은 CDMA 및 PCS 이동시스템에 관한 것으로, 특히 기지국 소프트웨어 라이브러리 함수의 검증에 있어서, 검증대상 함수를 수정하지 않고 입력에 대한 출력을 파일로 구하는 자동 디버깅을 수행함으로써 비정상적인 에러를 방지할 수 있도록 한 기지국 소프트웨어 라이브러리 함수의 검증방법에 관한 것이다.The present invention relates to a CDMA and PCS mobile system, and in particular, in the verification of a base station software library function, it is possible to prevent an abnormal error by performing an automatic debugging that obtains an output of an input to a file without modifying a function to be verified. A method for verifying a base station software library function.

일반적으로 CDMA등 기지국 시스템에서 기지국 소프트웨어의 함수는 여러 라이브러리를 기반으로 생성된다.In general, in a base station system such as CDMA, a function of base station software is generated based on several libraries.

공통적으로 사용되는 라이브러리의 검증을 쉘 스크립트를 이용하여 검증될 라이브러리를 수정하지 않고 적당한 입력을 넣어 그에 대응되는 출력을 파일로 얻는 방법을 사용한다.To verify commonly used libraries, use shell scripts to modify the library to be validated, insert appropriate input, and get the corresponding output to a file.

종래 시스템은 하드웨어와 소프트웨어로 구성되어 있어 잘못된 소프트웨어를 가진 시스템을 본래의 목적대로 사용하려 한다면 수정과정이 필요하며, 한 번 완성된 것은 잘못이 있는지 검증함으로써 그 시스템이 오동작을 일으키기 전에 또는 오동작을 일으킨 후에라도 그 원인을 파악하도록 하며 시스템의 수정 작업을 도울 수 있다.Conventional systems are made up of hardware and software, so if you want to use a system with bad software for its intended purpose, you need to make corrections, and once it's done, you can verify that something went wrong before the system malfunctioned or failed. Even afterwards, the cause can be identified and the system can be corrected.

PCS와 DCS에서 기지국 소프트웨어는 여러 블록으로 구분되는데, 모든 블록의 개발자와 담당자는 완벽한 프로그램을 설계해야하는 당위성하에 프로그램을 설계,구현하지만 정교한 소프트웨어 개발 프로세서하에서는 예상치 못하는 에러를 막지 못할 경우가 있어 완성된 프로그램에 새로운 검증도구가 필요하다.In PCS and DCS, the base station software is divided into several blocks. The developers and managers of all the blocks design and implement the program with the necessity to design the complete program, but under the sophisticated software development processor, the error can not be prevented. Needs a new verification tool.

이런 기지국 소프트웨어 검증에 있어서 종래에는 하드웨어와 소프트웨어의 유기적인 시스템을 동작시킨 후 에러를 발견하여 해당 블록을 찾고 다시 프로그램을 고치는 방법을 사용하였다.In the verification of the base station software, conventionally, a method of operating an organic system of hardware and software, finding an error, finding a corresponding block, and fixing a program again.

그러나 이러한 방법은 시간을 많이 요구하며 해당 블록을 찾는 작업 또한 많은 어려움이 있어 능숙한 경험을 필요로 한다.However, this method requires a lot of time, and the task of finding the block is also difficult and requires skillful experience.

즉, 종래에는 개발자/사용자가 완벽하여야 하였으며 객관적인 검증을 수행하지 못하였다.That is, in the related art, the developer / user had to be perfect and did not perform the objective verification.

즉, 소프트웨어의 신뢰도를 높이기 위해서는 신뢰성있는 검증을 거친 소프트웨어가 되어야 하며 그러한 검증은 소프트웨어를 구성하는 함수의 동작에 대한 검증일 것이다.That is, in order to increase the reliability of the software, it must be a software that has undergone reliable verification, and such verification will be a verification of the operation of the functions constituting the software.

특히, 자주 변수의 값을 참조하기 위해 실행하는 라이브러리 함수의 경우는 특별한 검증대상이 된다.In particular, library functions that frequently execute to refer to the value of a variable are subject to special verification.

입력에 대응되는 출력을 발생시키는 함수가 검증을 거친 후 모든 에러를 막으며 원하는 출력을 갖는지를 검증하는 것은 매우 중요하며 종래의 검증방법이 아닌 새로운 검증 방법의 필요성이 요구된다.It is very important to verify that the function generating the output corresponding to the input has the desired output after the verification by preventing all errors, and a necessity of a new verification method other than the conventional verification method is required.

본 발명은 이와같은 종래의 문제점을 해결하기 위하여 안출한 것으로, 본 발명의 목적은, 기지국 소프트웨어 라이브러리 함수의 검증에 있어서, 검증대상 함수를 수정하지 않고 입력에 대한 출력을 파일로 구하는 자동 디버깅을 수햄함으로써 비정상적인 에러를 방지할 수 있도록 한 기지국 소프트웨어 라이브러리 함수의 검증방법을 제공하는데 있다.The present invention has been made to solve such a conventional problem, and an object of the present invention, in the verification of the base station software library function, the automatic debugging to obtain the output of the input to a file without modifying the function to be verified. By providing a method of verifying a base station software library function to prevent abnormal errors.

도 1은 본 발명의 블록도1 is a block diagram of the present invention

도 2는 본 발명의 기지국 소프트웨어 라이브러리 함수의 검증방법의 동작흐름도이다2 is a flowchart illustrating a method of verifying a base station software library function of the present invention.

〈도면의 주요 부분에 대한 부호의 설명〉<Explanation of symbols for main parts of drawing>

1:키보드 2:PC1: keyboard 2: PC

3:하드웨어 보드 4:모니터3: Hardware Board 4: Monitor

이와같은 목적을 달성하기 위한 본 발명은 환경 파일 선언 과정, 입력 파일 생성 과정, 테스트 생성을 위한 C루틴 컴파일 과정, 테스트 데이터 생성 과정,메인 함수생성과정, 쉘에 의해 생성된 메인 함수와 대상이 되는 라이브러리를 동시에 컴파일하는 과정, 메인 함수를 실행하고 해당 출력을 정의된 파일에 리디렉션시키는 과정으로 이루어짐을 특징으로 한다.In order to achieve the above object, the present invention provides an environment file declaration process, an input file generation process, a C routine compilation process for test generation, a test data generation process, a main function generation process, a main function generated by a shell, and a target. Compiling the library at the same time, executing the main function and redirecting the output to the defined file.

이하, 본 발명의 실시예를 첨부된 도면을 참고로 하여 상세히 설명하면 다음과 같다.Hereinafter, embodiments of the present invention will be described in detail with reference to the accompanying drawings.

도 1은 본 발명의 하드웨어적인 블록도로, 신호를 입력하기 위한 키보드(1)와, 상기 키보드(1)의 신호입력에 따른 동작을 수행하는 PC(또는 워크스테이션)(2)과, 내장된 소프트웨어에 따라 실시간으로 동작하여 상기 PC(2)를 제어하는 하드웨어보드(3)와, 상기 PC(2)의 출력을 디스플레이해주는 모니터(4)로 구성된 것이다.1 is a hardware block diagram of the present invention, a keyboard 1 for inputting a signal, a PC (or workstation) 2 performing an operation according to the signal input of the keyboard 1, and embedded software According to the present invention, the hardware board 3 controls the PC 2 in real time, and the monitor 4 displays the output of the PC 2.

이와같이 구성된 본 발명의 작용을 설명하면 다음과 같다.Referring to the operation of the present invention configured as described above is as follows.

본 발명은 많은 시스템중에서 CDMA기지국 시스템을 대상으로 설명하고자 한다.The present invention will be described for a CDMA base station system among many systems.

시스템을 전체적인 입장에서 검증하지 않고 시스템에 사용될 수 있는 함수의 기능을 다른 관점에서 검증할 수 있는데 이는 검증 대상이 되는 라이브러리를 시스템내에서가 아닌 독립적인 하나의 함수로 보고 검증하는 것이다.It is possible to verify the function of functions that can be used in the system from a different perspective without verifying the system as a whole. This is to verify and verify the library to be verified as an independent function rather than in the system.

이것이 가능하기 위해서는 그 라이브러리를 호출할 수 있는 또 다른 환경이 요구되며, 이 환경을 만들기 위해서 그 함수를 호출하는 메인 함수를 생성하고 원하는 입력에 대해 원하는 만큼 호출하고 출력을 받아보는 방법이면 가능하다.To be able to do this, you need another environment to call the library. To create this environment, you can create a main function that calls the function, call it as many times as you want for the desired input, and receive the output.

검증할 대상인 라이브러리에 대하여 하나의 툴(Tool)을 제시하고 이를 사용하여 일정한 정의만 있으면 검증을 수행할 환경을 만들어 낼 수 있는데 이는 C 쉘 스크립트(shell script)에 의해 가능하며, 여기에는 메인 함수를 만들고 이를 컴파일하고 입력 벡터를 생성하며 출력결과를 만들어 내는 일련의 과정이 포함된다.By presenting a tool for the library to be verified and using it, you can create an environment to perform the verification with a certain definition. This can be done by a C shell script. It involves a series of steps to build, compile it, generate an input vector, and produce an output.

라이브러리를 검증하는 경우, 그 대상 라이브러리를 수정한다는 것은 또 다른 오류를 내포할 가능성이 커지므로 본 발명의 검증 툴에서는 대상이 되는 라이브러리를 수정하지 않고 원본 그대로 기능을 검증할 수 있는 방법을 제시한 것이다.In the case of verifying a library, modifying the target library increases the possibility of introducing another error, and thus, the verification tool of the present invention provides a method of validating a function as it is without modifying the target library. .

먼저, 라이브러리 함수 검증 도구는 주된 역할을 하는 쉘 스크립트 파일이 있으며 그 검증 도구의 입력으로는 첫째 테스트 데이터를 만들기 위한 입력 파일 (예를들어,lib_name.in), 또는 테스트 데이터를 자동으로 생성시켜 줄 수 있는 입력 파일(예를들어, lib_name.indef), 둘째 주변 파라메터 정의를 위한 환경파일(예를들어,lib_name.env), 셋째 글로벌 변수를 정의하는데 사용하는 파일(예를들어,lin_name.global)이 있다.First, the library function verification tool has a shell script file that plays a main role, and the input of the verification tool is an input file for generating the first test data (for example, lib_name.in), or an automatically generated test data. Input file (for example, lib_name.indef), environment file for defining the second peripheral parameter (for example, lib_name.env), and file used to define the third global variable (for example, lin_name.global). There is this.

여기서, user_main.c파일은 검증 도구의 실행시 검증하려는 함수를 호출하는 메인 함수를 미리 만들 수 있는 옵션에 따른 파일이다.Here, the user_main.c file is a file according to the option to create a main function that calls a function to be verified when the verification tool is executed.

그리고 lib_name.indef파일은 함수의 테스트를 위한 입력 변수들을 만드는 것으로 입력 변수의 유형은 random,specific,step으로 정의하여 다양하게 입력 적용할 수 있도록 한다.And lib_name.indef file makes input variables for function test. The type of input variable is defined as random, specific, and step so that various inputs can be applied.

이는 검증 도구의 실행시 이러한 정의를 처리하는 함수를 호출함으로써 이루어진다.This is done by calling a function that handles these definitions when the verification tool is run.

함수의 알고리즘을 충분히 파악한 후 의미있는 입력을 정의한다면 그에 대응되는 출력값의 확인 작업으로써 함수의 검증이 이루어진다.If you fully understand the algorithm of a function and then define meaningful input, the function is verified by checking the corresponding output value.

이와같은 과정 후에 쉘 스크립트를 실행하면 다음과 같은 절차가 이루어진다.If you run a shell script after this process, the following procedure occurs:

먼저, 제1과정으로 환경 파일의 선언을 수행한다.First, the environment file is declared as the first step.

즉, 메인 함수를 만들고 컴파일하는 환경을 구축하기 위한 쉘 스크립트 파일을 실행하는 과정이다.In other words, this is the process of executing a shell script file to build an environment for creating and compiling main functions.

이후 과정에서 사용할 모든 변수를 선언하는 것으로, 툴 내에서 'source lib_name.env'를 수행한다.Declare all variables to be used in later steps, and run 'source lib_name.env' in the tool.

제2과정으로는 테스트하기 위한 입력 파일의 생성을 수행한다.The second step is to create an input file for testing.

즉, 테스트 데이터를 자동으로 생성하기 위한 C루틴을 생성하며, 입력파일을 만드는 과정으로 랜덤,스패픽,스텝 등의 유형을 갖는 입력 데이터를 정의한대로 만들어주기 위한 과정이다.In other words, C routines are generated to automatically generate test data, and the process of creating an input file is to create input data with a random, sparse, or step type as defined.

제3과정으로 테스트 데이터 생성을 위한 함수(C루틴)를 컴파일하고, 다음에 제4과정으로 컴파일된 코드에 의해 테스트 데이터를 생성한다.In the third step, a function (C routine) for generating test data is compiled, and then test data is generated by the code compiled in the fourth step.

그리고 제5과정으로 검증 대상이 되는 함수를 호출하기 위해서 메인 함수를 생성한다.In step 5, a main function is created to call a function to be verified.

먼저, 대상 함수의 인크루드(include) 파일을 모두 포함하고, 원하는 입력을 담고 있는 입력 파일을 읽어서 이를 배열로 저장한다.First, we include the include file of the target function, read the input file that contains the desired input, and store it as an array.

이를 위해서 awk라는 쉘 명령을 필드(field)라는 명령 파일을 사용해서 실행한다.To do this, run the shell command awk using a command file called a field.

그리고 각 입출력을 환경 파일을 참조해서 정의하고 입력을 정의한 후 대상 함수를 실행하고 이를 인쇄하는 형식을 담고 있다.Each input and output is defined by referring to the environment file, input is defined, and the function is executed and printed.

즉, 제5과정은 원하는 테스트 입력에 대해 출력을 구하기 위한 메인 함수를생성하는 것이다.That is, the fifth step is to generate a main function for obtaining an output for a desired test input.

다음에 제6과정은 쉘에 의해서 생성된 메인 함수와 대상이 되는 라이브러리를 동시에 컴파일하는 과정이다.The sixth step is to compile the main function generated by the shell and the target library at the same time.

환경 파일에 정의된 컴파일러와 인크루드 경로를 참조로 두 C파일을 컴파일하며, 이때 컴파일러로는 GCC(GNU C Compilier)를 사용한다.Compile the two C files by referring to the compiler and include path defined in the environment file, using the GCC (GNU C Compilier) as the compiler.

제7과정은 컴파일이 성공하면 실행 파일(메인 함수)이 만들어 지는데 이 실행 파일을 쉘상에서 실행하고 그에 해당하는 실행 결과를 저장한다.In the seventh step, if the compilation is successful, an executable file (main function) is created. The executable file is executed in a shell and the corresponding execution result is stored.

도 2는 상기 제1과정 내지 제7과정을 동작흐름도로 나타낸 것으로, 입력 형식 오류를 체크하여(S1단계), 입력형식이 오류인가를 판단한다(S2단계).FIG. 2 is a flowchart illustrating the first to seventh processes as an operation flow chart. The input format error is checked (step S1) to determine whether the input format is an error (step S2).

만일, 입력형식이 오류이면 바로 종료하나, 입력형식이 오류가 아니면 lib_name.env라는 환경 파일을 실행한다(S3단계).If the input format is an error, terminate immediately. If the input format is not an error, execute the environment file lib_name.env (step S3).

다음에 옵션이 메인인가를 판단하여 메인이 아닐 경우 메인 함수를 생성한다(S5-S9단계)Next, it is determined whether the option is main, and if it is not main, a main function is generated (steps S5-S9).

즉, 대상파일에서 인쿠르드(include)를 찾아서 메인함수에 복사하고, awk를 사용해서 입력 배열을 초기화하며(S6단계), 변수 정의를 생성하고(S7단계), 대상 라이브러리 실행 루틴을 생성한 후(S8단계), 프린트 루틴을 생성한다(S9단계).That is, find the include in the target file and copy it to the main function, initialize the input array using awk (step S6), create the variable definition (step S7), and create the target library execution routine. (Step S8), a print routine is generated (Step S9).

다음에 생성된 메인 함수인 lib_name_main.c와 검증 대상 함수인 lib_name.c 및 사용자 생성 메인 함수인 user_main.c를 교차 컴파일한다(S10단계).Next, cross-compile the generated main function lib_name_main.c, the verification target function lib_name.c, and the user-generated main function user_main.c (step S10).

이때, 상기 사용자 생성 메인 함수인 user_main.c는 S4단계에서 옵션이 메인일 경우 다른 함수와 교차 컴파일되는 함수이다.In this case, the user-generated main function user_main.c is a function that is cross-compiled with another function when the option is main in step S4.

상기 S10단계에서 교차 컴파일 수행 후 메인 함수를 실행하며(S11단계), 함수 출력 결과를 파일(lib_name.out)로 저장한다(S12단계).After performing cross-compilation in step S10, the main function is executed (step S11), and the function output result is stored as a file (lib_name.out) (step S12).

즉, 본 발명은 이와같은 과정에 의해 기지국 소프트웨어 라이브러리 함수의 검증에 있어서 검증대상 함수를 수정하지 않고 입력에 대한 출력을 파일로 구하는 자동 디버깅을 수행할 수 있는 것이다.That is, according to the present invention, in the verification of the base station software library function, the automatic debugging that obtains the output of the input to a file without modifying the function to be verified can be performed.

이상에서 설명한 바와같은 본 발명은 검증대상 라이브러리 함수의 호출과 입력의 결정 및 작용 그에 대한 출력의 분석을 C 쉘 스크립트를 이용하여 구현함으로써 그 시스템이 오동작을 일으키기 전에 또는 오동작을 일으킨 후에라도 그 원인을 파악할 수 있어 시스템의 수정작업을 도울 수 있는 효과가 있다.As described above, the present invention implements a call to a library function to be verified, a determination of an input, and an analysis of an output thereof by using a C shell script to identify the cause before or after the system malfunctions. It can have the effect of helping to modify the system.

Claims (3)

메인 함수를 만들고 컴파일 환경을 구축하기 위한 쉘 스크립트 파일을 실행하는 제1과정과,The first step of creating a main function and executing a shell script file to build a compilation environment, 테스트 데이터를 자동으로 생성하기 위한 C루틴을 생성하고 입력파일을 만드는 제2과정과,A second step of generating a C routine and an input file for automatically generating test data; 테스트 데이터 생성을 위한 C루틴을 컴파일하는 제3과정과,A third step of compiling a C routine for generating test data, 컴파일된 코드에 의해 테스트 데이터를 생성하는 제4과정과,A fourth step of generating test data by the compiled code, 원하는 테스트 입력에 대해 출력을 구하기 위한 C루틴을 생성하는 메인 함수 생성과정인 제5과정과,A fifth step of generating a main function for generating a C routine to obtain an output for a desired test input; 쉘에 의해서 생성된 메인 함수와 대상이 되는 라이브러리 함수를 동시에 컴파일하는 제6과정과,The sixth step of simultaneously compiling the main function generated by the shell and the target library function; 실행 파일을 쉘상에서 실행하고 그에 해당하는 출력을 정의된 출력 파일에 저장하는 제7과정으로 이루어짐을 특징으로 하는 기지국 소프트웨어 라이브러리 함수의 검증방법.7. A method of verifying a base station software library function, comprising executing a executable file on a shell and storing the corresponding output in a defined output file. 제 1항에 있어서, 상기 라이브러리 함수를 경로만 지정하여 수정없이 호출하는 것을 특징으로 하는 기지국 소프트웨어 라이브러리 함수의 검증방법.The method of claim 1, wherein the library function is called without modification by specifying only a path. 제 1항에 있어서, 상기 검증대상 라이브러리 함수를 호출하는 함수를 자동으로 생성하는 것을 특징으로 하는 기지국 소프트웨어 라이브러리 함수의 검증방법.The method of claim 1, wherein the function of automatically calling the verification target library function is automatically generated.
KR1019990017344A 1999-05-14 1999-05-14 Verification method of base station software library function KR20000073804A (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
KR1019990017344A KR20000073804A (en) 1999-05-14 1999-05-14 Verification method of base station software library function

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
KR1019990017344A KR20000073804A (en) 1999-05-14 1999-05-14 Verification method of base station software library function

Publications (1)

Publication Number Publication Date
KR20000073804A true KR20000073804A (en) 2000-12-05

Family

ID=19585515

Family Applications (1)

Application Number Title Priority Date Filing Date
KR1019990017344A KR20000073804A (en) 1999-05-14 1999-05-14 Verification method of base station software library function

Country Status (1)

Country Link
KR (1) KR20000073804A (en)

Citations (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPH0993343A (en) * 1995-09-27 1997-04-04 Hitachi Ltd Automatic verification method for exchange function
KR19990001423A (en) * 1997-06-14 1999-01-15 윤종용 Remote control method for and from base station controller
KR19990024467A (en) * 1997-09-03 1999-04-06 윤종용 Peldi output method without Peldi verification tool and actual relation structure
KR20000060232A (en) * 1999-03-12 2000-10-16 김영환 Method for measuring load rate of call control processor in base station controller of digital mobile communication system

Patent Citations (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPH0993343A (en) * 1995-09-27 1997-04-04 Hitachi Ltd Automatic verification method for exchange function
KR19990001423A (en) * 1997-06-14 1999-01-15 윤종용 Remote control method for and from base station controller
KR19990024467A (en) * 1997-09-03 1999-04-06 윤종용 Peldi output method without Peldi verification tool and actual relation structure
KR20000060232A (en) * 1999-03-12 2000-10-16 김영환 Method for measuring load rate of call control processor in base station controller of digital mobile communication system

Similar Documents

Publication Publication Date Title
US5966541A (en) Test protection, and repair through binary-code augmentation
US9733907B2 (en) System and method for testing compiler implementation using dynamic combinatorial test generation
US20080126867A1 (en) Method and system for selective regression testing
US8806436B2 (en) Systems and methods for debugging applications using dual code generation
WO1994027213A2 (en) Method for minimizing uncertainty in computer software processes allowing for automatic identification of faults locations and locations for modifications due to new system requirements with introduction of an alternative form of the target process object code allowing for less recompilation and re-linkage processing
CN111428233B (en) Security analysis method for embedded equipment firmware
US8549320B2 (en) Verifying loaded module during debugging
CN113742215A (en) Method and system for automatically configuring and calling test tool to perform test analysis
CN110851168B (en) Data processing method and device and computer readable storage medium
KR20010078692A (en) Hybrid computer programming environment
CA2240584C (en) Compile-time data dependency verification
CN106909434B (en) Method and device for detecting undefined function in executable program
JP2007149089A (en) Software program equipped with alternative function library
US20020129336A1 (en) Automatic symbol table selection in a multi-cell environment
Liu et al. DroidMutator: an effective mutation analysis tool for Android applications
Noller et al. Complete shadow symbolic execution with java pathfinder
KR20000073804A (en) Verification method of base station software library function
CN115034165A (en) Chip simulation verification method, system, equipment and storage medium
KR20070021879A (en) Apparatus and method for generation of test driver
CN111427762A (en) Automatic calling tool analysis techniques
US20240012741A1 (en) Method for testing a computer program in multiple compositions made up of computer program modules
US20230418576A1 (en) Protection, obfuscation, and optimization of binary executables using recompilation
Császár et al. Building fast and reliable reverse engineering tools with Frida and Rust
US20230146443A1 (en) Coverage-guided fuzzing via dynamic instrumentation
Bolazar et al. Measuring Component Specification-Implementation Concordance with Semantic Mutation Testing.

Legal Events

Date Code Title Description
N231 Notification of change of applicant
N231 Notification of change of applicant
A201 Request for examination
E902 Notification of reason for refusal
E601 Decision to refuse application