Kalkylark används ofta, och studier har visat att de flesta slutanvändarkalkylblad innehåller icke-triviala fel. De flesta av de verktyg som för närvarande finns tillgängliga för att försöka mildra detta problem kräver olika nivåer av användarinterventioner. Detta dokument presenterar ett system, som kallas UCheck, som detekterar fel i kalkylblad automatiskt. UCheck utför automatisk header and unit inference, och rapporterar enhetsfel till användarna. UCheck är baserat på två statiska analysfaser som innehåller huvud- och enhetsinformation för alla celler i ett kalkylark. Vi har testat UCheck på ett brett utbud av kalkylblad och funnit att det fungerar exakt och tillförlitligt. Systemet användes också i en fortbildningskurs för gymnasielärare, som genomfördes genom Oregon State University, i syfte att göra deltagarna medvetna om behovet av kvalitetskontroll i skapandet av kalkylblad.
I synnerhet upptäcker UCheck-systemet REF fel i kalkylblad genom automatisk upptäckt av rubriker och (numerisk) enhetsinformation.
UCheck: A Spreadsheet Type Checker for End Users*
{'venue': None, 'journal': None, 'mag_field_of_study': ['Computer Science']}