渗透酶 swMATH ID: 21412 软件作者： Bardin，S.、Herrmann，P。 描述： OSMOSE：可执行文件的自动结构测试。验证通常在软件的高级视图上执行，无论是规范还是程序源代码。然而，在某些情况下，当在机器代码级别执行时，验证更为相关。本文的重点是从一个独立的可执行文件自动生成测试数据。低级分析比高级分析困难得多，因为即使是控制流图也不可用，位级指令也必须如实建模。本文展示了如何使用最先进的技术和创新技术，将“基于路径”的结构测试数据生成从结构化语言转换为机器代码。结果已在名为OSMOSE的工具中实现，并进行了令人鼓舞的实验。 主页： http://onlinelibrary.wiley.com/doi/10.1002/tvr.423/abstract 相关软件： CBMC公司；GATeL公司；z3（零3）；阿斯特里；超小卫星；污水处理厂；BINSEC/SE银行；TCAS公司；数学SAT5；CVC4型；糠；伊塞斯；SMT-LIB公司；CPBPV公司；转向器；OCaml公司；Caduceus公司；叮当声静态分析仪；CIL公司；杰西 引用于： 3文件 标准条款 1出版物描述软件 年份 OSMOSE：可执行文件的自动结构测试塞巴斯蒂安·巴丁；菲利普·赫尔曼 2011 全部的 前5名8位作者引用 2 塞巴斯蒂安·巴丁 1 弗朗索瓦·博伯特 1 Jörg Brauer 1 扎卡里亚·奇哈尼 1 菲利普·赫尔曼 1 国王，安迪 1 布鲁诺·玛丽 1 弗兰克·维德琳 连载1篇 1 计算机科学中的逻辑方法 在1个字段中引用 三 计算机科学（68至XX） 按年份列出的引文