東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Formal Methods for User Experience E...

Li, Meng.

FindBook

Google Book

Amazon

博客來

Formal Methods for User Experience Evaluation and Testing.

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Formal Methods for User Experience Evaluation and Testing./
作者:	Li, Meng.
出版者:	Ann Arbor : ProQuest Dissertations & Theses, : 2018,
面頁冊數:	103 p.
附註:	Source: Dissertation Abstracts International, Volume: 80-02(E), Section: B.
Contained By:	Dissertation Abstracts International80-02B(E).
標題:	Industrial engineering. -
電子資源:	http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=10931104
ISBN:	9780438456969

Formal Methods for User Experience Evaluation and Testing.
Li, Meng.

Formal Methods for User Experience Evaluation and Testing. - Ann Arbor : ProQuest Dissertations & Theses, 2018 - 103 p.

Source: Dissertation Abstracts International, Volume: 80-02(E), Section: B.

Thesis (Ph.D.)--State University of New York at Buffalo, 2018.

Human-machine systems have been expanding their roles in industry and in society. However, the growing complexity of interactive systems requires more and more efforts to ensure reliability, usability, and satisfying user experience. Testing is an effective approach for finding and correcting discrepancies between intended and actual system behavior as well as the ability to find usability problems unanticipated at design time. Testing is often regarded as the most intellectual-demanding, time-consuming, and expensive part of software and system development processes. It can thus be difficult (if not impossible) for testers to anticipate all of the system conditions that need to be evaluated. This is especially true of human-machine systems. This is because the human operator (who is attempting to achieve his or her task goals) is an additional concurrent component to the system, and one whose behavior is not governed by the implementation of designed system elements.

ISBN: 9780438456969Subjects--Topical Terms:

526216
Industrial engineering.

Formal Methods for User Experience Evaluation and Testing.
LDR:03991nmm a2200325 4500 001 2205244
005 20190717110306.5
008 201008s2018 ||||||||||||||||| ||eng d
020 $a 9780438456969
035 $a (MiAaPQ)AAI10931104
035 $a (MiAaPQ)buffalo:16093
035 $a AAI10931104
040 $a MiAaPQ $c MiAaPQ
100 1 $a Li, Meng. $3 1287012
245 1 0 $a Formal Methods for User Experience Evaluation and Testing.
260 1 $a Ann Arbor : $b ProQuest Dissertations & Theses, $c 2018
300 $a 103 p.
500 $a Source: Dissertation Abstracts International, Volume: 80-02(E), Section: B.
500 $a Adviser: Matthew L. Bolton.
502 $a Thesis (Ph.D.)--State University of New York at Buffalo, 2018.
520 $a Human-machine systems have been expanding their roles in industry and in society. However, the growing complexity of interactive systems requires more and more efforts to ensure reliability, usability, and satisfying user experience. Testing is an effective approach for finding and correcting discrepancies between intended and actual system behavior as well as the ability to find usability problems unanticipated at design time. Testing is often regarded as the most intellectual-demanding, time-consuming, and expensive part of software and system development processes. It can thus be difficult (if not impossible) for testers to anticipate all of the system conditions that need to be evaluated. This is especially true of human-machine systems. This is because the human operator (who is attempting to achieve his or her task goals) is an additional concurrent component to the system, and one whose behavior is not governed by the implementation of designed system elements.
520 $a To address these issues, researchers have developed approaches to automating the generation of test cases. Among these are formal methods: mathematically based languages, techniques, and tools for the modeling, specification, and analysis of systems. These support model-based approaches for creating tests that are efficient and provide guarantees about their completeness (with respect to the model). In particular, model checking can be used for automated test case generation. In this, efficient and exhaustive search techniques parse models of a system to satisfy specified coverage criteria (descriptions of the system conditions the test cases should encounter during execution).
520 $a In this dissertation, I introduce a new method for automatically generating test cases for human-machine systems. This uses a combination of human task behavior models, decision models, and system models. With a given formal coverage criterion (based on the system and task models), tools based on model checking are used to automatically generate test sequences from the formal model. The test cases are guaranteed to be complete with respect to the coverage criteria. Using different human decision models, based on utility theory, test cases can be designed to replicate interaction scenarios representative of different types of users. Tests generated using my approach can be used to validate that system implementations satisfy properties proved about the formal model. They can also be used to gain insights into system usability that would not have been possible to include in a formal system model. Finally, the novel inclusion of human decision modeling enables generated tests to represent interaction scenarios that will give analysts and testers insights into different types of users' experiences.
520 $a In this dissertation, I describe my method and demonstrate its capabilities with two applications: a pod-based coffee machine and a smart thermostat. I also discuss my research contributions and explore future research possibilities.
590 $a School code: 0656.
650 4 $a Industrial engineering. $3 526216
690 $a 0546
710 2 $a State University of New York at Buffalo. $b Industrial Engineering. $3 1020733
773 0 $t Dissertation Abstracts International $g 80-02B(E).
790 $a 0656
791 $a Ph.D.
792 $a 2018
793 $a English
856 4 0 $u http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=10931104