数值程序相关论文
当今软件规模和复杂程度日趋增加,提高软件的可信性已成为软件工程领域研究的焦点,尤其是在国防、金融、医疗等安全攸关领域。许多......
随着我国石油工业的发展,低渗透油田在开发中所占的比例越来越大。要合理高效地开发低渗透油田,就需要充分认识低渗透油层所特有的......
传统测试中通过对比程序的输出结果与预期结果是否一致,来判断此次测试中是否发现了错误。但当一个待测程序的输入与输出关系很复......
