公开(公告)号：KR1020100096621A

公开(公告)日：2010-09-02

申请号：KR1020090015590

申请日：2009-02-25

Applicant: 성균관대학교산학협력단

Inventor： 이은석 ,  윤현상 ,  이준훈 ,  조병일

IPC: G06F9/44 ,  G06F17/00 ,  G06F9/06

CPC classification number: G06F11/3604 ,  G06F11/3672 ,  G06F17/50

Abstract: PURPOSE: A method for validating a software and a recorded medium for performing the method of validating the software are provided to increase the efficiency in the development of a software by verifying a non-functional element of the software in the development stage of the software. CONSTITUTION: A system comprising a hardware and a software is modeled through a hierarchical queuing Petri net(410), and the modeled hierarchical queuing Petri net is converted into a Markov chain(420). The converted Markov chain is converted into a Markov reward model by adopting a reward ratio(430), and the usability of the software is calculated based on the Markov reward model(440).

Abstract translation: 目的：提供用于验证软件和记录介质以执行验证软件的方法的方法，以通过在软件的开发阶段验证软件的非功能元件来提高软件开发的效率。 构成：通过分层排队Petri网（410）对包括硬件和软件的系统进行建模，并将建模的分级排队Petri网转换为马尔科夫链（420）。 通过采用奖励比率（430）将经转换的马尔可夫链转换为马尔可夫奖励模型，并根据马尔可夫奖励模型（440）计算软件的可用性。