SecEr公司 swMATH ID: 28172 软件作者： David Insa、Sergio Pérez、Josep Silva、Salvador Tamarit 描述： SecEr:Erlang代码进化控制工具：SecEr是一个用于Erlang的工具，它能够自动生成一个测试套件来检查关注点的行为。它可以用于回归测试，方法是生成一个测试套件用于将来的比较，或者自动比较Erlang模块的两个版本。为每个模块定义一个关注点，该工具会比较两个关注点的所有值，并通知用户任何不匹配的结果。该工具提供了一种新的粒度级别的跟踪，可以跟踪代码的任何变量，无论它是在模式中、保护中还是只是在表达式中。SecEr实现Erlang模块与TypEr、PropEr和CutEr等工具之间的通信。这意味着SecEr处理每个工具的输出，并将其与下一个工具连接，从而利用工具的组合潜力。 主页： https://arxiv.org/abs/1709.05291 源代码： https://github.com/serperu/secer网站 依赖项： 埃尔朗 关键词： 编程语言;arXiv_cs.PL公司;arXiv_cs.SE公司;代码进化控制;自动回归测试;追踪 相关软件： 飘飘然的;PropEr公司;卡特尔;红臭虫;埃尔朗;打字员;快速检查;ttb公司;数据库;萨菲拉 引用于： 1出版物 标准条款 1出版物描述软件 年份 Erlang代码进化控制David Insa、Sergio Pérez、Josep Silva、Salvador Tamarit 2017 3位作者引用 1 大卫·英莎 1 乔塞普·席尔瓦 1 萨尔瓦多塔马利特 0连载引用 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文