JSXM公司 swMATH ID: 15041 软件作者： 迪米特里斯·德拉尼迪斯、康斯坦蒂诺斯·布拉塔尼斯、弗洛伦丁·伊帕特 描述： JSXM：自动测试生成工具。流X机器（SXM）是一种直观而强大的建模形式主义，它使用内存（数据）结构和函数标记转换扩展了有限状态机。SXM的主要优势之一是其相关的测试策略：这保证了在定义良好的条件下，被测系统和模型之间的所有功能不一致都会被揭示出来。不幸的是，尽管基于SXM的测试具有明显的优势，但不存在能够令人信服地实现此策略的工具。本文介绍了一个名为JSXM的工具。JSXM工具支持SXM模型的动画，以便进行模型验证，从SXM规范自动生成抽象测试用例，以及在被测系统的实现语言中将抽象测试用例转换为具体测试用例。建模语言和工具的一个特殊特性是，它支持平面SXM模型的规范以及交互SXM模块的集成。 主页： http://link.springer.com/chapter/10.1007/978-3-642-33826-7_25 相关软件： 引用于： 1文件 2位作者引用 1 迪米特里斯·德拉尼迪斯 1 佛罗伦萨伊帕特 连载1篇 1 计算的形式方面 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文