|
|||||
|
|
| 使用SPEC#开发高可靠性的物流信息系统 | |
| 引用本文： | 郑宇军,王金全,薛锦云.使用SPEC#开发高可靠性的物流信息系统[J].计算机工程与设计,2006,27(22):4178-4182. |
| 作者姓名： | 郑宇军 王金全 薛锦云 |
| 作者单位： | 1. 工程装备系统工程研究所,北京,100093;中国科学院,软件研究所,北京,100080 2. 工程装备系统工程研究所,北京,100093 3. 中国科学院,软件研究所,北京,100080;江西师范大学计算机信息工程学院,江西,南昌,330027 |
| 基金项目： | 国家自然科学基金;国家重点基础研究发展计划(973计划) |
| 摘 要： | 结合形式化软件开发方法和面向对象的方法学，使用SPEC#开发物流信息管理系统，利用该语言中的前置条件、后置条件、对象不变式等形式化机制显著地提高了软件的可读性，可靠性和可维护性。系统地总结了分析、设计和编码阶段的经验和问题，提出了应用SPEC#进行契约式程序设计的一组原则和建议，并分析了该语言存在的不足和改进策略。 |
| 关 键 词： | 形式化方法 契约 不变式 物流信息系统 |
| 文章编号： | 1000-7024（2006）22-4178-05 |
| 收稿时间： | 2005-09-16 |
| 修稿时间： | 2005-09-16 |
Developing reliable software of logistic information system with SPEC# |
|
| ZHENG Yu-jun,WANG Jin-quan,XUE Jin-yun.Developing reliable software of logistic information system with SPEC#[J].Computer Engineering and Design,2006,27(22):4178-4182. | |
| Authors: | ZHENG Yu-jun WANG Jin-quan XUE Jin-yun |
| Affiliation: | 1. Systems Engineering Research Institute of Engineer Equipment, Beijing 100093, China; 2. Institute of Software, Chinese Academy of Sciences, Beijing 100080, China; 3. College of Computer Information and Engineering, Jiangxi Normal University, Nanchang 330027, China |
| Abstract: | A logistic information system(LIS) is developed by integrating formal methods with object-oriented approach.Taking advantage of the formal mechanisms in SPEC# including object invariants,class contracts and method contract,significant improvement in readability,reliability and maintainability is achieved.In addition,a set of rules and guidance are drawn from the experiences of the stages of analysis,design,and implementation,and some deficiencies of SPEC# and its further improvement are also discussed. |
| Keywords: | SPEC# |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |