一个集成的软件可靠性工程环境

针对软件可靠性工程实施中发现的核心问题，本文介绍了我们在软件可靠性关键技术上取得的突破，以及以此为支撑的集成环境SREE。该系统依托Eclipse，支持软件可靠性工程的关键活动：使用模型生成和构建、软件可靠性测试、软件可靠性评估和预测以及软件开发过程中可靠性的跟踪分析等。