.png){kind=icon}
返回
Using genetic algorithms to generate test sequences for complex timed systems
.png){kind=icon}
PRE
AI
DOI：10.1007/s00500-012-0894-5.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
The generation of test data for state-based specifications is a computationally expensive process. This problem is magnified if we consider that time constraints have to be taken into account to govern the transitions of the studied system. The main goal of this paper is to introduce a complete methodology, supported by tools, that addresses this issue by representing the test data generation problem as an optimization problem. We use heuristics to generate test cases. In order to assess the suitability of our approach we consider two different case studies: a communication protocol and the scientific application BIPS3D. We give details concerning how the test case generation problem can be presented as a search problem and automated. Genetic algorithms (GAs) and random search are used to generate test data and evaluate the approach. GAs outperform random search and seem to scale well as the problem size increases. It is worth to mention that we use a very simple fitness function that can be easily adapted to be used with other evolutionary search techniques.
Keyword:
Formal testing
Genetic algorithms
Timed systems
期刊
IF:
2.5
论文数:
1.0W
被引数:
2.1W
机构
引用论文
Laser-Induced Breakdown Spectroscopy (LIBS) Analysis of Calcium Ions Dissolved in Water Using Filter Paper Substrates: An Ideal Internal Standard for Precision Improvement使用滤纸基底对溶解在水中的钙离子进行激光诱导击穿光谱 (LIBS) 分析: 提高精度的理想内标
PREAI
分享收藏Artificial Intelligence in the Diagnosis and Treatment of Pancreatic Cystic Lesions and Adenocarcinoma.png)
Cancers
OAAI
CancersIF0
OAAI分享收藏Post kidney transplant histoplasmosis: An under‐recognized diagnosis in India肾移植后组织胞浆菌病：印度的一种未被充分认识的诊断
PREAI
分享收藏Successful treatment of Talaromyces marneffei pneumonia in a HIV-negative renal transplantation recipient: A case report成功治疗1例HIV阴性肾移植受者的马尔尼菲青霉菌肺炎：1例病例报告Medicine
OAAI
MedicineIF0
OAAI分享收藏Histoplasmosis in Liver Transplant Recipients: Case Reports and a Review of the Literature肝移植受者中的组织胞浆菌病：病例报告及文献综述OAAI
OAAI分享收藏
查看更多内容