上海大学学报（自然科学版）
上海大學學報（自然科學版）
상해대학학보（자연과학판）
JOURNAL OF SHANGHAI UNIVERSITY (NATURAL SCIENCE EDITION)
2012年
2期
156-162
,共7页
戴雨婷%缪淮扣%梅佳%高洪皓
戴雨婷%繆淮釦%梅佳%高洪皓
대우정%무회구%매가%고홍호
LSC%模型验证%性质抽取%一致性
LSC%模型驗證%性質抽取%一緻性
LSC%모형험증%성질추취%일치성
采用LSC( live sequence chart)描述基于场景的需求规格说明,根据设计模型必须满足需求规格说明的一致性原理,针对安全性、可达性、活性等性质,设计3种用于自动生成和抽取性质的覆盖准则,并根据准则从ISC需求规格说明中抽取与设计模型相关的性质.抽取的结果可用于自动化验证,为验证需求模型与设计模型的一致性提供保障.
採用LSC( live sequence chart)描述基于場景的需求規格說明,根據設計模型必鬚滿足需求規格說明的一緻性原理,針對安全性、可達性、活性等性質,設計3種用于自動生成和抽取性質的覆蓋準則,併根據準則從ISC需求規格說明中抽取與設計模型相關的性質.抽取的結果可用于自動化驗證,為驗證需求模型與設計模型的一緻性提供保障.
채용LSC( live sequence chart)묘술기우장경적수구규격설명,근거설계모형필수만족수구규격설명적일치성원리,침대안전성、가체성、활성등성질,설계3충용우자동생성화추취성질적복개준칙,병근거준칙종ISC수구규격설명중추취여설계모형상관적성질.추취적결과가용우자동화험증,위험증수구모형여설계모형적일치성제공보장.
