程序动态分析相关论文
软件项目管理的不规范性，软件产业人员的高度流动性，使得留下了很多基线不一致的，不好读懂的程序，这些程序往往造价高昂，其中很多还有重......
软件调试对开发者来说是一个昂贵的、费时费力的过程,尤其是定位程序中的错误通常会耗费调试过程的大部分时间。能够减少错误定位......
智能手机在日常生活中已成为必不可少的电子产品,其中运行Android系统的设备在智能手机市场上占据很大比例,在Android系统上运行的......
Q学习是机器学习的一种,以其简捷、高效的算法及自适应学习特点,成为增强学习的典型代表,在人工智能领域得到越来越多的应用。理论......
为了更好地保证并提高计算机软件质量，在软件设计过程中采用了合约式程序设计方法。以大量程序运行轨迹数据为基础，以SQLServer2005......
摘 要：在当今信息社会中，程序质量是一个具有重要意义的热点问题。基于契约的程序设计是提高程序质量的重要且有效的技术，但是形式化......
