The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
Constraint-Based Techniques for Software Testing
Abstract
In this chapter, the authors discuss some innovative applications of artificial intelligence techniques to software engineering, in particular, to automatic test generation. Automatic testing tools translate the program under test, or its model, and the test criterion, or the test objective, into constraints. Constraint solving allows then to find a solution of the constraint solving problem and to obtain test data. The authors focus on two particular applications: model-based testing as an example of black-box testing, and all-paths test generation for C programs as a white-box testing strategy. Each application is illustrated by a running example showing how constraint-based methods allow to automatically generate test data for each strategy. They also give an overview of the main difficulties of constraint-based software testing and outline some directions for future research.
Related Content
|
Mohammed Adi Al Battashi, Mohamad A. M. Adnan, Asyraf Isyraqi Bin Jamil, Majid Adi Al-Battashi.
© 2026.
30 pages.
|
|
Potchong M. Jackaria, Al-adzran G. Sali, Hana An L. Alvarado, Rashidin H. Moh. Jiripa, Al-sabrie Y. Sahijuan.
© 2026.
26 pages.
|
|
Elizabeth Gross.
© 2026.
30 pages.
|
|
Siti Nazleen Abdul Rabu, Xie Fengli, Ng Man Yi.
© 2026.
44 pages.
|
|
Mohammed Abdul Wajeed.
© 2026.
30 pages.
|
|
Aldammien A. Sukarno, Al-adzkhan N. Abdulbarie, Wati Sheena M. Bulkia, Potchong M. Jackaria.
© 2026.
24 pages.
|
|
Abdulla Sultan Binhareb Almheiri, Humaid Albastaki, Hanadi Alrashdan.
© 2026.
26 pages.
|
|
|