-
公开(公告)号:KR100284490B1
公开(公告)日:2001-03-15
申请号:KR1019980049976
申请日:1998-11-20
IPC: G06F9/46
Abstract: 본 발명은 엠에스씨에 의한 칠 프로그램의 모듈 단위 테스팅 방법에 관한 것으로서, 수행 중에 발생한 이벤트들간의 선/후 관계를 판단하기 위한 논리 시간 벡터를 MSC에 적용하여 그 MSC 명세로부터 이벤트 간의 순서 제약조건을 추출하는 과정과, 이 제약조건을 바탕으로 전체 시스템에 대한 테스트 케이스 또는 개별 모듈에 대한 테스트 케이스를 생성하는 과정으로 구성되며, 상기와 같이 개별 모듈에 대한 테스트 케이스를 생성함으로써, 프로그램의 일부 모듈만이 구현되었을 때에도 그 모듈에 대한 테스팅이 가능하도록 하는 것을 특징으로 한다.
-
公开(公告)号:KR1020000033214A
公开(公告)日:2000-06-15
申请号:KR1019980049976
申请日:1998-11-20
IPC: G06F9/46
Abstract: PURPOSE: A method for a testing chill program module of MSC is provided to use time logic vectors and to determine the succession order of MSC description by creating a result testing case module and testing the CHILL program using that module. CONSTITUTION: A method for a testing chill program module of MSC is composed of application of logic, creation of succession order, development of test driver, and testing of the CHILL program. The method is initiated by applying the time logic vectors to MSC description(s101). Creation of succession order(120) of MSC descriptions(110) follows (s101). A manufacturing clause for the succession order(120) is developed and applied to driver algorithm to create a test driver(130), which is designed to test CHILL program(140)(s102). The test driver(130) is then applied to CHILL program(140) to determine the succession order of MSC description(s103). Examination of CHILL program module and MSC's compatibility in the host system is made possible by this method.
Abstract translation: 目的:提供一种MSC测试寒冷程序模块的方法,使用时间逻辑向量,并通过创建一个结果测试用例模块和使用该模块测试CHILL程序来确定MSC描述的连续顺序。 构成:MSC的测试寒冷程序模块的一种方法是逻辑应用,创建继承顺序,开发测试驱动程序和测试CHILL程序。 通过将时间逻辑向量应用于MSC描述来启动该方法(s101)。 遵循MSC描述(110)的继承顺序(120)(s101)。 开发用于继承顺序(120)的制造条款并将其应用于驱动器算法以创建被设计用于测试CHILL程序(140)(s102)的测试驱动器(130)。 然后将测试驱动器(130)应用于CHILL程序(140)以确定MSC描述的继承顺序(s103)。 通过该方法可以检查CHILL程序模块和MSC在主机系统中的兼容性。
-
公开(公告)号:KR100625597B1
公开(公告)日:2006-09-20
申请号:KR1019990062389
申请日:1999-12-27
Applicant: 한국전자통신연구원
IPC: G06F11/263
Abstract: 본 발명은 SDL(Specification and Discription Language) 및 MSC(Message Sequence Chart) 명세에 기반을 둔 객체 지향 CHILL 프로그램의 시험을 위한 테스트 케이스 자동 생성 방법을 제공하는데 그 목적이 있다.
본 발명에 따르면, MSC 및 SDL 명세를 기반으로 객체 지향 CHILL 프로그램을 테스팅하기 위한 테스트 케이스 생성 방법에 있어서, HMSC(Hybrid Message Sequence Chart) 명세에 테스트 기준을 적용하여 BMSC(Basic Message Sequence Chart) 명세를 생성하는 제 1 단계; 상기 BMSC 명세로부터 추출된 이벤트 시퀀스, 상기 SDL 명세로부터 추출된 멤버 함수 호출 및 동기적 시퀀스를 조합하여 테스트 드라이버를 구축하는 제 2 단계; 및 상기 구축된 테스트 드라이버로부터 테스트 기준을 적용하여 원하는 테스트 케이스를 추출하는 제 3 단계를 포함하여 이루어진 것을 특징으로 하는 객체 지향 CHILL 프로그램을 테스팅하기 위한 테스트 케이스 생성 방법이 제공된다.-
公开(公告)号:KR1020010064239A
公开(公告)日:2001-07-09
申请号:KR1019990062389
申请日:1999-12-27
Applicant: 한국전자통신연구원
IPC: G06F11/263
Abstract: PURPOSE: A method for automatically creating a test case for testing an object-oriented chill program is provided to create a sequence of complete member functions by extracting information for testing an interactive operation between objects from an MSC(message sequence chart) detail and extracting information for testing an interactive operation in the objects from an SDL(specification and description language) detail, thereby combining the information. CONSTITUTION: A BMSC(basic message sequence chart) detail is created by applying a test standard to a HMSC(hybrid message sequence chart) detail. A test driver is constructed by combining an event sequence extracted from a BMSC detail, a call of a member function extracted from the SDL detail and a synchronized sequence. The wanted test case is extracted by applying a test standard from the test driver.
Abstract translation: 目的:提供一种用于自动创建用于测试面向对象的寒冷程序的测试用例的方法,以通过提取用于测试来自MSC(消息序列图)细节的对象之间的交互操作的信息并提取信息来创建完整成员函数的序列 用于从SDL(规范和描述语言)细节测试对象中的交互操作,从而组合信息。 规定:通过将测试标准应用于HMSC(混合消息序列图)细节来创建BMSC(基本消息序列图)的细节。 通过组合从BMSC细节提取的事件序列,从SDL细节提取的成员函数的调用和同步序列来组合测试驱动程序。 通过从测试驱动程序应用测试标准来提取想要的测试用例。
-
-
-