面向随机模型检验的模型抽象技术

刘阳; 李宣东; 马艳

首页> 中文期刊> 《软件学报》 >面向随机模型检验的模型抽象技术

面向随机模型检验的模型抽象技术

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

随机模型检验是经典模型检验理论的延伸和推广,由于其结合了经典模型检验算法和线性方程组求解或线性规划算法等,并且运算处理的是关于状态的概率向量而非经典模型检验中的位向量,所以状态爆炸问题在随机模型检验中更为严重.抽象作为缓解状态空间爆炸问题的重要技术之一,已经开始被应用到随机模型检验领域并取得了一定的进展,以面向随机模型检验的模型抽象技术为研究对象,首先给出了模型抽象技术的问题描述,然后按抽象模型构造技术分类归纳了其研究方向及目前的研究进展,最后对比了目前的模型抽象技术及其关系,总结出其还未能给出模型抽象问题的满意答案,并指出了有效解决模型抽象问题未来的研究方向.

著录项

来源
《软件学报》 |2015年第8期|1853-1870|共18页
作者
刘阳; 李宣东; 马艳;
展开▼
作者单位

计算机软件新技术国家重点实验室(南京大学);

江苏南京210093;

Department of computer Science;

School of Computing;

National University of Singapore;

Singapore 117417;

Singapore;

计算机软件新技术国家重点实验室(南京大学);

江苏南京210093;

南京航空航天大学计算机科学与技术学院;

江苏南京210016;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
随机模型检验; 状态空间爆炸; 模型抽象; 定量抽象精化;

相似文献

中文文献
外文文献
专利

1. 面向应用的随机人行为模型检验方法研究 [J] . 丰晓航 ,燕达 ,王闯 . 暖通空调 . 2017,第009期
2. 模型检验中抽象技术研究综述 [J] . 屈婉霞 ,李暾 ,郭阳 . 计算机工程与应用 . 2006,第033期
3. 技术分析准则与随机漫步模型Bootstrap检验 [J] . 茆田杨 ,黄朝贵 . 预测 . 1996,第003期
4. 面向软件源程序的模型检验技术 [J] . 李声涛 ,陈睿 ,顾斌 . 空间控制技术与应用 . 2015,第002期
5. 面向构件接口变异的模型检验技术研究 [J] . 张侹 ,王璠 ,韩柯 . 电脑知识与技术 . 2010,第008期
6. 面向测试用例生成的抽象内存模型研究 [C] . Tang Rong ,唐容 ,Wang Yawen . 第七届中国测试学术会议 . 2012
7. 软件模型检验中谓词抽象技术研究 [A] . 韦海霞 . 2009

面向随机模型检验的模型抽象技术

摘要

著录项

相似文献

相关主题

期刊订阅