Title :
Algebraic Semantics for Complete Interaction Sequence
Author :
Zhao, Renyi ; Lakshmi, N.V. ; Sastry, S.
Author_Institution :
Sch. of Electr. Eng. & Comput. Sci., Newcastle Univ., Newcastle, NSW
Abstract :
This paper describes the algebraic properties, which augment the usefulness of complete interaction sequence (CIS). Two new concepts, namely, event semantics and event-based architecture, are introduced. Examples are provided from several GUI testing scenarios in order to express the power of the algebraic formulation.
Keywords :
algebra; graphical user interfaces; GUI; algebraic semantics; complete interaction sequence; event semantics; event-based architecture; Algebra; Australia; Automata; Computational Intelligence Society; Computer architecture; Computer science; Graphical user interfaces; Performance evaluation; Testing; Uniform resource locators; Complete Interaction Sequence (CIS); Event algebra and Event-based architecture and GUI;
Conference_Titel :
TENCON 2005 2005 IEEE Region 10
Conference_Location :
Melbourne, Qld.
Print_ISBN :
0-7803-9311-2
Electronic_ISBN :
0-7803-9312-0
DOI :
10.1109/TENCON.2005.301157
