Computer Engineering and Applications ›› 2009, Vol. 45 ›› Issue (13): 78-80.DOI: 10.3778/j.issn.1002-8331.2009.13.023

• 研发、设计、测试 • Previous Articles     Next Articles

Performance analysis of programs using ordinary differential equations

WU Zheng-zhi,ZHANG Kao,DING Zuo-hua   

  1. Center of Mathematical Computing & Software Engineering,Zhejiang Sci-Tech University,Hangzhou 310018,China
  • Received:2008-03-19 Revised:2008-05-21 Online:2009-05-01 Published:2009-05-01
  • Contact: WU Zheng-zhi

基于微分方程的程序性能分析

吴正志,章 靠,丁佐华   

  1. 浙江理工大学 数学计算与软件工程中心,杭州 310018
  • 通讯作者: 吴正志

Abstract: Based on continuous Petri net,build differential equation model for programs.The program behavior can be analyzed from the curves of the solutions of the differential equations.Each equation describes the program state change and the state can be measured by a number between 0 and 1,indicating how much the state can be reached while the program is in execution.The advantage of our method is that we can avoid state explosion program while doing program analysis.

Key words: performance analysis, continuous Petri net, differential equation

摘要: 基于连续Petri网模型,用一组常微分方程来描述程序,通过研究微分方程的解来研究程序的性能。每个微分方程描述程序状态的变化,每个状态可由介于0和1之间的数来度量,显示程序到达状态的程度。该方法的好处在于在做程序分析时,可避开状态爆炸问题。

关键词: 性能分析, 连续Petri网, 微分方程