期刊文献+
共找到6篇文章
< 1 >
每页显示 20 50 100
基于问题模式的形式化软件规格说明生成方法 被引量:5
1
作者 王昌晶 罗海梅 左正康 《计算机研究与发展》 EI CSCD 北大核心 2013年第2期352-360,共9页
精确的形式化软件规格说明是软件描述、开发与验证的基础,而工业界普遍使用非(半)形式化的表示定义与描述用户需求,如何由非(半)形式化的用户需求生成形式化软件规格说明是需求工程的难点之一.将设计模式的概念进行扩展,定义了问题模式... 精确的形式化软件规格说明是软件描述、开发与验证的基础,而工业界普遍使用非(半)形式化的表示定义与描述用户需求,如何由非(半)形式化的用户需求生成形式化软件规格说明是需求工程的难点之一.将设计模式的概念进行扩展,定义了问题模式,提出了一种基于问题模式形式化软件规格说明生成方法.该方法从结构化自然语言SNL描述的高层问题需求出发,通过选择知识库中的问题模式逐步精化得到各个新的子问题对应的形式化规格说明,之后对各个子问题组合并进行优化以得到最终的形式化规格说明.进一步,使用模型精化演算的原理与概念给出了该生成方法的理论基础.采用算法程序领域作为研究对象并使用Radl语言作为形式化规格说明语言.通过算法程序领域中的典型实例对这一方法进行了详细的描述,实际效果表明该方法能有效地生成高质量形式化规格说明. 展开更多
关键词 形式化软件规格说明 生成方法 问题模式 模型精化演算 算法程序
在线阅读 下载PDF
一种获得应用软件规格说明的新途径
2
作者 王咏 《计算机工程与应用》 CSCD 北大核心 2003年第6期108-110,共3页
在4GL开发环境下,应用系统的开发都是以界面的设计为导向的。该文介绍了一种在4GL环境下获得应用软件规格说明的新途径,即通过确定界面模型来确定应用软件的规格说明,并详细介绍了确定界面模型的方法———OVID(ObjectViewInteractionDe... 在4GL开发环境下,应用系统的开发都是以界面的设计为导向的。该文介绍了一种在4GL环境下获得应用软件规格说明的新途径,即通过确定界面模型来确定应用软件的规格说明,并详细介绍了确定界面模型的方法———OVID(ObjectViewInteractionDesign,对象视图交互设计)。 展开更多
关键词 软件规格说明 软件工程 软件开发 应用软件
在线阅读 下载PDF
软件需求规格说明自动生成工具 被引量:1
3
作者 甘早斌 卢正鼎 《小型微型计算机系统》 CSCD 北大核心 2004年第4期650-653,共4页
首先提出了一种面向业务流的需求分析方法 ,并给出了相应的条件有向图需求描述模型 (CDGRD) ,然后详细地介绍了基于 CDGRD的软件需求规格说明自动生成工具 .最后以某大型企业信息系统项目为例 ,详细讨论了
关键词 软件需求规格说明 条件有向图 需求自动化
在线阅读 下载PDF
基于结构化功能规格说明的测试方法和工具
4
作者 林振 吴定一 《软件学报》 EI CSCD 北大核心 1995年第6期366-371,共6页
由于程序的形式化验证技术还局限于比较小的程序,软件测试仍然是目前和今后相当长一段时间内保证大型软件质量和可靠性的主要手段.测试大型软件是一项既繁重又复杂的工作,计算机辅助软件测试将会大大降低测试工作量,提高测试效率.... 由于程序的形式化验证技术还局限于比较小的程序,软件测试仍然是目前和今后相当长一段时间内保证大型软件质量和可靠性的主要手段.测试大型软件是一项既繁重又复杂的工作,计算机辅助软件测试将会大大降低测试工作量,提高测试效率.本文首先提出一种新的、简单有效的基于结构化功能规格说明的测试方法,然后阐述如何基于该方法设计井实现一个测试工具环境,以提高测试者的工作效率,减轻测试者的负担. 展开更多
关键词 软件测试 软件规格说明 测试工具
在线阅读 下载PDF
基于灰色聚类算法的需求分析 被引量:5
5
作者 胡文生 杨剑锋 赵明 《计算机科学》 CSCD 北大核心 2016年第S1期471-475,共5页
James Martin等人的研究成果表明软件产品的大部分故障来源于需求阶段。为了提高软件产品的质量,保证软件需求规格说明(Software Requires Specification,SRS)的一致性、正确性、无歧义就显得尤为重要。利用自然语言处理技术,通过对软... James Martin等人的研究成果表明软件产品的大部分故障来源于需求阶段。为了提高软件产品的质量,保证软件需求规格说明(Software Requires Specification,SRS)的一致性、正确性、无歧义就显得尤为重要。利用自然语言处理技术,通过对软件需求规格说明中功能性需求语句进行词语划分并做词性标注,将每个功能需求语句转换为由关键词构成的权重向量,结合灰色聚类算法最终实现将功能语义相似的需求语句聚合在一起,从而达到需求分类的目的。分类的结果不仅方便需求分析人员进行需求审查,同时也方便软件开发人员进行软件编程以及维护人员对软件系统的修改和变更。 展开更多
关键词 需求 软件需求规格说明 软件故障 聚类
在线阅读 下载PDF
SRS及其质量模糊度量方法的研究 被引量:3
6
作者 甘早斌 陈正勇 +1 位作者 陈传波 裴先登 《计算机科学》 CSCD 北大核心 2003年第4期131-133,共3页
Being the first stage of the software lifecycle,software requirements analysis plays a pivotal role in the entire software development process. The success and failure key to the entire software development projects i... Being the first stage of the software lifecycle,software requirements analysis plays a pivotal role in the entire software development process. The success and failure key to the entire software development projects is the quality of software requirements specifications (SRS). By means of fuzzy set theory, this paper firstly analyzes SRS and its characteristics, and then proposes the quota system for evaluating the quality of software requirements specifications. This paper also discusses the approaches of relating data acquirement and fuzzy evaluating, and the quantitative analysis for evaluation results. Finally, the expectation of the future work is given. 展开更多
关键词 软件开发 软件需求分析 软件系统 SRS 软件质量 质量模糊度量方法 软件需求规格说明
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部