Verification of Plastic Interactive Systems-Reference-Cited by-同舟云学术

Verification of Plastic Interactive Systems

Published:2015-12-01 Issue:3 Volume:14 Page:192-204
ISSN:2196-6826
Container-title:i-com
language:en
Short-container-title:

Author:

Oliveira Raquel¹,Dupuy-Chessa Sophie¹,Calvary Gaëlle¹

Affiliation:

1. University of Grenoble Alpes, Grenoble, France

Abstract

Abstract Interactive systems have largely evolved over the past years. Nowadays, different users can interact with systems on different devices and in different environments. The user interfaces (UIs) are expected to cope with such variety. Plastic UIs have the capacity to adapt to changes in their context of use while preserving usability. Such capability enhances UIs, however, it adds complexity on them. We propose an approach to verifying interactive systems considering this adaptation capability of the UIs. The approach applies two formal techniques: model checking, to the verification of properties over the system model, and equivalence checking, to compare different versions of a UI, thereby identifying different levels of UI equivalence. We apply the approach to a case study in the nuclear power plant domain in which several UI are analyzed, properties are verified, and the level of equivalence between them is demonstrated.

Publisher

Walter de Gruyter GmbH

Subject

Computer Networks and Communications,Human-Computer Interaction,Communication,Business, Management and Accounting (miscellaneous),Information Systems,Social Psychology

Link

https://www.degruyter.com/document/doi/10.1515/icom-2015-0036/pdf

Reference27 articles.

1. Abowd G. D., J. Coutaz and L. Nigay. 1992. Structuring the space of interactive system properties. In Proceedings of the IFIP TC2/WG2.7 Working Conference on Engineering for Human-Computer Interaction, pages 113–129, Amsterdam, The Netherlands, The Netherlands. North-Holland Publishing Co. ISBN 0-444-89904-9. URL http://dl.acm.org/citation.cfm?id=647103.717569.

2. Bass L., R. Little, R. Pellegrino, S. Reed, R. Seacord, S. Sheppard and M. R. Szezur. 1991. The ARCH Model: Seeheim Revisited. In User Interface Developpers’ Workshop.

3. Bauersfeld S. 2013. GUIdiff – A Regression Testing Tool for Graphical User Interfaces. In Proceedings of the 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, ICST ‘13, pages 499–500, Washington, DC, USA. IEEE Computer Society. ISBN 978-0-7695-4968-2. 10.1109/ICST.2013.84. URL http://dx.doi.org/10.1109/ICST.2013.84.

4. Bauersfeld S., T. E. J. Vos, N. Condori-Fernandez, A. Bagnato and E. Brosse. 2014. Evaluating the TESTAR Tool in an Industrial Case Study. In Proceedings of the 8thACM/IEEE International Symposium on Empirical Software Engineering and Measurement, ESEM ‘14, pages 4:1–4:9, New York, NY, USA. ACM. ISBN 978-1-4503-2774-9. 10.1145/2652524.2652588. URL http://doi.acm.org/10.1145/2652524.2652588.

5. Bowen J. and S. Reeves. Apr. 2008. Refinement for User Interface Designs. Electron. Notes Theor. Comput. Sci., 208:5–22. ISSN 1571-0661. 10.1016/j.entcs.2008.03.104. URL http://dx.doi.org/10.1016/j.entcs.2008.03.104.

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. State of the Art on Formal Methods for Interactive Systems;Human–Computer Interaction Series;2017

2. Using formal models to cross check an implementation;Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems;2016-06-21