Je linsk i-M oranda(J-M)模型是基于失效间隔时间的较理论化的可靠性增长模型,用于软件系统测试阶段的可靠性度量。J-M模型存在的问题是假设条件理想化,实际应用环境难以满足,而且模型的失效间隔时间数据收集很困难,实用性差。该文提出一种改进的J-M可靠性增长模型,在J-M原模型基础上改进并引入更加合理的假设条件,改进后的模型基于缺陷计数,数据收集更容易。结合盐湖城奥运会信息系统软件测试数据对改进的模型进行检验,证明改进的模型预测有效性好,同时还保持了原模型的简单性。
为了在逻辑层次上跟踪软件系统的版本演变,支持变更影响分析和系统一致性验证,提出了一种基于逻辑元素间关系的软件配置管理模型LEBM(log ica l e lem en t basedm ode l)。LEBM通过配置项类型抽象区分不同类型的软件工件及其特性;通过配置项版本记录软件工件的演变;通过配置版本记录系统组成的变更;维护配置项版本之间的关系演变并通过关系跟踪实现变更影响范围分析和系统一致性验证。以W eb服务的方式设计并实现了基于LEBM的软件配置管理工具并用于实施软件测试工件的配置管理,验证了LEBM的可行性和实用性。