基于问题模式的形式化软件规格说明生成方法

• 作者: 左正康 王昌晶 罗海梅
• 来源期刊: 计算机研究与发展
• 学科: 工学
• 关键词: 形式化软件规格说明 生成方法 问题模式 模型精化演算 算法程序
• 年，卷（期）: 2013,（2）
• 所属期刊栏目: 软件技术
• 页码范围: 352-360
• 页数: 9页
• 分类号: TP311
• 字数: 7486字
• 语种: 中文

摘要

精确的形式化软件规格说明是软件描述、开发与验证的基础,而工业界普遍使用非(半)形式化的表示定义与描述用户需求,如何由非(半)形式化的用户需求生成形式化软件规格说明是需求工程的难点之一.将设计模式的概念进行扩展,定义了问题模式,提出了一种基于问题模式形式化软件规格说明生成方法.该方法从结构化自然语言SNL描述的高层问题需求出发,通过选择知识库中的问题模式逐步精化得到各个新的子问题对应的形式化规格说明,之后对各个子问题组合并进行优化以得到最终的形式化规格说明.进一步,使用模型精化演算的原理与概念给出了该生成方法的理论基础.采用算法程序领域作为研究对象并使用Radl语言作为形式化规格说明语言.通过算法程序领域中的典型实例对这一方法进行了详细的描述,实际效果表明该方法能有效地生成高质量形式化规格说明.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	罗海梅	江西师范大学物理与通信电子学院	12	33	4.0	5.0