作者:李英娜易测试性合约式设计类不变式前置条件后置条件
摘要:实现了一个C#语言的合约检查工具,用于辅助程序员在用C#语言编写软件的时候运用合约式设计方法。工具将书写在程序注释中的合约提取出来,并转化为类不变式、类方法的前置条件或后置条件的检查代码插入到源文件中。当执行含有合约检查代码的源文件的时候,检查代码将被执行,以确保合约是否被遵守。
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社
《光盘技术》是一本有较高学术价值的月刊,自创刊以来,一直本着"普及计算机与信息技术知识、推广计算机与信息技术、交流经济、促进计算机与信息技术及其他相关领域的基础研究与技术应用"的办刊宗旨。选题新奇而不失报道广度,服务大众而不失理论高度,颇受业界和广大读者的关注和好评。
省级期刊
人气 366682 评论 69
人气 252080 评论 66
人气 249420 评论 47
部级期刊
人气 248373 评论 10