|
公司动态 |
|||||||||||||
北京智诚创想科技有限公司喜迁新址
iSEMP1.3昆明705所实施
iSEMP1.3宜昌710所实施
iSEMP1.3发布
710所软件测试第一期项目顺利完成
中国电子科技集团第7研究所嵌入式系统应用软件测试技术培训取得圆满成功
智诚创想正式成为美国AutomatedQA公司测试产品的中国大陆代理商
|
||||||||||||||
|
|
iSEMP是根据GJB5000及相关标准规程开发的软件研发管理质量保证平台，旨在帮助软件研发单位快速建立规范的软件开发流程，辅助实施软件项目策划、跟踪与监控、需求管理、软件测试与质量保证、变更请求与控制及任务、报表管理，能显著提高研发单位的管理水平和效率，确保军用软件产品的质量，是软件企业、科研院所实施GJB5000的 有效手段 。 iSEMP是应用于软件开发协同管理环境的集成化工作平台，功能包括项目策划与跟踪、需求管理、变更控制、测试管理、配置管理、质量保证等，这些功能基于统一的数据模型和业务模型，为军工企业提供了从数据到业务的、紧密集成的软件工程协同开发环境。 |
|||||||||||||
 |
C/C++/Java源代码自动分析工具 |
最新技术资料 |
||||||||||||
|
||||||||||||||
|
|
相比其他静态分析产品，Klocwork能够找到更多类型的软件缺陷，并且更容易在您的开发过程中进行管理和集成。Klocwork帮助您分析软件源代码： |
|||||||||||||
 |
缺陷（内存泄漏、指针错误、缓冲区溢出、数组越界、未初始化变量） | |||||||||||||
|
|
安全漏洞（缓冲区溢出、注入缺陷、未经验证的用户输入、非法访问、数据不安全存储、拒绝服务） | |||||||||||||
|
|
架构分析(架构规则、架构关系、异常接口、架构优化、程序流程图) | |||||||||||||
|
|
程序度量分析(圈复杂度等) | |||||||||||||
|
|
质量趋势分析(质量发展趋势、质量数据分布统计) | |||||||||||||
|
自动测试系统 |
|
||
 |
提供航空、舰船等设备的自动测试系统的集成和开发。 |
 |
GJB5000质量体系 |
| SPI CMM咨询服务 | |||
