Testing system properties