| 
  中国学术期刊网络出版总库
  关闭
基于XYZ/SE的软件部分正确性验证  
   推荐 CAJ下载 PDF下载
【英文篇名】 Software partial correctness verification based on XYZ/SE
【下载频次】 ★★
【作者】 张锦; 刘曼霞; 赵二群; 柳军飞;
【英文作者】 ZHANG Jin; LIU Manxia; ZHAO Erqun; LIU Junfei; College of Mathematics and Computer Science; Hunan Normal University; College of Information Science and Engineering; Hunan University; National Engineering Research Center of Software Engineering; Peking University;
【作者单位】 湖南师范大学数学与计算机科学学院; 湖南大学信息科学与工程学院; 北京大学国家软件工程研究中心;
【文献出处】 计算机工程与应用 , Computer Engineering and Applications, 编辑部邮箱 2015年 14期  
期刊荣誉：中文核心期刊要目总览  ASPT来源刊  中国期刊方阵  CJFD收录刊
【中文关键词】 形式化描述; 部分正确性验证; 结构化XYZ/E; 国库信息处理系统;
【英文关键词】 formal description; partial correctness verification; structural XYZ/SE; treasury information process system;
【摘要】 针对软件形式化描述和正确性验证研究中存在的问题,提出了基于XYZ/SE的统一框架研究该问题。在该框架下,基于逐步求精思路对软件进行抽象;对软件整体进行形式化描述和部分正确性验证;对抽象得到的软件各部分进行形式化描述和部分正确性验证;进行调整和验证,即:如果推导结果与预期不一致,则需要重写相关程序或者回溯检查推导过程是否存在错误,直至程序部分正确性得到验证为止。以国库信息处理系统为对象,分析了基于XYZ/SE的统一框架性能。分析表明,基于该框架能够对软件的不同抽象层次进行规范描述,实现从抽象(静态语义)到具体(动态语义)的平滑过渡。同时,基于XYZ/SE的统一框架也可以表示Hoare逻辑推演规则。
【英文摘要】 To the problems on software formal description and partial correctness verification, a unified frame based on XYZ/SE is proposed. The unified frame includes four steps. Software is abstracted based on stepwise idea. It uses XYZ/SE to finish formal description and partial correctness verification of whole software. It uses XYZ/SE to finish formal description and partial correctness verification of each component of software. It adjusts and validates previous inference. If inferred results are different from ...
【基金】 863重点课题(No.2009AA010314); 国家自然科学基金(No.60901080)
【更新日期】 2015-08-05
【分类号】 TP311.5
【正文快照】 1引言软件可信性是指软件行为总是符合用户的预期,更关注在使用层面的综合化的质量属性及保障,也是当前软件工程领域的热点研究之一[1]。从软件的形式化描述出发从理论层面研究软件可信性,能够从根本上保证软件行为的可预测性。软件可信性的理论研究涉及软件的形式化描述和正确

xxx
【相似文献】
中国期刊全文数据库
中国优秀硕士学位论文全文数据库
中国博士学位论文全文数据库
中国重要会议论文全文数据库
中国重要报纸全文数据库
中国学术期刊网络出版总库
点击下列相关研究机构和相关文献作者，可以直接查到这些机构和作者被《中国知识资源总库》收录的其它文献，使您全面了解该机构和该作者的研究动态和历史。
【文献分类导航】从导航的最底层可以看到与本文研究领域相同的文献，从上层导航可以浏览更多相关领域的文献。

工业技术
　 自动化技术、计算机技术
　　 计算技术、计算机技术
　　　 计算机软件
　　　　 程序设计、软件工程
　　　　　 软件工程
  
 
  CNKI系列数据库编辑出版及版权所有：中国学术期刊(光盘版)电子杂志社
中国知网技术服务及网站系统软件版权所有：清华同方知网(北京)技术有限公司
其它数据库版权所有：各数据库编辑出版单位（见各库版权信息）
京ICP证040431号    互联网出版许可证 新出网证（京）字008号