基于LSC模型检验的性质抽取

• 作者: 戴雨婷 梅佳 缪淮扣 高洪皓
• 来源期刊: 上海大学学报（自然科学版）
• 学科: 工学
• 关键词: LSC 模型验证 性质抽取 一致性
• 年，卷（期）: 2012,（2）
• 所属期刊栏目: 计算机工程与科学
• 页码范围: 156-162
• 分类号: TP311.51
• 字数: 3116字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-2861.2012.02.009

摘要

采用LSC( live sequence chart)描述基于场景的需求规格说明,根据设计模型必须满足需求规格说明的一致性原理,针对安全性、可达性、活性等性质,设计3种用于自动生成和抽取性质的覆盖准则,并根据准则从ISC需求规格说明中抽取与设计模型相关的性质.抽取的结果可用于自动化验证,为验证需求模型与设计模型的一致性提供保障.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	缪淮扣	上海大学计算机工程与科学学院	100	1030	16.0	26.0
2	高洪皓	上海大学计算机工程与科学学院	35	118	6.0	8.0
6	梅佳	上海大学计算机工程与科学学院	4	25	3.0	4.0
8	戴雨婷	上海大学计算机工程与科学学院	1	7	1.0	1.0