Abstract
Model-based development of interactive systems provides a number of benefits which can support the creation of robust and correct systems, particularly important when the interactive systems are safety-critical. Many different approaches have been proposed which target the models at different aspects of the development process (for example task analysis, interface layouts, functional behaviours etc.) and which can be used in different ways (verification of correctness, plasticity, usability).
One of the aims for any modelling method should be simplicity - we are after all trying to hide complexity via abstraction in order to make reasoning about systems more tractable than working at the programming level. One of the challenges that exists however we do our modelling is ensuring the consistency between the model of the interface and interactivity and model of the functional behaviour of the system. This is primarily due to the different types of models that most naturally describe these different elements. In this paper we propose a method of tightening the integration of models of these different components of the system by generating obligations which explicitly describe the coupling of functional behaviour with interactive elements. We then show how these obligations can be used to support the development process during the programming and testing of the system.
- Yamine Aït Ameur, Mickaël Baron, and Patrick Girard. 2003. Formal validation of HCI user tasks. In In Al-Ani Ban, Arabnia H.R, and Mum Youngsong, editors, The 2003 International Conference on Software Engineering Research and Practice - SERP 2003. CSREA Press, 732--738.Google Scholar
- Yamine Aït Ameur, Patrick Girard, and Francis Jambon. 1998. A uniform approach for the specification and design of interactive systems: the B method. In in Eurographics Workshop on Design, Specification, and Verification of Interactive Systems (DSVIS'98), Vol. Proceedings (Eds, Markopoulos. Blackwell Publishers Ltd, 333--352.Google Scholar
- Eric Barboni, Jean-François Ladry, David Navarre, Philippe Palanque, and Marco Winckler. 2010. Beyond Modelling: An Integrated Environment Supporting Co-execution of Tasks and Systems Models. In Proceedings of the 2nd ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '10). ACM, New York, NY, USA, 165--174. Google Scholar
Digital Library
- A. Blandford, R. Butterworth, and P. Curzon. 2004. Models of interactive systems: a case study on programmable user modelling. International Journal of Human-Computer Studies 60, 2 (2004), 149--200. Google Scholar
Digital Library
- J. Bowen. 2005. Formal Specification of User Interface Design Guidelines. Masters thesis. Computer Science Department, University of Waikato.Google Scholar
- J. Bowen and S. Reeves. 2006. Formal Refinement of Informal GUI Design Artefacts.. In Proceedings of the Australian Software Engineering Conference (ASWEC'06). IEEE, 221--230. Google Scholar
Digital Library
- Judy Bowen and Steve Reeves. 2008. Formal Models for User Interface design artefacts. Innovations in Systems and Software Engineering 4, 2 (2008), 125--141.Google Scholar
Cross Ref
- Judy Bowen and Steve Reeves. 2009. UI-design driven model-based testing. In Proceedings of 3rd International Workshop on Formal Methods for Interactive Systems (FMIS'09). Electronic Communications of the EASST, 22. 2009.Google Scholar
- Judy Bowen and Steve Reeves. 2012. Modelling User Manuals of Modal Medical Devices and Learning from the Experience. In Proceedings of the Fourth ACM SIGCHI Symposium on Engineering interactive Computing Systems (EICS '12). ACM, New York, NY, 121--130. Google Scholar
Digital Library
- Judy Bowen and Steve Reeves. 2013. Modelling Safety Properties of Interactive Medical Systems. In Proceedings of the 5th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '13). ACM, New York, NY, USA, 91--100. Google Scholar
Digital Library
- G. Calvary, J. Coutaz, and D. Thevenin. 2001. A Unifying Reference Framework for the Development of Plastic User Interfaces. In EHCI'01: Proceedings of the 8th IFIP International Conference on Engineering for Human-Computer Interaction. Springer-Verlag, London, UK, 173--192. Google Scholar
Digital Library
- J. Campos and M. Harrison. 2011. Modelling and analysing the interactive behaviour of an infusion pump. ECEASST 45 (2011).Google Scholar
- Abigail Cauchi, Patrick Oladimeji, Gerrit Niezen, and Harold W. Thimbleby. 2014. Triangulating empirical and analytic techniques for improving number entry user interfaces. In ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS'14). ACM, 243--252. Google Scholar
Digital Library
- Maximiliano Cristiá and Pablo Rodríguez Monetti. 2009. Implementing and Applying the Stocks-Carrington Framework for Model-Based Testing. In Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9--12, 2009. Proceedings, Karin Breitman and Ana Cavalcanti (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 167--185. Google Scholar
Digital Library
- Robert M. Hierons. 1997. Testing from a Z Specification. Software Testing, Verification and Reliablity 7, 1 (1997), 19--33.Google Scholar
Cross Ref
- Muhammad Bilal Latif and Aamer Nadeem. 2008. Automatic Extraction of Pre- and Postconditions from Z Specifications. In Software Engineering Research, Management and Applications, Roger Lee (Ed.). Springer Berlin Heidelberg, Berlin, Heidelberg, 101--114.Google Scholar
- Marco Manca, Fabio Paternò, Carmen Santoro, and Lucio Davide Spano. 2014. Considering Task Pre-conditions in Model-based User Interface Design and Generation. In Proceedings of the 2014 ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS'14). ACM, New York, NY, USA, 149--154. Google Scholar
Digital Library
- Atif M. Memon. 2007. An event-flow model of GUI-based applications for testing. Software Testing Verification and Reliability 17, 3 (2007), 137--157. Google Scholar
Digital Library
- Bertrand Meyer. 1992. Applying "Design by Contract". Computer 25, 10 (Oct. 1992), 40--51. Google Scholar
Digital Library
- Patrick Oladimeji, Harold W. Thimbleby, and Anna Louise Cox. 2013. A Performance Review of Number Entry Interfaces. In Human-Computer Interaction - INTERACT 2013 - 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2--6, 2013, Proceedings, Part I. Springer, 365--382.Google Scholar
- Raquel Oliveira, Sophie Dupuy-Chessa, and Gaëlle Calvary. 2015. Equivalence Checking for Comparing User Interfaces. In Proceedings of the 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '15). ACM, New York, NY, USA, 266--275. Google Scholar
Digital Library
- A. Paiva, J. C. P. Faria, and R. F. A. M. Vidal. 2003. Specification-Based Testing of User Interfaces.. In Interactive Systems. Design, Specification, and Verification, 10th International Workshop, DSV-IS 2003, J. A. Jorge, N. J. Nunes, and J. F. e Cunha (Eds.), Vol. 2844. Lecture Notes in Computer Science, Springer, 139--153.Google Scholar
- Rimvydas Ruksenas, Paolo Masci, and Paul Curzon. 2016. Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach. In From Action Systems to Distributed Systems - The Refinement Approach. CRC Press, 215--230.Google Scholar
- B. Sufrin and J. He. 1990. Specification, refinement and analysis of interactive processes. In Formal Methods in Human-Computer Interaction, M. D. Harrison and H. Thimbleby (Eds.). Cambridge University Press, Chapter 6. Google Scholar
Digital Library
- Harold Thimbleby. 2015. Safer User Interfaces: A Case Study in Improving Number Entry. IEEE Trans. Software Eng. 41, 7 (2015), 711--729.Google Scholar
Cross Ref
- M. Utting and B. Legeard. 2006. Practical Model-Based Testing - A tools approach. Morgan and Kaufmann. Google Scholar
Digital Library
Index Terms
Generating Obligations, Assertions and Tests from UI Models
Recommendations
Test Stub Generation from Interaction and Behavioural Models
EICS '18: Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing SystemsTesting strategies for interactive systems require that we find suitable ways of incorporating tests of functionality with tests of interfaces and interactivity. For safety-critical interactive systems the problem is harder due to the necessity to ...
Test behaviour detection as a test refactoring safety
IWoR 2018: Proceedings of the 2nd International Workshop on RefactoringWhen refactoring production code, software developers rely on an automated test suite as a safeguard. However, when refactoring the test suite itself, there is no such safeguard. Therefore, there is a need for tool support that can verify if a ...
PetriCode: A Tool for Template-Based Code Generation from CPN Models
Revised Selected Papers of the SEFM 2013 Collocated Workshops on Software Engineering and Formal Methods - Volume 8368Code generation is an important part of model driven methodologies. In this paper, we present PetriCode, a software tool for generating protocol software from a subclass of Coloured Petri Nets (CPNs). The CPN subclass is comprised of hierarchical CPN ...






Comments