欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
采用LSC（live sequence chart）描述基于场景的需求规格说明,根据设计模型必须满足需求规格说明的一致性原理,针对安全性、可达性、活性等性质,设计3种用于自动生成和抽取性质的覆盖准则,并根据准则从LSC需求规格说明中抽取与设计模型相关的性质.抽取的结果可用于自动化验证,为验证需求模型与设计模型的一致性提供保障.
英文摘要：
This paper uses live sequence chart（LSC） to describe scenario-based requirement specifications.According to the principle that design model must be consistent with the specification of requirement model,and aiming at extraction of safety,reachability and liveness,the paper proposes three criteria for generating and extracting properties from LSC specification automatically.The extracted result can be used for automatic verification,providing protection for consistency of requirement model with the design model.
同期刊论文项目
同项目期刊论文
期刊信息
位置：