Model-Based Testing Without a Model: Assessing Portability in the Seattle Testbed
Despite widespread OS, network, and hardware heterogeneity, there has been a lack of research into quantifying and improving portability of a programming environment. The authors have constructed a distributed testbed called Seattle built on a platform-independent programming API that is implemented on different operating systems and architectures. Their goal is to show that applications written to their API will be portable. In this paper, they use an instrumented version of the programming environment for testing purposes. The instrumentation allows one to gather traces of actual program behavior from a running implementation.