1 |
1
삭제
|
2 |
2
UML(Unified Modeling Language) SD(Sequence Diagram) 메타모델이 저장된 UML SD 메타모델 저장부;MCCFG(Multiple Condition Control Flow Graph) 메타모델이 저장된 MCCFG 메타모델 저장부;UML SD를 상기 UML SD 메타모델 및 상기 MCCFG 메타모델에 따라 모델 변환하여 MCCFG를 생성하는 모델 변환부; 및상기 MCCFG를 복수 개의 테스트 케이스로 변환하는 커버리지 크리테리아부;를 포함하고, 상기 UML SD 메타모델 저장부에는,UML 사양(specification)으로부터 추출한 UML SD 메타모델이 저장된, UML SD로부터 MCCFG를 기반으로 하는 다단계 테스트 케이스 생성장치
|
3 |
3
UML(Unified Modeling Language) SD(Sequence Diagram) 메타모델이 저장된 UML SD 메타모델 저장부;MCCFG(Multiple Condition Control Flow Graph) 메타모델이 저장된 MCCFG 메타모델 저장부;UML SD를 상기 UML SD 메타모델 및 상기 MCCFG 메타모델에 따라 모델 변환하여 MCCFG를 생성하는 모델 변환부; 및상기 MCCFG를 복수 개의 테스트 케이스로 변환하는 커버리지 크리테리아부;를 포함하고,상기 UML SD 메타모델은,Interaction, Lifeline, InteractionFragment 및 Message들 중에서 적어도 하나 이상의 엘레멘트를 포함하는, UML SD로부터 MCCFG를 기반으로 하는 다단계 테스트 케이스 생성장치
|
4 |
4
제 3 항에 있어서,상기 InteractionFragment는,CombinedFragment를 포함하고, 상기 CombinedFragment의 종류에는 seq, alt, opt, break, par 및 loop들 중에서 하나인, UML SD로부터 MCCFG를 기반으로 하는 다단계 테스트 케이스 생성장치
|
5 |
5
UML(Unified Modeling Language) SD(Sequence Diagram) 메타모델이 저장된 UML SD 메타모델 저장부;MCCFG(Multiple Condition Control Flow Graph) 메타모델이 저장된 MCCFG 메타모델 저장부;UML SD를 상기 UML SD 메타모델 및 상기 MCCFG 메타모델에 따라 모델 변환하여 MCCFG를 생성하는 모델 변환부; 및상기 MCCFG를 복수 개의 테스트 케이스로 변환하는 커버리지 크리테리아부;를 포함하고,상기 MCCFG 메타모델은,MultiConditionGroup에 OR 조건을 표현하는 ORDecisionNode 및 AND 조건을 표현하는 ANDDecisionNode 중 하나 이상을 포함하는, UML SD로부터 MCCFG를 기반으로 하는 다단계 테스트 케이스 생성장치
|
6 |
6
UML(Unified Modeling Language) SD(Sequence Diagram) 메타모델이 저장된 UML SD 메타모델 저장부;MCCFG(Multiple Condition Control Flow Graph) 메타모델이 저장된 MCCFG 메타모델 저장부;UML SD를 상기 UML SD 메타모델 및 상기 MCCFG 메타모델에 따라 모델 변환하여 MCCFG를 생성하는 모델 변환부; 및상기 MCCFG를 복수 개의 테스트 케이스로 변환하는 커버리지 크리테리아부;를 포함하고,상기 모델 변환부는,ATL(Atlas Transformation Language)의 매핑 규칙에 따라 상기 UML SD 메타모델 및 상기 MCCFG 메타모델을 매핑시켜 MCCFG로 모델 변환을 수행하는, UML SD로부터 MCCFG를 기반으로 하는 다단계 테스트 케이스 생성장치
|
7 |
7
UML(Unified Modeling Language) SD(Sequence Diagram) 메타모델이 저장된 UML SD 메타모델 저장부;MCCFG(Multiple Condition Control Flow Graph) 메타모델이 저장된 MCCFG 메타모델 저장부;UML SD를 상기 UML SD 메타모델 및 상기 MCCFG 메타모델에 따라 모델 변환하여 MCCFG를 생성하는 모델 변환부; 및상기 MCCFG를 복수 개의 테스트 케이스로 변환하는 커버리지 크리테리아부;를 포함하고,상기 커버리지 크리테리아부는,상기 MCCFG를 트리 구조로 변경하고, 상기 트리 구조를 복수 개의 테스트 케이스로 변환하는, UML SD로부터 MCCFG를 기반으로 하는 다단계 테스트 케이스 생성장치
|
8 |
8
UML(Unified Modeling Language) SD(Sequence Diagram) 메타모델이 저장된 UML SD 메타모델 저장부;MCCFG(Multiple Condition Control Flow Graph) 메타모델이 저장된 MCCFG 메타모델 저장부;UML SD를 상기 UML SD 메타모델 및 상기 MCCFG 메타모델에 따라 모델 변환하여 MCCFG를 생성하는 모델 변환부; 및상기 MCCFG를 복수 개의 테스트 케이스로 변환하는 커버리지 크리테리아부;를 포함하고,상기 복수 개의 테스트 케이스는,SC(Statement Coverage), DC(Decision Coverage), CDC(Condition/Decision Coverage) 및 MC/DC(Modified Condition/Decision Coverage)의 테스트 케이스들 중에서 하나 이상인, UML SD로부터 MCCFG를 기반으로 하는 다단계 테스트 케이스 생성장치
|
9 |
9
UML(Unified Modeling Language) SD(Sequence Diagram) 메타모델이 저장된 UML SD 메타모델 저장부;MCCFG(Multiple Condition Control Flow Graph) 메타모델이 저장된 MCCFG 메타모델 저장부;UML SD를 상기 UML SD 메타모델 및 상기 MCCFG 메타모델에 따라 모델 변환하여 MCCFG를 생성하는 모델 변환부; 및상기 MCCFG를 복수 개의 테스트 케이스로 변환하는 커버리지 크리테리아부;를 포함하고,상기 커버리지 크리테리아부는,상기 복수 개의 테스트 케이스들 각각을, Test Scenario ID, Testcase ID, Inflow, Event, Condition 및 Outflow들 중에서 적어도 하나 이상으로 구분하여 생성하는, UML SD로부터 MCCFG를 기반으로 하는 다단계 테스트 케이스 생성장치
|
10 |
10
삭제
|
11 |
11
모델 변환부가 UML(Unified Modeling Language) SD(Sequence Diagram)를 UML SD 메타모델 및 MCCFG(Multiple Condition Control Flow Graph) 메타모델에 따라 모델 변환하여 MCCFG를 생성하는 단계; 및커버리지 크리테리아부가 상기 MCCFG를 복수 개의 테스트 케이스로 변환하는 단계;를 포함하고, 상기 UML SD 메타모델은,UML 사양(specification)으로부터 추출한 UML SD 메타모델인, UML SD로부터 MCCFG를 기반으로 하는 다단계 테스트 케이스 생성장치에서의 테스트 케이스 생성방법
|
12 |
12
모델 변환부가 UML(Unified Modeling Language) SD(Sequence Diagram)를 UML SD 메타모델 및 MCCFG(Multiple Condition Control Flow Graph) 메타모델에 따라 모델 변환하여 MCCFG를 생성하는 단계; 및커버리지 크리테리아부가 상기 MCCFG를 복수 개의 테스트 케이스로 변환하는 단계;를 포함하고, 상기 UML SD 메타모델은,Interaction, Lifeline, InteractionFragment 및 Message들 중에서 적어도 하나 이상의 엘레멘트를 포함하는, UML SD로부터 MCCFG를 기반으로 하는 다단계 테스트 케이스 생성장치에서의 테스트 케이스 생성방법
|
13 |
13
제 12 항에 있어서,상기 InteractionFragment는,CombinedFragment를 포함하고, 상기 CombinedFragment의 종류에는 seq, alt, opt, break, par 및 loop들 중에서 하나 이상인, UML SD로부터 MCCFG를 기반으로 하는 다단계 테스트 케이스 생성장치에서의 테스트 케이스 생성방법
|
14 |
14
모델 변환부가 UML(Unified Modeling Language) SD(Sequence Diagram)를 UML SD 메타모델 및 MCCFG(Multiple Condition Control Flow Graph) 메타모델에 따라 모델 변환하여 MCCFG를 생성하는 단계; 및커버리지 크리테리아부가 상기 MCCFG를 복수 개의 테스트 케이스로 변환하는 단계;를 포함하고, 상기 MCCFG 메타모델은,MultiConditionGroup에 OR 조건을 표현하는 ORDecisionNode 및 AND 조건을 표현하는 ANDDecisionNode중 하나 이상을 포함하는, UML SD로부터 MCCFG를 기반으로 하는 다단계 테스트 케이스 생성장치에서의 테스트 케이스 생성방법
|
15 |
15
모델 변환부가 UML(Unified Modeling Language) SD(Sequence Diagram)를 UML SD 메타모델 및 MCCFG(Multiple Condition Control Flow Graph) 메타모델에 따라 모델 변환하여 MCCFG를 생성하는 단계; 및커버리지 크리테리아부가 상기 MCCFG를 복수 개의 테스트 케이스로 변환하는 단계;를 포함하고, 상기 모델 변환부가 UML(Unified Modeling Language) SD(Sequence Diagram)를 SD 메타모델 및 MCCFG(Multiple Condition Control Flow Graph) 메타모델에 따라 모델 변환하여 MCCFG를 생성하는 단계는,ATL(Atlas Transformation Language)의 매핑 규칙에 따라 상기 UML SD 메타모델 및 상기 MCCFG 메타모델을 매핑시켜 MCCFG로 모델 변환을 수행하는, UML SD로부터 MCCFG를 기반으로 하는 다단계 테스트 케이스 생성장치에서의 테스트 케이스 생성방법
|
16 |
16
모델 변환부가 UML(Unified Modeling Language) SD(Sequence Diagram)를 UML SD 메타모델 및 MCCFG(Multiple Condition Control Flow Graph) 메타모델에 따라 모델 변환하여 MCCFG를 생성하는 단계; 및커버리지 크리테리아부가 상기 MCCFG를 복수 개의 테스트 케이스로 변환하는 단계;를 포함하고, 상기 커버리지 크리테리아부가 상기 MCCFG를 복수 개의 테스트 케이스로 변환하는 단계는,상기 MCCFG를 트리 구조로 변경하고, 사용자의 선택명령에 따라 상기 트리 구조를 테스트 케이스로 변경하는, UML SD로부터 MCCFG를 기반으로 하는 다단계 테스트 케이스 생성장치에서의 테스트 케이스 생성방법
|
17 |
17
모델 변환부가 UML(Unified Modeling Language) SD(Sequence Diagram)를 UML SD 메타모델 및 MCCFG(Multiple Condition Control Flow Graph) 메타모델에 따라 모델 변환하여 MCCFG를 생성하는 단계; 및커버리지 크리테리아부가 상기 MCCFG를 복수 개의 테스트 케이스로 변환하는 단계;를 포함하고, 상기 복수 개의 테스트 케이스는,SC(Statement Coverage), DC(Decision Coverage), CDC(Condition/Decision Coverage) 및 MC/DC(Modified Condition/Decision Coverage)의 테스트 케이스들 중에서 하나 이상인, UML SD로부터 MCCFG를 기반으로 하는 다단계 테스트 케이스 생성장치에서의 테스트 케이스 생성방법
|
18 |
18
모델 변환부가 UML(Unified Modeling Language) SD(Sequence Diagram)를 UML SD 메타모델 및 MCCFG(Multiple Condition Control Flow Graph) 메타모델에 따라 모델 변환하여 MCCFG를 생성하는 단계; 및커버리지 크리테리아부가 상기 MCCFG를 복수 개의 테스트 케이스로 변환하는 단계;를 포함하고, 상기 커버리지 크리테리아부가 상기 MCCFG를 복수 개의 테스트 케이스로 변환하는 단계는,상기 복수 개의 테스트 케이스들 각각을, Test Scenario ID, Testcase ID, Inflow, Event, Condition 및 Outflow들 중에서 적어도 하나 이상으로 구분하여 생성하는, UML SD로부터 MCCFG를 기반으로 하는 다단계 테스트 케이스 생성장치에서의 테스트 케이스 생성방법
|