Method For Validating Software And Recorded Medium For Performing Method Of Validating Software

摘要

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).