程序可靠性相关论文
以GB/T9441-2009《球墨铸铁金相检验》为标准,采用matlab图像处理工具,通过图像形态学处理,提取石墨颗粒的几何形态数据.编程计算......
验证与确认已成为数值计算程序可靠性校验和评估的关键方法,对产生高质量数值模拟程序具有重要意义.本文介绍了验证与确认的基本概......
保持数据一致性是编写并发程序必须注意的一个重要问题.本文讨论了在Java多线程应用中使用同步方法解决该问题必须理解的三大特性:......
本文将从微秒级程序的特点入手、结合其失效形式,提出设计技术,旨在提高微秒级程序可靠性方面进行更进一步的研究.......
本文论述了反编译作为一种程序验证的工具在航天工业中的重要地位和应用；介绍了反编译的背景知识；给出一个实用的反编译系统ＤＣＰＬ的设计模......
继性能和功耗问题之后,软错误导致的计算可信性已成为一个日益严峻的课题.由于寄存器访问频繁却未能被良好保护,发生在其中的软错......
程序的形式推导方法是一种基于程序正确性证明理论的程序开发方法，它使得程序的开发和证明同时进行，程序开发完成的同时其正确性亦得......
软件的可靠性是软件质量的一个重要技术指标。该文采用软件蓝图描述软件结构，进而给出了基于程序图的环型复杂的计算方法，在此基础上......
继性能和功耗问题之后,软错误导致的计算可信性已成为一个日益严峻的课题。其中,由于寄存器访问频繁却未能被良好保护,发生在其中......
编写的目的在于探讨Java是否能用于嵌入式系统，因为Java本身的跨平台性具有很大的优点。首先，介绍了Java，探讨了它的优、缺点，然后，着重......
【正】 电算化审计最困难的任务之一是计算机程序的审计。要完成这个任务,首先要对程序控制功能的可靠性进行测试。测试会计系统内......
本文论述了反编译作为一种程序验证的工具在航天工业中的重要地位和应用；...
