-
公开(公告)号：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在主机系统中的兼容性。
-
Search Results
22
records
(took 0.017 seconds)
