软件搜索-zbMATH Open

TorX公司

swMATH编号：	7155
软件作者：	亨利克·博恩坎普（Henrik Bohnenkamp）；埃克塞尔·贝林芬特
描述：	使用TorX进行定时测试。TorX是一种基于规范的实时测试工具，用于测试实现与正式规范的ioco一致性。本文描述了TorX的一个扩展，它不仅允许测试功能正确性，还允许测试规范中表示的时序属性的正确性。如果根据ioco，实现通过了定时测试，并且根据规范，输出或静止信号的出现时间是合法的，那么该实现就会通过定时测试。这些规范是通过非确定性安全时间自动机来描述的。本文描述了ioco的基本算法，对标准安全时间自动机进行必要的修改以使其可用作输入形式，时间自动机的测试派生算法，以及在TorX中实现的用于时间测试的具体算法。最后，讨论了与定时测试有关的实际问题。
主页：	http://fmt.ewi.utwente.nl/tools/torx/introduction.html
关键词：	基于模型的飞行测试;定时自动机;实时测试;TorX公司;工具
相关软件：	JTorX公司;SpecExplorer（SpecExplorer）;射击类游戏;CADP公司;Uppaal公司;Java PathFinder;快速检查;N模型;UniTESK公司;Matlab公司;等离子体;猛禽;棱镜;跳跃;TGV公司;UML秒;光泽;阿加莎;Z轴;安全UML
引用于：	16文件
其他出版物：	http://fmt.ewi.utwente.nl/research/publications/？project_id=1&project_name=C%25F4te-去重结晶

1出版物描述软件，包括1出版物以zbMATH为单位	年份
使用TorX进行定时测试。兹比尔1120.68409 亨利克·博恩坎普;埃克塞尔·贝林芬特	2005