Model-based Engineering of Feedforward Usability Function for GUI Widgets

2021 ◽  
Author(s):  
Davis Navarre ◽  
Philippe Palanque ◽  
Sven Coppers ◽  
Kris Luyten ◽  
Davy Vanacken
Keyword(s):  
Petri Nets ◽  
Interactive Applications ◽  
Essential Step ◽  
Model Based ◽  
Interactive Application ◽  
User Comfort

Abstract Feedback and feedforward are two fundamental mechanisms that support users’ activities while interacting with computing devices. While feedback can be easily solved by providing information to the users following the triggering of an action, feedforward is much more complex as it must provide information before an action is performed. For interactive applications where making a mistake has more impact than just reduced user comfort, correct feedforward is an essential step toward correctly informed, and thus safe, usage. Our approach, Fortunettes, is a generic mechanism providing a systematic way of designing feedforward addressing both action and presentation problems. Including a feedforward mechanism significantly increases the complexity of the interactive application hardening developers’ tasks to detect and correct defects. We build upon an existing formal notation based on Petri Nets for describing the behavior of interactive applications and present an approach that allows for adding correct and consistent feedforward.

Engineering Model-Based Software Testing of WIMP Interactive Applications

2021 ◽  
Vol 5 (EICS) ◽  
pp. 1-30
Author(s):  
Alexandre Canny ◽  
Célia Martinie ◽  
David Navarre ◽  
Philippe Palanque ◽  
Eric Barboni ◽  
...  
Keyword(s):  
Software Testing ◽  
Formal Model ◽  
Interactive Software ◽  
User Centered Design ◽  
Functional Requirements ◽  
Interactive Applications ◽  
Model Based ◽  
Threats To Validity ◽  
Interactive Application ◽  
And Performance

The goal of software testing is to detect defects with the objective of removing them at a later stage in the development process. Interactive software development follows the User Centered Design approach that promotes continuous involvement of users both at design and evaluation phases. This process is meant to produce usable interactive software by gathering functional and non-functional requirements related to both user needs and context of use. However, taking into account these potentially very-complex-to-implement requirements increases the complexity of the software that is likely, without appropriate methods and tools, to encompass a large number of defects. One of the limitations of UCD approaches is that it provides no guidance on the engineering of the interactive application, which thus usually embeds numerous defects resulting in failures at the origin of user frustrations and performance drops. Even though a classification of interactive application defects has been proposed, interactive application testers remain only superficially supported in detecting them. This paper defines a model-based approach to engineer the testing activity for interactive applications. It proposes a process that bridges the gap between UCD artefacts and interactive software implementation by the production of a dedicated formal model exploited for testing purposes only. The application of the process is demonstrated on an interactive cockpit WIMP application. Finally, threats to validity (capability of the approach to detect defects and to ensure an acceptable coverage testing of the interactive application) are addressed by a longitudinal study on 61 variants of a simple application developed by 61 different developers. ?

Attack Composition Model Based on Generalized Stochastic Colored Petri Nets

2014 ◽  
Vol 35 (11) ◽  
pp. 2608-2614
Author(s):  
Xiang Gao ◽  
Yue-fei Zhu ◽  
Sheng-li Liu
Keyword(s):  
Petri Nets ◽  
Colored Petri Nets ◽  
Model Based

scholarly journals DESAIN APLIKASI INTERAKTIF MODEL PEMBELAJARAN AKUNTANSI BAGI SISWA SEKOLAH MENENGAH KEJURUAN

2019 ◽  
Vol 2 (2) ◽  
pp. 112-124
Author(s):  
Chitra Santi ◽  
Melvie Paramitha ◽  
Minny Elisa Yanggah
Keyword(s):  
Student Motivation ◽  
Multidisciplinary Approach ◽  
Rapid Development ◽  
Vocational Students ◽  
Learning Methods ◽  
Financial Reports ◽  
Interactive Applications ◽  
Manual Methods ◽  
Interactive Application ◽  
Collection Methods

The rapid development of technology, will have an impact on learning methods in schools. The learning method will begin to shift from manual methods to learning methods using applications / software. Schools are required to be able to create appropriate learning methods and produce graduates who are proficient in operating technology such as making financial reports using software as a means of accounting knowledge. The purpose of this study is to design a technology-based accounting learning model to facilitate and motivate accounting learning for vocational students. The approach of this research is an explorative research of a technical applicative nature with a multidisciplinary approach which is the approach of the fields of accounting and technology. Data collection methods in this study include documentation, observation, and interviews. Design interactive applications using Macromedia Flash Player 8. The results of the study provide an interactive application of accounting learning models called Accounters. This application consists of three main menus namely Material, Quiz, and Hangman (game). Therefore, the Accounters application makes it easy for students in vocational schools to better understand accounting, so they are able to make financial reports for companies when they work later. And able to increase student motivation in accounting.

Sign in / Sign up

Export Citation Format

Share Document