Path-Sensitive Oracle Data Selection via Static Analysis

Path-Sensitive Oracle Data Selection via Static Analysis

A test oracle is a procedure that is used during testing to determine whether software behaves correctly or not. One of most important tasks for a test oracle is to choose oracle data (the set of variables monitored during testing) to observe. However, most literature on test oracles has focused eit...

Full description

Bibliographic Details
Main Authors: Mingzhe Zhang, Yunzhan Gong, Yawen Wang, Dahai Jin
Format: Article
Language:English
Published: MDPI AG 2021-01-01
Series:Electronics
Subjects:
software testing
static analysis
oracle data
test oracle
Online Access:https://www.mdpi.com/2079-9292/10/2/110

Internet

https://www.mdpi.com/2079-9292/10/2/110

Similar Items