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

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

    更多关于 iSEMP...

  •     Klocwork:软件静态分析工具

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

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

    更多关于 Klocwork Insight...

  •  
  •     SPR KnowledgePLAN:软件项目估计工具

          SPR KnowledgePLAN是一个软件项目估算工具,它可以有效度量你的项目,估算出该项目的工作量、资源、进度、缺陷,还可以通过评估项目的优势及劣势来决定其对质量和生产率产生的影响。
          这个高度灵活的(参数驱动的,易配置的)功能点驱动的分析模型包括一个项目数据历史知识库。这个模型使用一个功能度量库,通过给定的大量已知的(或假设的)参数提取得到预测性的/可分析的生产率数据。
          KnowledgePLAN 能够直接从 Microsoft Project(或其它项目管理软件)导入项目计划或导出项目计划到这些项目管理软件中。项目成员可以从大量的行业标准方法中进行选择,从而借助估计自动创建项目计划。另外,还提供了在领先的功能点计算工具和 KnowledgePLAN之间的直接的、菜单驱动的接口。

    更多关于 SPR KnowledgePLAN...

  •     AQtime:软件性能测试工具

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

    更多关于 AQtime...