Write a Blog >>
SPLASH 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
Thu 26 Oct 2017 16:59 - 17:22 at Regency A - Testing Chair(s): Christian Hammer

TypeScript applications often use untyped JavaScript libraries. To support static type checking of such applications, the typed APIs of the libraries are expressed as separate declaration files. This raises the challenge of checking that the declaration files are correct with respect to the library implementations. Previous work has shown that mismatches are frequent and cause TypeScript's type checker to misguide the programmers by rejecting correct applications and accepting incorrect ones.

This paper shows how feedback-directed random testing, which is an automated testing technique that has mostly been used for testing Java libraries, can be adapted to effectively detect such type mismatches. Given a JavaScript library with a TypeScript declaration file, our tool TSTEST generates a "type test script", which is an application that interacts with the library and tests that it behaves according to the type declarations.
Compared to alternative solutions that involve static analysis, this approach finds significantly more mismatches in a large collection of real-world JavaScript libraries with TypeScript declaration files, and with fewer false positives. It also has the advantage that reported mismatches are easily reproducible with concrete executions, which aids diagnosis and debugging.

Thu 26 Oct

splash-2017-OOPSLA
15:30 - 17:22: OOPSLA - Testing at Regency A
Chair(s): Christian HammerUniversity of Potsdam
splash-2017-OOPSLA150902460000015:30 - 15:52
Talk
Talia RingerUniversity of Washington, Dan GrossmanUniversity of Washington, Daniel Schwartz-NarbonneAmazon, n.n., Serdar TasiranAmazon, n.n.
DOI
splash-2017-OOPSLA150902594400015:52 - 16:14
Talk
Alastair DonaldsonImperial College London, Hugues EvrardImperial College London, UK, Andrei LascuImperial College London, Paul ThomsonImperial College London
DOI
splash-2017-OOPSLA150902728800016:14 - 16:37
Talk
Ahmet CelikUniversity of Texas at Austin, USA, Sreepathi PaiUniversity of Rochester, Sarfraz KhurshidUniversity of Texas at Austin, Milos GligoricUniversity of Texas at Austin
DOI
splash-2017-OOPSLA150902863200016:37 - 16:59
Talk
Xia LiUniversity of Texas at Dallas, USA, Lingming Zhang
DOI
splash-2017-OOPSLA150902997600016:59 - 17:22
Talk
Erik Krogh KristensenAarhus University, Denmark, Anders MøllerAarhus University
DOI