切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
介绍一种程序走查的方法
介绍一种程序走查的方法
来源 :航空兵器 | 被引量 : 0次 | 上传用户:guochang704
【摘 要】
:
根据实际工作的经验,总结出一种程序走查的方法,并提出库值和库值运算定理等新概念,有利于走查程序人员在走查程序时少犯错误,并用实例说明了怎样使用这种程序走查方法。
【作 者】
:
沈亮
【机 构】
:
中国空空导弹研究院洛阳
【出 处】
:
航空兵器
【发表日期】
:
2003年3期
【关键词】
:
定点机
程序走查
库值
军用软件产品
可靠性
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
根据实际工作的经验,总结出一种程序走查的方法,并提出库值和库值运算定理等新概念,有利于走查程序人员在走查程序时少犯错误,并用实例说明了怎样使用这种程序走查方法。
其他文献
UML技术及其在测试设备中的应用
UML技术是一种优秀的面向对象的建模语言,与传统的结构化模型的设计方法相比具有明显的优越性.以总线检测设备为例,介绍UML技术在测试设备之软件开发过程中的应用.
期刊
UML技术
测试设备
建模语言
面向对象
软件开发
其他学术论文