| ||||||
| ||||||
简介: | ||||||
提出了软件模型检测技术与软件测试技术的集成框架,在合适的软件检测模型基础上,通过模拟仿真,产生软件的测试用例,提高了软件的测试效率与降低了软件的测试成本。并对飞行控制软件作实例研究,取得很好效果,提高飞行控制软件的可靠性。 关键词:模型检测;软件测试;测试用例;需求规约 |
建议使用IE 6.0以上浏览器,800×600以上分辨率,法律顾问:上海信义律师事务所 项棋律师
版权所有 上海博为峰软件技术股份有限公司 Copyright©51testing.com 2003-2021, 沪ICP备05003035号
投诉及意见反馈:webmaster@51testing.com; 业务联系:service@51testing.com 021-64471599-8017
51Testing官方微信
51Testing官方微博