Before revision:  However, source code or system models might not  be available at testing time.
After revision:  However, source code or system models might not always be available at testing time.