Open sandbox

How the Austria urlaubsanspruch calculator is verified

Inputs

InputFieldType
Days you work per weekdaysPerWeeknumber
Completed years of serviceserviceYearsnumber
Working year starts (YYYY-MM-DD)leaveYearStartstring
Working year ends (YYYY-MM-DD)leaveYearEndstring
First day worked in it (YYYY-MM-DD)workStartstring
Last day worked in it (YYYY-MM-DD)workEndstring
Days already takendaysTakennumber

The formula

Each derived value below is computed by the Valem engine from the expression shown, in this order. Nothing else runs — there is no hidden code path.

Derived valueFieldFormula (JSONata)
Werktage EntitledwerktageEntitled($n(serviceYears) >= $const.longServiceYears ? $const.longServiceWerktage : $const.statutoryWerktage)
Weeks EntitledweeksEntitledwerktageEntitled / $const.statutoryBasisDays
Full Year DaysfullYearDaysweeksEntitled * $n(daysPerWeek)
Months ServedmonthsServed$monthsBetween(workStart, workEnd)
Entitlement FractionentitlementFraction($n(serviceYears) >= 1 or monthsServed >= $const.fullEntitlementMonths ? 1 : ($f := monthsServed / 12; $f < 0 ? 0 : $f))
Days EntitleddaysEntitled$round(fullYearDays * entitlementFraction, 1)
Days RemainingdaysRemaining($r := daysEntitled - $n(daysTaken); $r < 0 ? 0 : $round($r, 1))

Rates and thresholds

The expressions above read these as $const. They are the figures the annual refresh replaces, so they live as data rather than being written into the formulas — which is what makes a year-on-year change a one-line diff instead of an edit to arithmetic.

ConstantValue
statutoryWerktage30
longServiceWerktage36
longServiceYears25
statutoryBasisDays6
fullEntitlementMonths6

Test vectors (9)

Every case is executed against this model on each build, by the Java engine and independently by a JavaScript one. A mismatch of a single cent fails the build, so the page cannot ship advertising a figure the model no longer produces.

Case 1 — G1 five-day week, past the first year: 25 Arbeitstage — USP's own figure

given daysPerWeek5
given serviceYears3
given leaveYearStart2026-01-01
given leaveYearEnd2026-12-31
given workStart2026-01-01
given workEnd2026-12-31
given daysTaken0
expect werktageEntitled30
expect weeksEntitled5
expect daysEntitled25

Case 2 — G2 six-day week: the statute's own 30 Werktage — USP's second figure

given daysPerWeek6
given serviceYears3
given leaveYearStart2026-01-01
given leaveYearEnd2026-12-31
given workStart2026-01-01
given workEnd2026-12-31
given daysTaken0
expect daysEntitled30

Case 3 — G3 25 years' service on a five-day week: 30 Arbeitstage — USP's third figure

given daysPerWeek5
given serviceYears25
given leaveYearStart2026-01-01
given leaveYearEnd2026-12-31
given workStart2026-01-01
given workEnd2026-12-31
given daysTaken0
expect werktageEntitled36
expect weeksEntitled6
expect daysEntitled30

Case 4 — G4 25 years on a six-day week: 36 Werktage — USP's fourth figure

given daysPerWeek6
given serviceYears25
given leaveYearStart2026-01-01
given leaveYearEnd2026-12-31
given workStart2026-01-01
given workEnd2026-12-31
given daysTaken0
expect daysEntitled36

Case 5 — G5 the step is at 25 completed years, so 24 is still 30 Werktage

given daysPerWeek5
given serviceYears24
given leaveYearStart2026-01-01
given leaveYearEnd2026-12-31
given workStart2026-01-01
given workEnd2026-12-31
given daysTaken0
expect werktageEntitled30
expect daysEntitled25

Case 6 — G6 first working year, four months in: § 2(2) pro-rates

given daysPerWeek5
given serviceYears0
given leaveYearStart2026-01-01
given leaveYearEnd2026-12-31
given workStart2026-01-01
given workEnd2026-05-01
given daysTaken0
expect monthsServed4
expect daysEntitled8.3

Case 7 — G7 first working year, seven months in: full entitlement, not seven twelfths

given daysPerWeek5
given serviceYears0
given leaveYearStart2026-01-01
given leaveYearEnd2026-12-31
given workStart2026-01-01
given workEnd2026-08-01
given daysTaken0
expect monthsServed7
expect entitlementFraction1
expect daysEntitled25

Case 8 — G8 second working year, two months in: all 30 Werktage from day one of it

given daysPerWeek5
given serviceYears1
given leaveYearStart2026-01-01
given leaveYearEnd2026-12-31
given workStart2026-01-01
given workEnd2026-03-01
given daysTaken0
expect monthsServed2
expect entitlementFraction1
expect daysEntitled25

Case 9 — G9 days already taken come off the remainder, and it never goes negative

given daysPerWeek5
given serviceYears3
given leaveYearStart2026-01-01
given leaveYearEnd2026-12-31
given workStart2026-01-01
given workEnd2026-12-31
given daysTaken40
expect daysRemaining0

Sources

Check it yourself — and reuse it

The whole model as JSON — inputs, outputs, formulas, vectors and sources in one re-runnable document.

This model is published under CC BY 4.0: use it, adapt it, build on it, with attribution. The licence covers the model — the expression of each rule and the arrangement of the catalog. The rates and thresholds are law, and nobody licenses those; the sources above are where they come from.

← Back to the Austria urlaubsanspruch calculator

Built with Valem — a live, verifiable calculator you can fork and embed.