基于petri网的软件解析工具实现和程序正确性测试-计算机技术专业论文.docxVIP

Classified Index: TP399 U.D.C: 004.94 Dissertation for the Master?s Degree of Engineering IMPLEMENTATION OF SOFTWARE ANALYSIS TOOL AND TESTING OF PROGRAM CORRECTNESS BASED ON PETRI NET Candidate： Quanyuan Chen Supervisor： Prof. Hejiao Huang Associate Supervisor： Senior Engineer. Jerry Chen Academic Degree Applied for： Master of Engineering Speciality： Computer Technology Affiliation： Insyde Software co.,LTD Date of Defence： December, 2014 Degree-Conferring-Institution： Harbin Institute of Technology 哈尔滨工业大学工程硕士学位论文 哈尔滨工业大学工程硕士学位论文 I I 摘 要 随着计算机技术的不断发展，软件系统在人们生活中变得不可或缺，为了满 足人们需求的功能，软件系统对功能的开发越