需求错误相关硕士博士期刊学术论文 - 搜论网

需求错误相关论文

基于规则的用例规约验证方法

用例模型描述了参与者对系统功能的需求,在整个系统的开发过程中有着重要作用;用例描述若存在问题,会对系统开发造成很大影响。提......

期刊

需求验证验证规则需求错误限制的用例规约建模方法 Requirement verification Verification rules Requireme

基于失效日志的CTCS-3级列控车载子系统需求错误所致的失效致因分析

CTCS-3级列控系统的复杂性使得某些需求错误难以发现,从而导致系统失效,需要结合失效事件的日志记录反向分析出需求的错误。本文采......

期刊

CTCS 车载子系统失效致因分析时间自动机 UPPAAL 模型检查需求错误

看过本文同时还关注