基于模型检测的软件测试技术

发表于:2010-6-08 15:44  作者:彭晓红,刘久富   来源:《软件导刊》

字体: | 上一篇 | 下一篇 |我要投稿 | 推荐标签: 软件测试 软件测试技术 测试用例

  
 
 
软件大小:113 KB
资源类型:资料类
授权方式:免费/开源资料
 
  
简介:     

提出了软件模型检测技术与软件测试技术的集成框架,在合适的软件检测模型基础上,通过模拟仿真,产生软件的测试用例,提高了软件的测试效率与降低了软件的测试成本。并对飞行控制软件作实例研究,取得很好效果,提高飞行控制软件的可靠性。

  关键词:模型检测;软件测试;测试用例;需求规约


评 论

论坛新帖

顶部 底部


建议使用IE 6.0以上浏览器,800×600以上分辨率,法律顾问:上海信义律师事务所 项棋律师
版权所有 上海博为峰软件技术股份有限公司 Copyright©51testing.com 2003-2021, 沪ICP备05003035号
投诉及意见反馈:webmaster@51testing.com; 业务联系:service@51testing.com 021-64471599-8017

沪公网安备 31010102002173号

51Testing官方微信

51Testing官方微博

扫一扫 测试知识全知道