Institutional Repository
| a constraint solver and its application to path feasibility analysis | |
| Zhang Jian; Wang Xiaoxu | |
| 2001 | |
| Source | International Journal of Software Engineering & Knowledge Engineering
 |
| Volume | 11Issue:2Pages:139-156 |
| English Abstract | Many testing methods are based on program paths. A well-known problem with them is that some paths are infeasible. To decide the feasibility of paths, we may solve a set of constraints. In this paper, we describe constraint-based tools that can be used for this purpose. They accept constraints expressed in a natural form, which may involve variables of different types such as integers, Booleans, reals and fixed-size arrays. The constraint solver is an extension of a Boolean satisfiability checker and it makes use of a linear programming package. The solving algorithm is described, and examples are given to illustrate the use of the tools. For many paths in the testing literature, their feasibility can be decided in a reasonable amount of time. |
| Indexed Type | ei,sci,istp |
| Keyword | Constraint Solving Test Data Generation Infeasible Paths Arrays |
| Department | 计算机科学国家重点实验室 |
| Language | 英语 |
| WOS ID | WOS:000169185000003 |
| Citation statistics | |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/3176 |
| Collection | 基础软件与系统重点实验室 |
| Recommended Citation GB/T 7714 | Zhang Jian,Wang Xiaoxu. a constraint solver and its application to path feasibility analysis[J]. International Journal of Software Engineering & Knowledge Engineering,2001,11(2):139-156. |
| APA | Zhang Jian,&Wang Xiaoxu.(2001).a constraint solver and its application to path feasibility analysis.International Journal of Software Engineering & Knowledge Engineering,11(2),139-156. |
| MLA | Zhang Jian,et al."a constraint solver and its application to path feasibility analysis".International Journal of Software Engineering & Knowledge Engineering 11.2(2001):139-156. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 20011102139.pdf（254KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment