会议

源代码分析与操作

内容:源代码分析与操作是一个学术会议。会议主要发表在以下领域:源代码和软件系统。在整个生命周期中,大会共发表了509篇出版物,获得9861次引用。
主题:源代码软件系统静态程序分析Java程序切片
论文
多个过滤器

保罗陡崖
9月20日 2009源代码分析与操作
开放获取 学报的文章 DOI
TLDR: Rascal是一种特定于领域的语言,它通过在概念、语法、语义和技术级别集成源代码分析和操作,去掉了大部分的样板代码。
文摘: 许多自动化软件工程工具需要源代码分析和操作技术的紧密集成。这两个领域都有最先进的工具,但由于不同的计算范式最适合每个领域,所以这两个领域一直是分离的。这种阻抗不匹配阻碍了新解决方案的开发,因为所需的功能和可伸缩性只能通过不同技术的重复和临时集成来实现。Rascal是一种特定于领域的语言,它通过在概念、语法、语义和技术级别集成源代码分析和操作,去掉了大部分的样板代码。我们将概述该语言,并通过实现一个复杂的重构来评估它的优点。

...阅读更多


越佳
10月01 2009源代码分析与操作
开放获取 期刊文章 DOI
TLDR: 本文介绍了住房综合管理的概念;一种比构造它的第一阶突变体更难消灭的突变体,根据定义,包含HOMs表示微妙的故障组合。
文摘: 本文介绍了一种新的突变测试范式,即高阶突变测试(HOM)。传统的突变测试只考虑一阶突变,由单个故障的注入创建。通常情况下,这些一阶突变指的是容易消灭的微小缺陷。高阶突变体是通过插入两个或两个以上的错误而产生的。本文介绍了住房综合管理的概念;它比构建它的第一阶突变体更难被杀死。根据定义,包含HOMs表示微妙的故障组合。本文报告了使用10个程序对HOM测试进行实证研究的结果,包括几个具有测试套件的非平凡的现实主题。

...阅读更多


越佳
03年10月 2008源代码分析与操作
学报的文章 DOI
TLDR: 本文研究了高阶突变体(HOMs),并引入了包含高阶突变体的概念;它比构建它的第一阶突变体更难被杀死。
文摘: 传统的突变测试只考虑一阶突变,由单个故障的注入创建。通常情况下,这些一阶突变指的是容易消灭的微小缺陷。本文研究了高阶突变体(HOMs)。介绍了综合住房管理的概念;它比构建它的第一阶突变体更难被杀死。根据定义,包含HOMs表示微妙的故障组合。本文报告了纳入HOMs的实证研究结果,使用了六个基准程序。这是迄今为止最大规模的突变测试研究。为了克服突变体数量的指数爆炸,本文引入了一种基于搜索的方法来识别包含HOMs。给出了贪心算法、遗传算法和爬坡算法的计算结果。

...阅读更多


11月01 2001源代码分析与操作
学报的文章 DOI
TLDR: 本文讨论了不同的基于语句删除的切片方法,以及算法及其在软件工程中的应用。
文摘: 程序切片是一种将任务的焦点限制到程序的特定子组件的可行方法。应用程序的例子包括调试、测试、程序理解、重构、缩小规模和并行化。本文讨论了不同的基于语句删除的切片方法,以及算法及其在软件工程中的应用。

...阅读更多


10月01 2002源代码分析与操作
开放获取 学报的文章 DOI
TLDR: 有人提出,如果能找到有效识别假匹配的足够方法,就有可能使用组合工具来执行分析过程。
文摘: 本文描述了对5种用于大型软件应用的代码复制检测工具的检测能力进行评估的结果。具体来说,这项工作侧重于标识对预防性维护的好处,其目的是从源代码中删除一些标识的克隆。因此,在评估工具的基础上确定了许多需求。分析过程的结果表明,每个工具都有自己的优点和缺点,没有一个工具能够识别代码中的所有克隆。本文提出,如果能找到有效识别假匹配的足够方法,那么可能使用组合工具来执行分析过程。

...阅读更多


网络信息
相关会议(5)
软件工程基础

2 k论文90.4 k引用

86%相关
软件工程国际会议

13.2 k论文325.7 k引用

85%相关
软件测试与分析国际研讨会

860论文41.1 k引用

85%相关
自动化软件工程

2.8 k论文80.9 k引用

84%相关
软件维护国际会议

3 k论文75.3 k引用

82%相关
性能
指标
不。会议前几年的文件
一年 论文
2021 5
2020 30.
2019 28
2018 27
2017 18
2016 25