期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

程序测试与概率检查

下载PDF

导出

摘要本文在分析传统的程序结果检查方法的基础上,介绍了引进随机概率的自我检查/校正程序设计(self-testing/correcting)的原理及其特点.

作者卢先捷

机构地区复旦大学计算机系

出处《计算机科学》 CSCD 北大核心 1997年第3期71-72,共2页 Computer Science

关键词程序测试程序正确性程序检查容错计算软件工程

分类号 TP311.1 [自动化与计算机技术—计算机软件与理论] TP302.8 [自动化与计算机技术—计算机系统结构]

引文网络
相关文献

1张祥永,左建华.模拟仿真系统的研究与计算机数控程序检查[J].计算机辅助设计与制造,1999(9):20-22. 被引量：10
2张海伟,郑明,翟长远.PLC编程软件中梯形图检查模块的设计[J].仪器仪表用户,2007,14(1):72-73. 被引量：5
3王海琳.按照高级语言的思想编写汇编语言程序[J].河北工程技术职业学院学报,2003,5(4):34-35.
4王路敬.中文Windows 98基本操作经验与常见问题处理(九)[J].计算机与农业,2001(1):21-22.
5电脑病毒预防须知[J].求知,2001(7):38-38.
6低配置电脑提速的几种方法[J].计算机与网络,2012,38(23):37-37.
7李晓平,樊庆文,刘荣忠,马济永.数控加工三维仿真系统[J].自动化信息,2003(1):20-22.
8白银.搭起真诚的互动平台——我的“博客”实践[J].教育信息技术,2010(6):27-28.
9Office无法运行不要慌诊断程序帮你忙[J].电脑迷,2007,0(6):144-144.
10什么是Hyper—V R2中的处理器兼容性设置？[J].Windows IT Pro Magazine（国际中文版）,2009(9):88-88.

计算机科学

1997年第3期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...

;

使用帮助返回顶部