•     iSEMP:集成化软件工程管理平台

         iSEMP是根据GJB5000及相关标准规程开发的软件研发管理质量保证平台,旨在帮助软件研发单位快速建立规范的软件开发流程,辅助实施软件项目策划、跟踪与监控、需求管理、软件测试与质量保证、变更请求与控制及任务、报表管理,能显著提高研发单位的管理水平和效率,确保军用软件产品的质量,是软件企业、科研院所实施GJB5000的有效手段 。
    Image
         iSEMP是应用于软件开发协同管理环境的集成化工作平台,功能包括项目策划与跟踪、需求管理、变更控制、测试管理、配置管理、质量保证等,这些功能基于统一的数据模型和业务模型,为军工企业提供了从数据到业务的、紧密集成的软件工程协同开发环境。

    更多关于 iSEMP...

  •     Klocwork:软件静态分析工具

         Klocwork是提高软件质量和安全性方面领先的自动化静态分析解决方案厂商,Klocwork的产品基于公司专利进行分析引擎开发,用于分析C,C++,Java软件,实现了在“第零时间”消灭软件缺陷和安全漏洞:

    • 缺陷(内存泄漏、指针错误、缓冲区溢出、数组越界、未初始化变量)
    • 安全漏洞(缓冲区溢出、注入缺陷、未经验证的用户输入、非法访问、数据不安全存储、拒绝服务)
    • 架构分析(架构规则、架构关系、异常接口、架构优化、程序流程图)
    • 程序度量分析(圈复杂度等)
    • 质量趋势分析(质量发展趋势、质量数据分布统计)

    更多关于 Klocwork Insight...

  •     Structure101:架构优化解决方案

         Structure101 是获得JOLT大奖的架构分析和优化产品。它是基于10多年不断地优化和开发而成,是架构分析和优化领域最好的解决方案。
          Structure 101 提供能够进行代码组织的,灵活的架构开发环境。它通过对代码的分析,直接建立架构模型,这样架构师就可以和开发团队一起维护架构规则,架构模型图,架构优化操作列表。从而将源代码组织成具有可控的、低耦合度的模块化层次结构。
    http://structure101.com/

    更多关于 Structure101:架构优化解决方案

  •     AQtime:软件性能测试工具

          AQtime面向win32应用程序和Microsoft .NET平台。设计的最主要目标就是帮助您理解程序在执行过程中是如何运行的。该产品含有完整的性能和调试工具集,能够收集程序运行时关键的性能信息和内存/资源分配信息,并提交概要报告和详细报告,还提供所有的程序优化处理工具,囊括了自定义过滤器、图形化的调用层次结构一直到源代码浏览等内容。
         通过AQtime,您可以获知程序中那些影响运行速度、内存使用和可用性等问题的确切来源。而接下来当您要优化和改进代码时,AQtime又为您提供了所有的结果比较和合并工具,从而显示了一副准确和随时间变化的程序状态图。使用AQtime 后,您不久就会发现该产品的确是一个非常不错的程序性能监视器。

    更多关于 AQtime...

阅读全文...