非确定性操作的等价性检验
Equivalence Checking of Non-deterministic Operations
摘要：
检查操作的语义等价性是软件开发中的一项重要任务。例如，回归测试是在开发和改进软件系统时执行的例行任务，并且软件包管理者要求在同一主版本内的包的不同版本中的操作的等效性。需要一个坚实的基础来支持这一过程的良好自动化。已经表明，当存在非确定性特征时，等价的概念并不明显。本文讨论了函数逻辑程序中等价性的一般概念，提出了一种实用的等价性检验方法，并将该方法集成到一个基于属性的测试工具中，用于软件包管理器中对软件包的语义版本进行检验。
英文摘要：
Checking the semantic equivalence of operations is an important task in software development. For instance, regression testing is a routine task performed when software systems are developed and improved, and software package managers require the equivalence of operations in different versions of a package within the same major number version. A solid foundation is required to support a good automation of this process. It has been shown that the notion of equivalence is not obvious when non-deterministic features are present. In this paper, we discuss a general notion of equivalence in functional logic programs and develop a practical method to check it. Our method is integrated in a property-based testing tool which is used in a software package manager to check the semantic versioning of software packages.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
