Analyzing Test Completeness for Dynamic Languages
Analyzing Test Completeness for Dynamic Languages
Anders M?ller
joint work with Christoffer Quist Adamsen and Gianluca Mezzetti
CENTER FOR ADVANCED SOFTWARE ANALYSIS
Languages with dynamic or optional typing are popular!
?
?
?
Typed Racket
?
Reticulated Python
?
DRuby
?
?...
2
overloaded ? the behavior and return type depend on runtime types of parameters
return type is either vec3, vec2, double, or the type of out
assertion failure if unexpected combination of types
runtime type error if values have unexpected types
(code from the Dart libraries vector_math and box2d) 3
How to ensure absence of runtime type errors in dynamically typed languages?
static analysis?
common programming patterns require very high analysis precision and/or annotations (not practical)
examples: ? static determinacy analysis [Andreasen & M?ller, OOPSLA 2014], ? refinement types [Vekris et al., ECOOP 2015]
4
Program testing can be used to show the
presence of bugs, but never to show
their absence
Dijkstra, 1970 5
................
................
In order to avoid copyright disputes, this page is only a partial summary.
To fulfill the demand for quickly locating and searching documents.
It is intelligent file search solution for home and business.
Related download
- leaseaccelerator 15 ways to assert completeness of your
- audit of the completeness timeliness quality and
- analyzing test completeness for dynamic languages
- on completeness and consistency in nonparametric
- chn66 sample and lab test completeness 1 0
- test plan completeness criteria fact sheet
- background american institute of certified public
- chapter 08 consideration of internal control in an
- test plan template strongqa
- centers for disease control and prevention
Related searches
- test questions for photosynthesis
- how to test negative for marijuana
- drug test kits for meth
- mcgraw hill test bank for instructors
- how to test clean for marijuana
- math test online for kids
- drugs that test positive for amphetamines
- midterm exam prep pre test questions for class sessions
- analyzing financial statements for dummies
- va means test threshold for 2019
- t test calculator for percentages
- home test kit for methamphetamine