收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

混成系统测试研究综述

任雁  田婕  孙辉  周永  
【摘要】:混成系统包含了连续组件以及离散组件两个部分,作为一种动态系统广泛应用于安全关键领域。然而,由于混成系统的结构复杂性,使得其测试数据的自动生成成为一个难点问题。随着形式化方法与测试技术的结合,基于形式化规约支持测试用例生成可以有效的指导混成系统测试。本文介绍了混成系统建模及测试技术,并指出了存在的问题及未来的研究方向。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 刘润杰;申金媛;穆维新;;形式化开发非递归Koch曲线算法[J];计算机科学;2011年09期
2 陈兰香;;一种基于会话的安全Web文件服务模型[J];计算机工程;2011年18期
3 聂锡宁;蔡国永;;Petri网的重写逻辑模型及其属性验证[J];桂林电子科技大学学报;2011年03期
4 高庆吉;武晓霞;刘芳;李万民;;爬行机器人的分层可控混成Petri网建模研究[J];控制工程;2011年03期
5 曹凤雪;;多Agent系统中组织适应的形式化方法[J];江苏技术师范学院学报;2011年06期
6 邹晓辉;邹顺鹏;;间接计算模型和间接形式化方法[J];软件;2011年05期
7 李鸿;;基于范畴论的粒合成形式化方法[J];计算机工程;2011年14期
8 李均涛;唐郑熠;李祥;;基于行为时序逻辑的入侵取证研究[J];计算机应用研究;2011年07期
9 刘江;;软件开发方法需要理论[J];程序员;2010年10期
10 陈振庆;罗兰花;;基于OWL本体的UML类图推理[J];计算机应用与软件;2011年08期
11 陈振庆;;基于描述逻辑的带依赖属性UML类图[J];计算机工程;2011年15期
12 陈彬;邱晓刚;郭刚;;多范式人工社会建模与多智能体仿真平台框架[J];系统仿真学报;2011年08期
13 齐军;张月菊;王涛;;工作流集成中基于代数表达式的语义匹配机制[J];计算机应用;2011年08期
14 李辉;;软件工程开发方法的现状与展望[J];福建广播电视大学学报;2011年03期
15 毛瑞雪;;基于Pi演算的Web服务组合过程框架[J];计算机与数字工程;2011年07期
16 刘辉;李蕊;焦铬;;软件故障检测技术及其发展探讨[J];电脑知识与技术;2011年15期
17 董宇欣;印桂生;谢新强;马志强;;网构软件信任机制的形式化研究[J];哈尔滨工程大学学报;2011年06期
18 王苏滨;张泽焕;汪红宇;;显示控制群中大规模控制的形式方法[J];控制理论与应用;2011年06期
19 于立兴;陈中育;高毅;;消息序列图的范畴论语义描述[J];计算机工程;2011年14期
20 何锋;;一种顺序图的形式化描述与推理过程[J];计算机系统应用;2011年06期
中国重要会议论文全文数据库 前10条
1 任雁;田婕;孙辉;周永;;混成系统测试研究综述[A];2011年通信与信息技术新进展——第八届中国通信学会学术年会论文集[C];2011年
2 杨晓婕;缪祥华;仇细平;;Yahalom协议的改进及安全性分析[A];2009年研究生学术交流会通信与信息技术论文集[C];2009年
3 吴允曾;;关于形式化的几个问题[A];金岳霖学术思想研究——金岳霖学术思想研讨会论文集[C];1985年
4 燕飞;唐涛;;实时并发系统的形式化建模方法研究[A];2009系统仿真技术及其应用学术会议论文集[C];2009年
5 王绍棣;孙知信;王汝传;;形式化方法在CAD中的应用研究[A];中国图象图形学会第十届全国图像图形学术会议(CIG’2001)和第一届全国虚拟现实技术研讨会(CVR’2001)论文集[C];2001年
6 燕飞;唐涛;;形式化方法在基于通信的列车运行控制系统(CBTC)中的应用研究[A];可持续发展的中国交通——2005全国博士生学术论坛(交通运输工程学科)论文集(下册)[C];2005年
7 李樱;王永滨;冯爽;;基于LOTOS的PIM-SM协议形式化分析[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集(上)[C];2006年
8 解云峰;李之棠;石曙东;;基于串空间模型的安全协议形式化分析方法研究[A];全国网络与信息安全技术研讨会’2004论文集[C];2004年
9 王永滨;郭云飞;陆娜;;CADP与PIM-SM协议分析[A];2006年全国开放式分布与并行计算机学术会议论文集(三)[C];2006年
10 李峭;熊华钢;黄臻;丁凡;;AFDX网络中的准时制消息调度方法[A];大型飞机关键技术高层论坛暨中国航空学会2007年学术年会论文集[C];2007年
中国博士学位论文全文数据库 前10条
1 赵剑;混成系统基于模型诊断的若干问题研究[D];吉林大学;2012年
2 李广元;LTLC:面向实时与混成系统的连续时序逻辑[D];中国科学院软件研究所;2001年
3 龙慧云;基于进程代数的Web服务数据和组合的形式化方法研究[D];贵州大学;2009年
4 徐鸣;程序验证与系统分析中的若干符号计算问题[D];华东师范大学;2010年
5 陈潇怡;数字权限表达语言的形式化模型及应用研究[D];武汉大学;2011年
6 江敏;多视点需求工程中不一致性的检测与处理[D];武汉大学;2007年
7 席琳;形式化方法在构件组装实时系统中的应用研究[D];郑州大学;2012年
8 曹源;高速铁路列车运行控制系统的形式化建模与验证方法研究[D];北京交通大学;2011年
9 王英龙;Ad Hoc网络路由协议安全性分析方法研究[D];山东大学;2005年
10 燕飞;轨道交通列车运行控制系统的形式化建模和模型检验方法研究[D];北京交通大学;2006年
中国硕士学位论文全文数据库 前10条
1 唐芳芳;哥德尔定理的意义[D];清华大学;2005年
2 李晔;基于构件的形式化需求分析方法研究与实现[D];西安理工大学;2003年
3 王永宝;密码协议的代数模型和安全分析算法研究[D];北京邮电大学;2006年
4 王天舟;早期需求工程中的形式化建模与模型检验应用研究[D];浙江工业大学;2006年
5 张卫;实时系统的形式化设计与辅助代码生成研究[D];华中科技大学;2006年
6 陈岳;基于形式化方法构建领域模型及其实现的探讨[D];华东师范大学;2008年
7 赵琳;安全协议形式化分析方法的比较和研究[D];郑州大学;2007年
8 彭珊珊;安全的电子投票方案及其匿名性的研究[D];上海交通大学;2008年
9 陈广明;Z语言的实时扩展及应用[D];广东工业大学;2004年
10 王森;基于PAR方法开发算法程序的研究[D];江西师范大学;2004年
中国重要报纸全文数据库 前10条
1 上海交通大学APEX数据和知识管理实验室 王昊奋俞勇;语义Web推动下一代搜索[N];计算机世界;2007年
2 黎敬波;可拓方法与中医思维[N];中国中医药报;2005年
3 尹霞;我说的话 你能听懂吗?[N];计算机世界;2001年
4 张岂之;关于环境哲学研究的几点思考[N];光明日报;2007年
5 天津市第一中级人民法院 李宝明;法官的职业思维探析[N];人民法院报;2008年
6 北京化工大学文法学院教授 马长英;潜移默化背后的创新潜力[N];光明日报;2011年
7 本报记者 张蕾;志在促进软件产业跨越式发展[N];光明日报;2006年
8 刘清秀;软件人的福音[N];中国邮政报;2003年
9 中科院数学与系统科学研究院 金芝;没有需求就没有软件[N];计算机世界;2001年
10 正子;贝尔实验室基础研究在中国生根结果[N];通信产业报;2001年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978