Helping the automated validation process of user interfaces systems

被引：8

作者：

d'Ausbourg, B ^{[1
]}

Seguin, C ^{[1
]}

Durrieu, G ^{[1
]}

Roche, P ^{[1
]}

机构：

[1] ONERA, CERT, F-31055 Toulouse, France

来源：

PROCEEDINGS OF THE 1998 INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING | 1998年

关键词：

human computer interaction; formal models of interactive systems; verification; test;

D O I：

10.1109/ICSE.1998.671121

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

This paper describes the prototype of a software environment that was devised for helping the formal validation of user interfaces systems. The paper suggests an approach to include such formal operations in the design process. An abstract and formal representation of the user interface system is produced to perform formal verifications on it. The paper explains why the user interface system can be modelled properly by a dataflow system and how this model can be expressed by using equations of flows in the language Lustre. It describes then some main tools of the environment.

引用

页码：219 / 228

页数：10

共 50 条

[1] Automated validation process of user interface systems
Ould, M
d'Ausbourg, B
[J]. DATA SYSTEMS IN AEROSPACE - PROCEEDINGS, 1998, : 295 - 299
[2] User interfaces for process modeling and detection systems
Sheng, Y
[J]. SENSORS, AND COMMAND, CONTROL, COMMUNICATIONS, AND INTELLIGENCE(C31) TECHNOLOGIES FOR HOMELAND SECURITY AND HOMELAND DEFENSE III, PTS 1 AND 2, 2004, 5403 : 134 - 142
[3] Intervention user interfaces: A new interaction paradigm for automated systems
[J]. Schmidt, Albrecht (albrecht.schmidt@acm.org), 1600, Association for Computing Machinery (24):
[4] User interfaces for automated vehicles
Pfleging, Bastian
Sadeghian, Shadan
Dey, Debargha
[J]. IT-INFORMATION TECHNOLOGY, 2021, 63 (02): : 73 - 75
[5] Using model checking for the automatic validation of user interfaces systems
d'Ausbourg, B
[J]. DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS'98, 1998, : 242 - 260
[6] How Many Participants Are Required for Validation of Automated Vehicle Interfaces in User Studies?
Forster, Yannick
Naujoks, Frederik
Keinath, Andreas
[J]. INFORMATION, 2021, 12 (10)
[7] Helping students test programs that have graphical user interfaces
Thornton, Matthew
Edwards, Stephen H.
Tan, Roy Patrick
[J]. IMSCI '07: INTERNATIONAL MULTI-CONFERENCE ON SOCIETY, CYBERNETICS AND INFORMATICS, VOL 2, PROCEEDINGS, 2007, : 164 - 169
[8] USER INTERFACES FOR OFFICE SYSTEMS
WITTEN, IH
GREENBERG, S
[J]. OXFORD SURVEYS IN INFORMATION TECHNOLOGY, 1985, 2 : 69 - 104
[9] User interfaces supporting the software process
Kobialka, HU
Lewerentz, C
[J]. SOFTWARE PROCESS TECHNOLOGY, 1998, 1487 : 60 - 74
[10] GRAPHICAL USER INTERFACES FOR PROCESS DESIGN
PREECE, P
[J]. CHEMICAL ENGINEER-LONDON, 1990, (482): : 30 - 32

← 1 2 3 4 5 →