公共文化服务平台

搜索到48篇“ 需求规约“的相关文章

一种复杂嵌入式软件系统的需求规约描述模板及生成方法: 本发明公开了一种复杂嵌入式软件系统的需求规约描述模板及生成方法，应用于嵌入式系统需求规约技术领域。描述模板包括声明描述、组合问题描述和原子问题描述；其描述基本语句包括声明、表达式与约束、原子语句、时间无关和相关控制语句。...; 金芝陈小红王小齐

一种形式化需求规约自动化修复方法: 本发明公开了一种形式化需求规约自动化修复方法，包括以下步骤：S1：输入需求规约的环境约束和系统断言，利用局部搜索算法自动寻找冲突，将寻找到的冲突构成冲突集合；S2：对冲突集合中的冲突进行筛选，对筛选后的冲突按照发生的概率...; 万海钟洪桢罗炜麟范科峰赵杭

一种形式化需求规约自动化修复方法: 本发明公开了一种形式化需求规约自动化修复方法，包括以下步骤：S1：输入需求规约的环境约束和系统断言，利用局部搜索算法自动寻找冲突，将寻找到的冲突构成冲突集合；S2：对冲突集合中的冲突进行筛选，对筛选后的冲突按照发生的概率...; 万海钟洪桢罗炜麟范科峰赵杭; 文献传递

非形式化需求规约模板到形式化设计模型的自动转换方法: 本发明公开了一种非形式化需求规约模板到形式化设计模型的自动转换方法，通过基于限定自然语言的需求规约模板，以层次化的组织形式、限制的语言描述系统或构件，在此基础上进行需求规约形成非形式化的设计说明文档，并实现整个设计说明到...; 杨志斌刘承威冯思喆王飞许金淼周勇谢健王永孟; 文献传递

大数据驱动的多视点软件需求规约被引量：2: 2020年; 用大数据方法对自然语言软件需求文档进行分析,基于LDA三层贝叶斯网概率主题模型,将文档建模为多个主题的混合概率分布,将每一个隐含主题建模为多个词的混合概率分布。用Gibbs采样算法估算模型的主题概率分布和词概率分布,将需求文档集合中计算出的文档主题映射为需求视点,用多视点方法分析软件需求,对分解、投影到不同子问题域的视点独立求精,系统需求转化为视点需求,集成多视点构成系统的需求规约。将文档主题的词概率分布映射为需求视点的涉众知识和需求规约知识,为需求知识复用提供了可靠依据,增强了需求分析的科学性和完备性。; 张国生; 关键词：LDA GIBBS采样概率分布大数据需求规约

面向特征的软件需求规约被引量：1: 2019年; 基于大数据方法对自然语言用户需求文本进行分析,用TF-IDF方法计算特征词在需求文本中的出现频率,归一化后求得特征词在文本中的权重,用卡方统计量衡量特征词和簇之间的相关性,用k-均值算法和二分k-均值算法对特征集聚类,生成用户需求文本特征树,并映射为需求功能分解树中对应的需求功能,使需求特征语义、结构更加清晰,增强了自动需求规约能力,提高了需求分析效率,使需求规约更加科学、合理、准确.; 张国生; 关键词：TF-IDF K-均值特征树

非形式化需求规约模板到形式化设计模型的自动转换方法: 本发明公开了一种非形式化需求规约模板到形式化设计模型的自动转换方法，通过基于限定自然语言的需求规约模板，以层次化的组织形式、限制的语言描述系统或组件，在此基础上进行需求规约形成非形式化的设计说明文档，并实现整个设计说明到...; 杨志斌刘承威冯思喆王飞许金淼周勇谢健王永孟

基于需求规约的ATP系统自动测试与结果分析: ATP(Automatic Train Protection,自动列车保护系统)软件是一个保证地铁列车安全运行的关键设备。传统的确认测试只能根据需求来设计用例,手动的执行测试,确认实现的软件是否符合需求,然后再通过附加一...; 陈晓轩; 关键词：ATP 测试用例生成; 文献传递

面向服务组合的用户隐私需求规约与验证方法被引量：4: 2016年; 用户向Web服务组合提供隐私数据时,不同用户有自身的隐私信息暴露需求,服务组合应支持用户隐私需求的可满足性验证.首先提出一种面向服务组合的用户隐私需求规约方法,用户能够定义隐私数据及不同使用情境的敏感度,采用敏感度-信誉度函数明确可以使用隐私数据的成员服务,简化隐私需求的同时,提高了隐私需求的通用性.为了验证服务组合是否满足用户隐私需求,首先通过隐私数据项依赖图(privacy data item dependency graph,简称PDIDG)描述组合中隐私数据项的依赖关系,然后采用隐私开放工作流网(privacy open workflow net,简称POWFN)构建隐私敏感的服务组合模型,通过需求验证算法验证服务组合是否满足用户隐私需求,从而能够有效防止用户隐私信息的非法直接暴露和间接暴露.最后,通过实例分析说明了该方法的有效性,并对算法性能进行了实验分析.; 彭焕峰黄志球范大娟章永龙; 关键词：信誉度

一种基于需求规约的谓词测试用例生成方法: 2014年; 软件失效多数由其包含的谓词引发.本文针对特定的故障模型,提出一种基于需求规约的谓词测试用例生成方法.该方法从需求规约中提取出因果图,再将因果图转换为谓词,再由BRO算法生成测试约束集,最后将生成测试用例集.实例分析表明,方法能有效生成测试用例集,并满足相应的测试谓词准则.; 方冉; 关键词：需求规约因果图测试用例生成

相关作者