Supporting the Extraction of Timed Properties for Passive Testing by Using Probabilistic User Models

César Andrés,Mercedes G. Merayo,Manuel Núñez

Jeju（2009）

引用 11|浏览0

暂无评分

摘要

Static analysis works well at checking defects that clearly map to source code constructs. Model checking can find defects of deadlocks and routing loops that are not easily detected by static analysis, but faces the problem of state explosion. This ...

查看译文

关键词

model checking,timed properties,probabilistic user models,passive testing,state explosion,source code construct,static analysis,probabilistic logic,formal specification,software systems,data models,formal methods,testing,system under test,software quality,software reliability,data mining,user model,asynchronous transfer mode,automata,formal method

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要