公开(公告)号：KR1020100034448A

公开(公告)日：2010-04-01

申请号：KR1020080093591

申请日：2008-09-24

Applicant: 한국과학기술원

Inventor： 배두환 ,  송인권

IPC: G06F17/00 ,  G06F9/00

CPC classification number: G06F8/10

Abstract: PURPOSE: A method for detecting undesired behaviors in scenario based requirements and an electronic recording medium in which an algorithm for the method is recorded are provided to prevent unnecessary works and the number of processes generated by an error of the scenario based requirements in advance. CONSTITUTION: A sequence diagram and an interaction outline diagram are inputted(10). The sequence diagram and the interaction outline diagram are normalized(20). A group of generable behaviors is converted into the first abstracted control flow graph form based on the normalized sequence diagram and interaction outline diagram(30).

Abstract translation: 目的：提供一种用于在基于场景的需求中检测不期望行为的方法和其中记录有用于该方法的算法的电子记录介质，以防止不必要的工作以及基于场景的需求的错误产生的处理次数。 构成：输入序列图和交互轮廓图（10）。 序列图和交互轮廓图被归一化（20）。 基于归一化序列图和交互轮廓图，将一组可变性行为转换为第一抽象控制流图形式（30）。