2009 20th International Symposium on Software Reliability Engineering (2009)
Mysuru, Karnataka, India
Nov. 16, 2009 to Nov. 19, 2009
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ISSRE.2009.20
This paper proposes an approach for validation of numerical inputs based on graphical user interfaces (GUI) that are modeled and specified by event sequence graphs (ESG). For considering complex structures of input data, ESGs are augmented by decision tables and patterns of design by contract (DbC). The approach is evaluated by experiments on boundary overflows, which occur when input values violate the range of specified values. Furthermore, a tool is presented that implements our approach enabling a semi-automatically detection of boundary overflow errors and suggesting correction steps based on DbC.
Input Validation, Event Sequence Graphs, Decision Tables, Design by Contract, Boundary Overflow, Security Testing
F. Belli, T. Tuglular, M. Linschulte and C. A. Muftuoglu, "Event-Based Input Validation Using Design-by-Contract Patterns," 2009 20th International Symposium on Software Reliability Engineering(ISSRE), Mysuru, Karnataka, India, 2009, pp. 195-204.