R（右）出口T型美国东部时间S公司选举

苏珊娜·曼斯基 📧

2021年4月30日

这是本条目的开发版本。它可能会随着时间的推移而变化，并且不稳定。引用请参考发布版本。

摘要

此开发提供了安全回归的一般定义测试选择（RTS）算法。RTS算法选择要进行的测试重新运行修订后的代码，减少检查新代码所需的时间引入了错误。RTS算法被认为是安全的，当且仅当所有未选中的测试都将具有不变的结果。这个定义是实例化了两个基于类集合的RTS算法由JinjaDCI建模的JVM。这是通过一个通用集合语义的定义，插入的小步骤语义在执行过程中收集信息。作为RTS定义要求安全，这些实例化包括安全证明。这个Mansky和Gunter的LSFA 2020论文中描述了这项工作曼斯基博士论文（UIUC，2020）。

许可证

许可协议

话题

会话回归测试选择

取决于

引用

× 
@第{条回归测试选择AFP，author={苏珊娜·曼斯基}，title={回归测试选择}，journal={正式证据存档}，月={四月}，年份={2021}，注意={\url{https://isa-afp.org/entries/Regression_Test_Selection.html}，形式证明开发}，ISSN={2150-914x}，}
下载

下载

× 下载最新版本

旧版本：