计算机科学 ›› 2017, Vol. 44 ›› Issue (4): 118-123.doi: 10.11896/j.issn.1002-137X.2017.04.026

• NASAC 2015 • 上一篇    下一篇

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

张莹,吴际,刘超,杨海燕,胡宁   

  1. 北京航空航天大学计算机科学与技术系 北京100191,北京航空航天大学计算机科学与技术系 北京100191,北京航空航天大学计算机科学与技术系 北京100191,北京航空航天大学计算机科学与技术系 北京100191,中航工业西安航空计算技术研究所 西安710065
  • 出版日期:2018-11-13 发布日期:2018-11-13
  • 基金资助:
    本文受国家重点科研项目(MJ-S-2012-05)资助

Rule-based Verification of Use Case Specification

ZHANG Ying, WU Ji, LIU Chao, YANG Hai-yan and HU Ning   

  • Online:2018-11-13 Published:2018-11-13

摘要: 用例模型描述了参与者对系统功能的需求,在整个系统的开发过程中有着重要作用;用例描述若存在问题,会对系统开发造成很大影响。提出了一种用例规约的规则验证方法,通过分析用例规约中的错误类别,在特定的用例规约描述方法上设计了帮助发现规约中不完整性、不一致性错误的验证规则,并通过规则的形式化来支持需求的自动化验证。

关键词: 需求验证,验证规则,需求错误,限制的用例规约建模方法

Abstract: Use cases capture the functional requirement of system and are important in software development.Any error in use cases may have influence on the development of system.This paper described a method to verify use case specification based on the rules.First,we analyzed the error types of use case specification,then proposed a set of rules to help find these errors,which supports the automatic verification by formalizing the rules and focused the verification work on the meta-model of a kind of use case modeling method called RUCM(Restricted Use Case Modeling).

Key words: Requirement verification,Verification rules,Requirement error,RUCM

[1] FANMUY G,FRAGA A,LLORENS J.Requirements Verification in the Industry[M]∥Complex Systems Design & Management.2012:145-160.
[2] YAN Y Q,LI S X,MEI X Y.Analysis of Ddfect Requirement and Management Model[J].Computer Science,2009,36(4):140-141.(in Chinese) 严玉清,李师贤,梅晓勇.缺陷需求分析与管理模型[J].计算机科学,2009,36(4):140-141.
[3] ARORA C,SABETZADEH M,BRIAND L C,et al.Require-ment boilerplates:Transition from manually-enforced to automatically-verifiable natural language patterns[C]∥2014 IEEE 4th International Workshop on Requirements Patterns (RePa).IEEE Computer Society,2014:1-8.
[4] TOYAMA T,OHNISHI A.Rule-based Verification of Scenarios with Pre-conditions and Post-conditions[C]∥2013 21st IEEE International Requirements Engineering Conference (RE).IEEE Computer Society,2005:319-328.
[5] JOHNSON L A.Software Considerations in Airborne Systems and Equipment Certification :Document RTCA-DO-178B[R].1992 .
[6] KOESTERS G.Coupling Use cases and Class Models as aMeans for validation and verification of requirements Specification[J].Requirements Engineering,2001,6(1):3-17.
[7] LEITE J C S D P,HADAD G D S,DOOM J H,et al.Scenario Construction Process[J].Requirements Engineering,2000,5(1):38-61.
[8] SOME S S.Supporting use case based requirements enginee- ring[J].Information & Software Technology,2006,48(1):43-58.
[9] TERNER F,IVARSSON M,PETTERSSON F,et al.Defects in automotive use cases[C]∥Proceedings of the 2006 ACM/IEEE International Symposium on Empirical Software Engineering.ACM,2006:115-123.
[10] JIN N,YANG J.An Approach of Inconsistency Verification of Use Case in XML and the Model of Verification Tool[C]∥2010 International Conference on Multimedia Information Networking and Security.IEEE Computer Society,2010:757-761.
[11] IEEE I.Recommended practice for software requirements speci-fications:IEEE Std 830-1998[S].1998:1-40.
[12] KAMSTIES E,PAECH B.Taming ambiguity in natural lan-guage requirements[C]∥ICSSEA 2000.2000:1-8.
[13] TJONG S F,HALLAM N,HARTLEY M.Improving the quality of natural language requirements specifications through natural language requirements patterns[C]∥IEEE International Conference on Computer and Information Technology.2006.
[14] FABBRINI F,FUSANI M,GNESI S,et al.The Linguistic Approach To The Natural Language Requirements Quality:Benefit of The Use of An Automatic Tool[C]∥Proceedings of Software Engineering Workshop,2001.2001:97-105.
[15] JURISTO N,MORENO A M,Lopez M.How to use linguistic instruments for object-oriented analysis[J].IEEE Software,2000,17(3):80-89.
[16] DURN A,BERNRDEZ B,TORO M,et al.Expressing Customer Requirements Using Natural Language Requirements Templates and Patterns[C]∥IMACS/IEEE CSCC’99.Athens,IMACS/IEEE,1999.
[17] DENGER C.High Quality Requirements Specifications for Embedded Systems through Authoring Rules and Language Patterns[J/OL].http://publica.fraunhofer.de/documents/N-10469.html.
[18] YUE T,BRIAND L C,LABICHE Y.Automatically Deriving a UML Analysis Model from a Use Case Model: Technical Report[R].Carleton University,2013.
[19] ZHANG G,YUE T,ALI S.Modeling Crisis Management System with the Restricted Use Case Modeling Approach[C]∥ CMA @ MODELS.Miami,FL,USA,2013:1-8.
[20] ZHANG G,YUE T,WU J,et al.Zen-RUCM:A Tool for Supporting a Comprehensive and Extensible Use Case Modeling Framework.http://www.ceur-ws.org/vol-1115/demo8.pdf.
[21] ZHANG M,YUE T,ALI S,et al.A Systematic Approach to Automatically Derive Test Cases from Use Cases Specified in Restricted Natural Languages[M]∥System Analysis and Mode-ling:Models and Reusability.Springer International Publishing,2014:142-157.
[22] KESTERS G,SIX H W,WINTER M.Coupling Use Cases and Class Models as a Means for Validation and Verification of Requirements Specifications[J].Requirements Engineering,2001,6(1):3-17.
[23] SINHA A,SUTTON S M,PARADKAR A.Text2Test:Automated Inspection of Natural Language Use Cases[C]∥Third International Conference on Softwrae Testing,Verification and Validation.IEEE,2010:155-164.
[24] JIN N,YANG J.An Approach of Inconsistency Verification of Use Case in XML and the Model of Verification Tool[C]∥2010 International Conference on Multimedia Information Networking and Security.IEEE Computer Society.2010:757-761.

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!