使用最新工具套件的功能对UI进行正式验证

Proceedings of the 2014 ACM SIGCHI symposium on Engineering interactive computing systems Pub Date : 2014-06-17 DOI:10.1145/2607023.2610280

R. Oliveira, Sophie Dupuy-Chessa, Gaëlle Calvary

{"title":"使用最新工具套件的功能对UI进行正式验证","authors":"R. Oliveira, Sophie Dupuy-Chessa, Gaëlle Calvary","doi":"10.1145/2607023.2610280","DOIUrl":null,"url":null,"abstract":"This paper presents an approach to verify the quality of user interfaces in the context of a critical system for nuclear power plants. The technique uses formal methods to perform verification. The user interfaces are described by means of a formal language called LNT and ergonomic properties are formally defined using temporal logics written in MCL language. Our approach moves towards the powerfulness of formal verification of user interfaces, thanks to recent tools to support the process.","PeriodicalId":297680,"journal":{"name":"Proceedings of the 2014 ACM SIGCHI symposium on Engineering interactive computing systems","volume":"6 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2014-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"9","resultStr":"{\"title\":\"Formal verification of UI using the power of a recent tool suite\",\"authors\":\"R. Oliveira, Sophie Dupuy-Chessa, Gaëlle Calvary\",\"doi\":\"10.1145/2607023.2610280\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper presents an approach to verify the quality of user interfaces in the context of a critical system for nuclear power plants. The technique uses formal methods to perform verification. The user interfaces are described by means of a formal language called LNT and ergonomic properties are formally defined using temporal logics written in MCL language. Our approach moves towards the powerfulness of formal verification of user interfaces, thanks to recent tools to support the process.\",\"PeriodicalId\":297680,\"journal\":{\"name\":\"Proceedings of the 2014 ACM SIGCHI symposium on Engineering interactive computing systems\",\"volume\":\"6 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2014-06-17\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"9\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the 2014 ACM SIGCHI symposium on Engineering interactive computing systems\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/2607023.2610280\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the 2014 ACM SIGCHI symposium on Engineering interactive computing systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/2607023.2610280","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 9

摘要

本文提出了一种在核电厂关键系统中验证用户界面质量的方法。该技术使用形式化的方法来执行验证。用户界面通过一种称为LNT的形式语言来描述，而人体工程学属性则使用用MCL语言编写的时间逻辑来正式定义。我们的方法朝着用户界面的正式验证的强大方向发展，这要感谢支持该过程的最新工具。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Formal verification of UI using the power of a recent tool suite

This paper presents an approach to verify the quality of user interfaces in the context of a critical system for nuclear power plants. The technique uses formal methods to perform verification. The user interfaces are described by means of a formal language called LNT and ergonomic properties are formally defined using temporal logics written in MCL language. Our approach moves towards the powerfulness of formal verification of user interfaces, thanks to recent tools to support the process.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Proceedings of the 2014 ACM SIGCHI symposium on Engineering interactive computing systems

自引率

0.00%

发文量