温馨提示:您尚未登录,请点 登陆 后下载,如果您还没有账户请点 注册 ,登陆完成后,请刷新本页查看技术详细信息。
公开了用于在集成开发环境(113)中验证软件程序的方法和系统。在一个实施例中,在集成开发环境(113)中验证软件程序的方法包括基于软件程序的规范生成包括日志记录语句的软件程序的源代码。此外,该方法包括执行具有日志记录语句的源代码,以及基于日...该专利属于西门子工业软件有限责任公司所有,仅供学习研究参考,未经过西门子工业软件有限责任公司授权不得商用。
温馨提示:您尚未登录,请点 登陆 后下载,如果您还没有账户请点 注册 ,登陆完成后,请刷新本页查看技术详细信息。
公开了用于在集成开发环境(113)中验证软件程序的方法和系统。在一个实施例中,在集成开发环境(113)中验证软件程序的方法包括基于软件程序的规范生成包括日志记录语句的软件程序的源代码。此外,该方法包括执行具有日志记录语句的源代码,以及基于日...