Abstract
The design of user interface is closely related with system quality and usability. Many researches have been done on user interface testing method, test case generation and user interface model syntax checking, but less have been done on state attribute checking of user interface model. Because model state space is large and dynamic, this kind of checking of user interface is difficult. This article introduces the user interface model, presents encoding transform from user interface model to proposition formula. Then we encode the proposition formula and the checked attribute, translate into satisfiability instance, and input the instance into satisfiability tools for solve. The problem of state attribute checking of user interface model becomes the satisfiability of the proposition formula. We illustrate an example to demonstrate the validity of our checking method for user interface model.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
