{"title":"应用定理发现自动发现和检查可用性启发式","authors":"Andy Gimblett, H. Thimbleby","doi":"10.1145/2494603.2480320","DOIUrl":null,"url":null,"abstract":"Theorem discovery is a novel technique for the automatic analysis of statespace-based models of user interfaces, in which possible sequences of user actions are systematically computed and compared for equivalence, or close equivalence, of effect. Using this technique, we noticed a previously undetected problem with the behaviour of many widely-used inexpensive off-the-shelf interactive devices. Specifically, on many calculators, pressing the decimal point key has no effect on the display, thus unnecessarily breaking the well known usability heuristic that an interactive system should provide appropriate feedback to the user, and potentially causing unnecessary confusion that may lead to error. While this insight is interesting in itself, it is also of significance as a simple but nonetheless non-trivial example of the power and potential of theorem discovery as an analytical technique, not least because the problem - obvious once pointed out - has apparently remained undetected and unremarked upon for many years.","PeriodicalId":163033,"journal":{"name":"Engineering Interactive Computing System","volume":"59 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2013-06-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"7","resultStr":"{\"title\":\"Applying theorem discovery to automatically find and check usability heuristics\",\"authors\":\"Andy Gimblett, H. Thimbleby\",\"doi\":\"10.1145/2494603.2480320\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Theorem discovery is a novel technique for the automatic analysis of statespace-based models of user interfaces, in which possible sequences of user actions are systematically computed and compared for equivalence, or close equivalence, of effect. Using this technique, we noticed a previously undetected problem with the behaviour of many widely-used inexpensive off-the-shelf interactive devices. Specifically, on many calculators, pressing the decimal point key has no effect on the display, thus unnecessarily breaking the well known usability heuristic that an interactive system should provide appropriate feedback to the user, and potentially causing unnecessary confusion that may lead to error. While this insight is interesting in itself, it is also of significance as a simple but nonetheless non-trivial example of the power and potential of theorem discovery as an analytical technique, not least because the problem - obvious once pointed out - has apparently remained undetected and unremarked upon for many years.\",\"PeriodicalId\":163033,\"journal\":{\"name\":\"Engineering Interactive Computing System\",\"volume\":\"59 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2013-06-24\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"7\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Engineering Interactive Computing System\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/2494603.2480320\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Engineering Interactive Computing System","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/2494603.2480320","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Applying theorem discovery to automatically find and check usability heuristics
Theorem discovery is a novel technique for the automatic analysis of statespace-based models of user interfaces, in which possible sequences of user actions are systematically computed and compared for equivalence, or close equivalence, of effect. Using this technique, we noticed a previously undetected problem with the behaviour of many widely-used inexpensive off-the-shelf interactive devices. Specifically, on many calculators, pressing the decimal point key has no effect on the display, thus unnecessarily breaking the well known usability heuristic that an interactive system should provide appropriate feedback to the user, and potentially causing unnecessary confusion that may lead to error. While this insight is interesting in itself, it is also of significance as a simple but nonetheless non-trivial example of the power and potential of theorem discovery as an analytical technique, not least because the problem - obvious once pointed out - has apparently remained undetected and unremarked upon for many years.