面向维护的实时软件时间变化敏感点检测-seg-南京大学.pdf

Software Engineering Group Department of Computer Science Nanjing University Technical Report No. NJU-SEG-2013-CJ-003 2013-CJ-003 面向维护的实时软件时间变化敏感点检测 汤恩义，李宣东 计算机学报 2013 年 第36 卷 Most of the papers available from this document appear in print, and the corresponding copyright is held by the publisher. While the papers can be used for personal use, redistribution or reprinting for commercial purposes is prohibited. 第 卷 第 期 计 算 机 学 报 ３６ １２ 　　 　　 　　 　　 　 Ｖｏｌ．３６ Ｎｏ．１２ 年 月 ２０１３ １２ ＣＨＩＮＥＳＥＪＯＵＲＮＡＬＯＦ ＣＯＭＰＵＴＥＲＳ Ｄｅｃ．２０１３ 　 　 　 　 面向维护的实时软件时间变化敏感点检测 ）， ） ）， ） 汤恩义１ ３ 李宣东１ ２ 　　 ） １ （ ） 南京大学软件新技术国家重点实验室 南京 ２１００９３ 　 　 ） ２ （ ） 南京大学计算机科学与技术系 南京 ２１００９３ 　 　 ） ３ （ ） 南京大学软件学院 南京 ２１００９３ F 　 ， 　 ， 摘 要 正确的时间属性和行为对于实时软件来说非常关键 然而这却很难得到完全的保障 在实际工业中 实时