An attempt to write an automated configuration testing tool