设为首页
网站地图
帮助
手机版
登录
注册
搜索
地市：
行业：
返回首页
搜索结果
新产品
新技术
企业
合作（3）
公共服务
资讯
知识
安全关键软件测试与验证环境TesVESS
关键字：
安全关键软件
所属行业：
电子信息
发布时间：
2015-09-09
价格：
所在地区：
湖南 长沙
合作信息期限：
2016年4月
合作信息类型：
意向合作
机构类型：
高等院校
供求关系：
供应
合作信息简介：
成果名称：安全关键软件测试与验证环境TesVESS 成果简介 TesVESS是一个安全关键软件的测试与验证环境，能够从软件分析和设计阶段开始对软件的可靠性和可靠安全性进行保障。它以软件分析和设计模型为基础，有效地融合了安全关键性质的模型检验、针对安全关键性质的测试用例生成、安全关..
发布机构：
湖南长沙国防科技大学科研部
大型分布式软件及信息系统测试技术
关键字：
软件测试
所属行业：
机械
发布时间：
2014-10-17
价格：
所在地区：
北京 海淀区
合作信息期限：
2015年12月
合作信息类型：
成果转让
机构类型：
高等院校
供求关系：
供应
合作信息简介：
北航软件工程研究所是我国最早从事软件工程研究与实践的单位之一。自上世纪八十年代以来，长期从事软件测试技术及相关领域的研究，研制开发各种实用的软件开发与测试方法及其工具，包括面向领域需求分析和企事业信息化建设辅助决策的过程建模与分析系统POMES,面向软件全过程的软件测试与质量管理系统..
发布机构：
北京航天航天大学
通用软件测试平台QETEST
关键字：
软件测试
所属行业：
机械
发布时间：
2014-10-17
价格：
所在地区：
北京 海淀区
合作信息期限：
2015年12月
合作信息类型：
成果转让
机构类型：
高等院校
供求关系：
供应
合作信息简介：
当前软件组织对软件测试过程管理和自动化测试工具的需求巨大。通用软件测试平台QETEST旨在帮助软件开发组织建立软件质量保证和软件测试体系，实现对软件测试过程的规范和量化的管理，并为面向软件源代码的分析、理解、审查和测试提供有力支持，从而显著地提升软件开发组织的软件产品质量控制能力，提..
发布机构：
北京航天航天大学
共
1
页 总数：
7
条
设为首页
|
关于我们
|
会员服务
|
友情链接
|
联系我们
中国·广西工业创新促进会 ©版权所有 桂ICP备14000625号-2