摘要
安全关键软件需求中的相关知识大多需要手工提取,既费时又费力。近年来,人工智能技术逐渐被应用于安全关键软件设计与开发过程中,以减少工程师的手工劳动,缩短软件开发的生命周期。文中提出了一种安全关键软件术语推荐和需求分类方法,为安全关键软件需求规约提供了基础。首先,基于词性规则和依存句法规则对候选术语进行提取,通过术语相似度计算和聚类方法对候选术语进行聚类,将聚类结果推荐给工程师;其次,基于特征提取方法和分类方法将安全关键软件需求自动分为功能、安全性、可靠性等需求;最后,在AADL(Architecture Analysis and Design Language)开源建模环境OSATE中实现了原型工具TRRC4SCSTool,并基于工业界案例需求、安全分析与认证标准等构建实验数据集进行了实验验证,证明了所提方法的有效性。
Most of the knowledge in the requirements of safety-critical software needs to be manually extracted,which is time-consuming and laborious.Recently,artificial intelligence technology has been gradually used in the design and development of safety-critical software,to reduce the work of engineers and shorten the life cycle of software development.This paper proposes a terminology recommendation and requirement classification method for safety-critical software.Firstly,the terminology recommendation method extracts candidate terms based on part-of-speech rules and dependency rules and clusters candidate terms through term similarity calculation.The clustering results are recommended to engineers.Secondly,the requirement classification method automatically classifies safety-critical software requirements as functional,safety,reliability,etc.based on feature extraction.Finally,the prototype tool TRRC4SCSTool is implemented in the AADL open-source modeling environment OSATE,and the experimental analysis is carried out through the dataset collected from the industrial requirements and safety certification standards,and the results show the effectiveness of the method.
作者
杨志斌
杨永强
袁胜浩
周勇
薛垒
程高辉
YANG Zhi-bin;YANG Yong-qiang;YUAN Sheng-hao;ZHOU Yong;XUE Lei;CHENG Gao-hui(School of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics,Nanjing 211106,China;Key Laboratory of Safety-critical Software,Ministry of Industry and Information Technology,Nanjing 211106,China;Shanghai Aerospace Electronic Technology Institute,Shanghai 201109,China;Beijing Institute of Control and Electronic Technology,Beijing 100038,China)
出处
《计算机科学》
CSCD
北大核心
2021年第5期32-44,共13页
Computer Science
基金
国家自然科学基金(62072233)
航空科学基金(201919052002)
国防基础科研项目(JCKY2020205C006)
2020年度重庆市出版专项资金资助项目。
关键词
安全关键软件
需求工程
术语推荐
术语聚类
需求分类
Safety-critical software
Requirement engineering
Term recommendation
Term clustering
Requirement classification
