| specification analysis and test data generation by solving boolean combinations of numeric constraints |
| Zhang J
|
| 2000
|
| 会议名称 | 1st Asia-Pacific Conference on Quality Software
|
| 页码 | 267-274
|
| 会议日期 | OCT 30-31,
|
| 会议地点 | HONG KONG, PEOPLES R CHINA
|
| 收录类别 | istp
; ieee
|
| 出版地 | 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA
|
| 出版者 | FIRST ASIA-PACIFIC CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS
|
| ISBN | 0-7695-0825-1
|
| 部门归属 | Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China.
|
| 摘要 | In the analysis of state-based requirement specifications and in software test data generation, one often: has to determine the satisfiability of Boolean combinations of numeric constraints. Theoretically this problem is undecidable, and pract |
| 关键词 | Boolean Constraint Solver
Boolean Logic Reasoning
Numeric Constraints
Requirement Specifications
Satisfiability
Software Test Data Generation
Boolean Algebra
Computability
Formal Specification
|
| 主办者 | Univ Hong Kong, Software Engn Grp, Vocat Training Council, Software Technol Ctr, IEEE, Hong kong Sect, Comp Chapter, British Comp Soc, Hong Kong Sect, Software Dioxide QAI
|
| 语种 | 英语
|
| 内容类型 | 会议论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/13668
|
| 专题 | 中国科学院软件研究所
|
推荐引用方式
GB/T 7714 |
Zhang J. specification analysis and test data generation by solving boolean combinations of numeric constraints[C]. 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA:FIRST ASIA-PACIFIC CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS,2000:267-274.
|
修改评论