| 基于问题模式的形式化软件规格说明生成方法 |
| |
| 引用本文： | 王昌晶, 罗海梅, 左正康. 基于问题模式的形式化软件规格说明生成方法[J]. 计算机研究与发展, 2013, 50(2): 352-360. |
| |
| 作者姓名： | 王昌晶 罗海梅 左正康 |
| |
| 作者单位： | 1. 江西师范大学计算机信息工程学院 南昌 330022;计算机科学国家重点实验室(中国科学院软件研究所) 北京 100190;中国科学院大学 北京 100190
2. 江西师范大学物理与通信电子学院 南昌 330022 |
| |
| 基金项目： | 江西省自然科学基金项目(20122BAB211030) |
| |
| 摘 要： | 精确的形式化软件规格说明是软件描述、开发与验证的基础，而工业界普遍使用非(半)形式化的表示定义与描述用户需求，如何由非(半)形式化的用户需求生成形式化软件规格说明是需求工程的难点之一.将设计模式的概念进行扩展，定义了问题模式，提出了一种基于问题模式形式化软件规格说明生成方法.该方法从结构化自然语言SNL描述的高层问题需求出发，通过选择知识库中的问题模式逐步精化得到各个新的子问题对应的形式化规格说明，之后对各个子问题组合并进行优化以得到最终的形式化规格说明.进一步，使用模型精化演算的原理与概念给出了该生成方法的理论基础.采用算法程序领域作为研究对象并使用Radl语言作为形式化规格说明语言.通过算法程序领域中的典型实例对这一方法进行了详细的描述，实际效果表明该方法能有效地生成高质量形式化规格说明.
|
| 关 键 词： | 形式化软件规格说明 生成方法 问题模式 模型精化演算 算法程序 |
Formal Software Specification Generation Approach Based on Problem Patterns |
| |
| Wang Changjing, Luo Haimei, Zuo Zhengkang. Formal Software Specification Generation Approach Based on Problem Patterns[J]. Journal of Computer Research and Development, 2013, 50(2): 352-360. |
| |
| Authors: | Wang Changjing Luo Haimei Zuo Zhengkang |
| |
| Affiliation: | 1,3,4 1(College of Computer Information and Engineering, Jiangxi Normal University, Nanchang 330022) 2(College of Physics and Communication Electronics, Jiangxi Normal University, Nanchang 330022) 3(Statel Key Laboratory for Computer Science (Institute of Software, Chinese Academy of Sciences), Beijing 100190) 4(University of Chinese Academy of Sciences, Beijing 100190) |
| |
| Abstract: | |
| |
| Keywords: | formal software specification generation approach problem pattern model refinement calculus algorithmic program |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《计算机研究与发展》浏览原始摘要信息 |
|
点击此处可从《计算机研究与发展》下载全文 |
