Please use this identifier to cite or link to this item: https://hdl.handle.net/11147/2438
Title: Event-based input validation using design-by-contract patterns
Authors: Tuğlular, Tuğkan
Müftüoğlu, Can Arda
Belli, Fevzi
Linschulte, M.
Tuğlular, Tuğkan
Müftüoğlu, Can Arda
Izmir Institute of Technology. Computer Engineering
Keywords: Software reliability
Boundary overflow
Security testing
Decision tables
Event Sequence graphs
Issue Date: 2009
Publisher: Institute of Electrical and Electronics Engineers Inc.
Source: Tuğlular, T., Müftüoğlu, C. A., Belli, F., and Linschulte, M. (2009, November 16-19). Event-based input validation using design-by-contract patterns. Paper presented at the 20th International Symposium on Software Reliability Engineering, ISSRE 2009. doi:10.1109/ISSRE.2009.20
Abstract: 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 semiautomatically detection of boundary overflow errors and suggesting correction steps based on DbC.
Description: 20th International Symposium on Software Reliability Engineering, ISSRE 2009; Mysuru, Karnataka; India; 16 November 2009 through 19 November 2009
URI: http://doi.org/10.1109/ISSRE.2009.20
http://hdl.handle.net/11147/2438
ISSN: 1071-9458
1071-9458
Appears in Collections:Computer Engineering / Bilgisayar Mühendisliği
Scopus İndeksli Yayınlar Koleksiyonu / Scopus Indexed Publications Collection

Files in This Item:
File Description SizeFormat 
2438.pdfConference Paper624.13 kBAdobe PDFThumbnail
View/Open
Show full item record

CORE Recommender

SCOPUSTM   
Citations

8
checked on Sep 25, 2021

Page view(s)

30
checked on Sep 26, 2021

Download(s)

24
checked on Sep 26, 2021

Google ScholarTM

Check

Altmetric


Items in GCRIS Repository are protected by copyright, with all rights reserved, unless otherwise indicated.