基于环境的软件近似正确性
图书信息
书名：基于环境的软件近似正确性作者：马艳芳
包装：平装
开本：16
全文字数：157000
出版社：中国科学技术大学出版社
出版时间：2017-01-01
图书简介
《基于环境的软件近似正确性》基于进程代数理论中的通信系统演算（CCS）模型对软件的近似正确性进行了形式化描述和度量。该书从接受和拒绝环境角度，以参数化互模拟和三分之二互模拟为基础，建立了参数化互模拟和三分之二互模拟的无限演化理论及拓扑结构，建立了近似的参数化互模拟和近似的三分之二互模拟理论，并为描述带有概率信息的软件系统的近似正确性，建立了概率化参数互模拟及确定性概率进程近似互模拟的无限演化及其拓扑结构。本书对软件的近似正确性有了更加明确和全面的描述和度量，对软件测试及验证有一定启示和指导意义。
推荐理由
本书是一本基于计算机科学的专业图书，对软件的近似正确性以形式化描述和度量的方式进行了研究和探讨，结合进程代数理论的通信系统演算模型对软件进行建模和分析，为描述带有概率信息的软件系统的近似正确性提供了理论基础。该书内容详实，论述较为深入，是一本值得计算机科学领域从业者、研究生和相关专业学生参考的图书。