Software testing without the oracle correctness assumption  

作　　者：Tun LI Wanwei LIU Xinrui GUO Ji WANG 

机构地区：[1]School of Computer,National University of Defense Technology,Changsha 410073,China [2]Laboratory of Software Engineering for Complex Systems,Changsha 410073,China [3]Microsoft STCA,Beijing 100080,China

出　　处：《Frontiers of Computer Science》2020年第3期221-224,共4页中国计算机科学前沿（英文版）

基　　金：supported by the National Key R&D Program of China(2017YFB1001802).

摘　　要：1 Introduction When testing programs,the oracle correctness assumption(OCA)implies that there are no errors in the test oracles,such as the expected outputs are always correctly designed and written in unit testing assertions.Guo's work[1]is the first piece of work that investigated the influences on fault localization caused by errors in test oracles and proposed a method to identify potential incorrect oracles.However,no systematic discussions are availed.

关 键 词：ORACLE TESTING SOFTWARE 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]