首页> 中文会议>2003'全国软件与应用学术会议 >分布式实时系统形式化测试研究中的一些问题思考

分布式实时系统形式化测试研究中的一些问题思考

页面导航

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

摘要

基于软件体系结构(Software Architecture,SA)的形式化测试提高了软件产品的质量,是软件工程领域研究中的一项重要内容.分布式实时系统(Distributed Time-Real System,DRTS)的测试是软件测试中的一个热点和难点问题.分析了国内外相关研究的动态,针对分布式实时系统,从SA形式化测试的目的和基本策略、分布式实时系统的测试特征、描述语言及其操作语义、测试覆盖准则、测试用例生成策略与现状、测试过程、测试工具的开发和测试充分性等方面说明了基于软件体系结构的分布式实时系统的形式化测试中存在的问题,并分析了产生这些问题的原因,这一工作为进一步的研究打下了基础.

著录项

来源
《2003'全国软件与应用学术会议》|2003年|516-521|共6页
会议地点北京
作者
叶俊民; 赵恒; 王振宇;
展开▼
作者单位

中国计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类 TP311.52;
关键词
体系结构; 分布式实时系统; 形式化测试; 软件测试;

相似文献

中文文献
外文文献
专利

1. 异构的动态分布式实时系统的面向方面的形式化方法 [J] . 陈惠源 ,张立臣 . 现代计算机（专业版） . 2008,第012期
2. TFSP:一种分布式实时系统的形式化描述工具 [J] . 叶俊民 ,王振宇 ,陈利 . 计算机科学 . 2003,第009期
3. 面向方面的MDA在分布式实时系统中的应用 [J] . 姚陶陶 ,张立臣 . 现代计算机（专业版） . 2009,第004期
4. 分布式实时系统中的多Agent调度 [J] . 夏洪山 ,许峰 . 南京航空航天大学学报 . 2004,第003期
5. CORBA在分布式嵌入式实时系统中的应用 [J] . 朱鹏飞 ,白广文 ,俞建新 . 微型机与应用 . 2004,第012期
6. 分布式实时系统中数据分发服务研究与设计 [C] . 卢传富 ,钱兴华 ,蔡志明 . 中国造船工程学会电子技术学术委员会第七届会员代表大会暨电子技术2006年学术年会 . 2006
7. 可信分布式实时系统的面向方面的形式化方法 [A] . 周辉奎 . 2010

分布式实时系统形式化测试研究中的一些问题思考

摘要

著录项

相似文献

相关主题

期刊订阅