| 摘要 |
<p>PROBLEM TO BE SOLVED: To estimate influence of changing the design of an arbitrary processing block in a data flow diagram.SOLUTION: A software verification device decomposes processing to be executed by software into multiple pieces of processing, and generates a plurality of processing blocks indicating each processing and a data line showing processing flow of the processing block, to perform information processing. The software verification device includes: an influence database which stores processing to be executed by a processing block, and information indicating a degree of influence on information input to the processing block due to changing the processing executed by the processing block, in association with each other; and a calculation unit which refers to the influence database when processing executed by a first processing block out of a plurality of processing blocks is changed, and calculates a degree of influence on a second processing block, which is connected to the first processing block and located posterior to the first processing block, due to changing the processing to be executed by the first processing block.</p> |
