保存此搜索
第条 2005年9月 PR-经理 :自动提取隐式编程规则并检测大型软件代码中的冲突 ESEC/FSE-13:与第13届ACM SIGSOFT软件工程基础国际研讨会联合举行的第10届欧洲软件工程会议记录 2005年9月, 第306–315页 https://doi.org/10.1145/1081706.1081755 程序通常遵循许多 隐性的 编程规则,其中大多数太繁琐,程序员无法记录。 当不知道或忘记这些规则的程序员违反了这些规则时,很容易引入缺陷。 因此,它。。。 另发布于: ACM SIGSOFT软件工程说明:第30卷第5期,2005年9月 第条 2005年9月 苏贝尔 :基于统计模型的错误定位 ESEC/FSE-13:与第13届ACM SIGSOFT软件工程基础国际研讨会联合举行的第10届欧洲软件工程会议记录 2005年9月, 第286–295页 https://doi.org/10.1145/1081706.1081753 软件错误的自动定位是调试辅助工具中的一个基本问题。 以前的研究表明,程序谓词的评估历史可能会揭示有关潜在错误的重要线索。 本文提出了一种新的。。。 另发布于: ACM SIGSOFT软件工程说明:第30卷第5期,2005年9月 第条 2005年9月 使用模型程序进行在线测试 ESEC/FSE-13:与第13届ACM SIGSOFT软件工程基础国际研讨会联合举行的第10届欧洲软件工程会议记录 2005年9月, 第273-282页 https://doi.org/10.1145/1081706.1081751 在线测试是一种将模型程序的测试派生和测试执行结合到单个算法中的技术。 我们描述了一种实用的在线测试算法,该算法是在……开发的基于模型的测试工具中实现的。。。 另发布于: ACM SIGSOFT软件工程说明:第30卷第5期,2005年9月 第条 2005年9月 可爱的 :用于C的协调单元测试引擎 ESEC/FSE-13:与第13届ACM SIGSOFT软件工程基础国际研讨会联合举行的第10届欧洲软件工程会议记录 2005年9月, 第263-272页 https://doi.org/10.1145/1081706.1081750 在 单元测试 ,程序被分解为单元,这些单元是函数的集合。 可以通过为单输入功能生成输入来测试单元的一部分。 入口函数可能包含指针参数,在这种情况下,单元的输入。。。 另发布于: ACM SIGSOFT软件工程说明:第30卷第5期,2005年9月 第条 2005年9月 用单元meister进行参数化单元测试 ESEC/FSE-13:与第13届ACM SIGSOFT软件工程基础国际研讨会联合举行的第10届欧洲软件工程会议记录 2005年9月, 第241-244页 https://doi.org/10.1145/1081706.1081745 参数化单元测试扩展了当前使用定义为无参数方法的封闭单元测试的行业实践。 通过实例化参数化单元测试,可以重新获得传统的封闭单元测试。 我们已经开发了原型工具 ... 另发布于: ACM SIGSOFT软件工程说明:第30卷第5期,2005年9月 第条 2005年9月 匹配程序版本的执行历史记录 ESEC/FSE-13:与第13届ACM SIGSOFT软件工程基础国际研讨会联合举行的第10届欧洲软件工程会议记录 2005年9月, 第197-206页 https://doi.org/10.1145/1081706.1081738 我们开发了一种匹配两个程序版本的程序执行动态历史的方法。 生成的匹配在许多应用程序中都很有用,包括软件盗版检测和一些调试场景。 与某些静态方法不同。。。 另发布于: ACM SIGSOFT软件工程说明:第30卷第5期,2005年9月 第条 2005年9月 从组件角度总结应用程序性能 ESEC/FSE-13:与第13届ACM SIGSOFT软件工程基础国际研讨会联合举行的第10届欧洲软件工程会议记录 2005年9月, 第136-145页 https://doi.org/10.1145/1081706.1081730 在分布式开发时代,大型应用程序通常由不同开发团队开发的多个组件层组装而成。 分层应用程序具有深层调用路径和大量调用(平均调用。。。 另发布于: ACM SIGSOFT软件工程说明:第30卷第5期,2005年9月 第条 2005年9月 使用混合方法收集性能数据 ESEC/FSE-13:与第13届ACM SIGSOFT软件工程基础国际研讨会联合举行的第10届欧洲软件工程会议记录 2005年9月, 第126-135页 https://doi.org/10.1145/1081706.1081729 性能分析包括在执行期间监视软件系统,然后分析获得的数据。 收集分析数据有两种方法:通过代码检测进行事件跟踪和统计采样。 这两种方法。。。 另发布于: ACM SIGSOFT软件工程说明:第30卷第5期,2005年9月 第条 2005年9月 上下文和路径敏感内存泄漏检测 ESEC/FSE-13:与第13届ACM SIGSOFT软件工程基础国际研讨会联合举行的第10届欧洲软件工程会议记录 2005年9月, 第115–125页 https://doi.org/10.1145/1081706.1081728 我们提出了一种上下文和路径敏感算法,用于检测具有显式内存管理的程序中的内存泄漏。 我们的泄漏检测算法基于底层转义分析:过程中的任何分配位置 P(P) 那不是。。。 另发布于: ACM SIGSOFT软件工程说明:第30卷第5期,2005年9月 第条 2005年9月 ASTEC公司 :重构C的新方法 ESEC/FSE-13:与第13届ACM SIGSOFT软件工程基础国际研讨会联合举行的第10届欧洲软件工程会议记录 2005年9月, 第21-30页 https://doi.org/10.1145/1081706.1081712 C语言是世界上使用最广泛的语言之一,尤其是在关键基础设施软件中。 C程序依赖于使用C预处理器处理的宏,但这些宏很难分析,并且经常容易出错[4]。。。 另发布于: ACM SIGSOFT软件工程说明:第30卷第5期,2005年9月