没有合适的资源？快使用搜索试试~ 我知道了~

文库首页开发技术其它Automatic Test Generation-开源

Automatic Test Generation-开源

开源软件

需积分: 9 0 下载量 160 浏览量 2021-05-27 15:40:01 上传评论收藏 22KB GZ 举报

温馨提示

共49个文件

java：16个

repository：9个

entries：9个

AutoTestGen是AlloyAnalyzer的包装，提供了将Alloy模型转换为测试用例的框架。

资源推荐

资源详情

资源评论

Automatic Test Program Generation Using Executing-Trace-Based Constraint Extraction for Embedded Processors

Automatic Test Program Generation Using Executing-Trace-Based Constraint Extraction for Embedded Processors

电赛E题云台自动追踪程序Automatic-PTZ-tracking

电赛E题云台自动追踪程序Automatic-PTZ-tracking

Automatic-Parking-System自动泊车源代码.7z

Automatic-Parking-System自动泊车源代码.7z

ISO 23553-1-2022 Automatic and semi-automatic valves.pdf

ISO 23553-1-2022 Automatic and semi-automatic valves.pdf

DingDing-Automatic-Clock-in:钉钉自动打卡、远程打卡脚本，基于Auto.js，适用于蓝牙考勤机

5星 · 资源好评率100%

DingDing-Automatic-Clock-in 简介钉钉自动打卡、远程打卡脚本，基于Auto.js，适用于蓝牙考勤机。功能定时打卡远程打卡远程暂停/恢复定时打卡以邮件的形式发送考勤结果工具 Auto.js Tasker 网易邮箱大师原理...

Coupert - Automatic Coupon Finde-6.2.90.zip

名称：Coupert - Automatic Coupon Finde ---------------------------------------- 版本：6.2.90 作者：https://www.coupert.com/ 分类：商业购物 ---------------------------------------- 概述：Coupert会自动...

PyPI 官网下载 | django-automatic-crud-1.0.4.tar.gz

资源来自pypi官网。资源全名：django-automatic-crud-1.0.4.tar.gz

ASECO - Automatic Server Control-开源

Aseco是为赛车游戏Trackmania（原始/日出/国家）编写的工具。它在轨道上记录行驶时间，并将其保存到本地或公共数据库中。还有许多其他功能和集成的插件系统。

PaddleOCR:基于PaddlePaddle的超赞多语言OCR工具包-开源

A2L Build for MCD - AutoExtractGui:从ELF为汽车MCD工具（例如INCA）构建A2L-开源

4星 · 用户满意度95%

1. A2L Builder：AutoExtractGui该工具可帮助测量和校准人员（例如INCA用户）轻松创建自己的A2L。 -请描述“内存段”：这是必填部分。 -（可选）您可以描述变量的公式/最小/最大值/单位/...。 -（可选）您可以描述XCP，CCP，CAN BPS等通信规范。-按下“建立新的A2L”按钮，为给定的ELF文件创建新的A2L。作为参考，您可能会看到此工具如何与给定的示例文

QtJSBSim:JSBSim的分布式飞行模拟和前端-开源

这个Qt应用程序可以将控件数据发送到独立的JSBSim实例，并且可以从JSBSim读取和显示数据。您可以将QtJSBSim视为模拟器，而将JSBSim视为飞行动力学模型后端。对于窗外的视觉效果，您可以选择使用铯离子驱动的查看器或FlightGear。

Spectral Python:用于高光谱图像处理的python模块-开源

Spectral Python（SPy）是一个python软件包，用于读取，查看，操作和分类高光谱图像（HSI）数据。 SPy包括用于聚类，降维，监督分类等功能。

Hysteresis:在 Matlab 中实现的 Preisach 型滞后模型。-开源

Preisach 函数被认为是两个特殊的一维函数的乘积，它允许对 Everett 积分进行分析评估。派生的表达式包含在静态和动态磁滞模型中，这些模型足够快，可以合并到电磁软件中。如果您发现这些代码有用，请引用以下论文：[1] Zs。 Szabó, I. Tugyi, Gy。 Kádár, J. Füzi，标量 Preisach 模型的识别程序，Physica B，卷。 343，第 142-14

libonvif:为 Windows、Linux、Mac 实现客户端 ONVIF 的库-开源

LIBONVIF 将您的程序连接到 IP 摄像机 libonvif 是一个开源项目，它实现客户端 ONVIF 以与兼容的 IP 摄像机通信。在 Windows、Linux、Mac、mingw 上从源代码轻松编译。 libonvif 附带了一个示例程序，该程序在本地网络上实现发现以查找兼容的摄像机并返回用于流式传输的 RTSP 字符串。在海康威视、大华、安讯士、Foscam、Trendnet、A

PDMWeb-开源

基于Web的PDM / PLM解决方案。包括的模块：文档管理，生命周期管理，工作流系统，变更管理，产品配置系统，产品编号系统，CAx集成，CAx文件查看器系统

MIST:用于仿真光学系统的MATLAB工具箱-开源

模态干涉仪仿真工具（MIST）是一个MATLAB工具箱，可以模拟近轴光束近似中的任意谐振光学系统。它允许用户定义任何光学设置（通常由激光源，反射镜，透镜，电光调制器和检测器组成），并可以在任何点计算静态激光场。它使用Hermite-Gauss模态分解来模拟衍射受限的光学器件。该工具主要用于模拟具有谐振腔的大型干涉仪，用于检测重力波。订阅邮件列表以获取更新和新闻。如果您在自己的仿真工作中使

Statistical Process Control (SPC)-开源

该开放式软件包旨在解决频率分布，运行图，X图，R图，X条和S图，R条和R图，X和MR图，标准偏差，控制极限，过程能力，p和np型图表，c和u型图表。

SCADA system-开源

基于Scilab的SCADA（监控和数据采集）系统，包括串行，OPC，Modbus，Mysql，TCP / IP接口以及PID仿真，模糊控制和控制等。

IEC60870-5-104 Source Code Library Stack:适用于 Windows、Linux、QNX、实时操作系统、ARM 的 IEC 104 源代码库-开源

IEC 104 源代码库支持 Windows、嵌入式 Linux（ARM、Coldfire、Power PC）、Ubuntu Linux（X86、X86-64）、Fedora、CentOS、Red Hat、PowerPC、QNX 等。内存占用低，易于在任何硬件平台上启动，可以在有或没有操作系统的情况下运行，作为源代码交付，高配置允许仅使用所需的功能，免版税许可。 C、C++、C#、Borland

收起资源包目录

autotestgeninitialimport.tar.gz （49个子文件）

autotestgen

build.properties 193B

src

autotestgen

lexer

InstanceLexer.java 12KB

CVS

Entries 57B

Repository 34B

Root 50B

solutionparser

AtomCreateRule.java 855B

TupleCreateRule.java 1KB

CVS

Entries 308B

Repository 43B

Root 50B

SolutionParsingException.java 324B

RelationCreateRule.java 2KB

AlloySolutionXMLProcessor.java 4KB

CVS

Entries 82B

Repository 28B

Root 50B

solutionadt

AlloySolution.java 2KB

CVS

Entries 154B

Repository 40B

Root 50B

Tuple.java 5KB

Relation.java 9KB

xmlgen

XMLGeneratorImpl.java 6KB

CVS

Entries 239B

Repository 35B

Root 50B

XMLGenerationException.java 127B

XMLGenerator.java 4KB

AttributeAssignment.java 2KB

translation

TranslationException.java 196B

CVS

Entries 183B

Repository 40B

Root 50B

AlloyXMLTranslator.java 989B

TranslationRunner.java 8KB

CVS

Entries 18B

Repository 16B

Root 50B

dtd

CVS

Entries 56B

Repository 16B

Root 50B

AlloyInstance.dtd 225B

LICENSE.txt 18KB

CVS

Entries 254B

Repository 12B

Root 50B

build.xml 2KB

README.txt 687B

ant 513B

共 49 条

评论收藏

内容反馈

资源评论

资源反馈

评论星级较低，若资源使用遇到问题可联系上传者，3个工作日内问题未解决可申请退款~

三渔

粉丝: 23
资源: 4544

上传资源快速赚钱

我的内容管理展开

我的资源快来上传第一个资源

我的收益

登录查看自己的收益

我的积分登录查看自己的积分

我的C币登录后查看C币余额

我的收藏

我的下载

下载帮助

前往需求广场，查看用户热搜

Automatic Test Generation-开源

Automatic Drawing Generation-开源

PhpCodeWizard-Automatic Code Generation-开源

automatic-storage-management-administrators-guide.pdf

automatic-graph-layout, 图形布局和查看的工具集.zip

Automatic Test Generation

Automatic-Parking-Management-master.7z

automatic-gcp-detector-源码.rar

automatic-seo-links

Automatic-Parking-自动泊车matlab模拟.7z

Automatic Test Program Generation Using Executing-Trace-Based Constraint Extraction for Embedded Processors

电赛E题云台自动追踪程序Automatic-PTZ-tracking

Automatic-Parking-System自动泊车源代码.7z

ISO 23553-1-2022 Automatic and semi-automatic valves.pdf

DingDing-Automatic-Clock-in:钉钉自动打卡、远程打卡脚本，基于Auto.js，适用于蓝牙考勤机

Coupert - Automatic Coupon Finde-6.2.90.zip

最新完整版标准 ISO 23553-1-2022 Automatic and semi-automatic valves.pdf

PyPI 官网下载 | django-automatic-crud-1.0.4.tar.gz

ASECO - Automatic Server Control-开源

PaddleOCR:基于PaddlePaddle的超赞多语言OCR工具包-开源

A2L Build for MCD - AutoExtractGui:从ELF为汽车MCD工具（例如INCA）构建A2L-开源

QtJSBSim:JSBSim的分布式飞行模拟和前端-开源

Spectral Python:用于高光谱图像处理的python模块-开源

Hysteresis:在 Matlab 中实现的 Preisach 型滞后模型。-开源

libonvif:为 Windows、Linux、Mac 实现客户端 ONVIF 的库-开源

PDMWeb-开源

MIST:用于仿真光学系统的MATLAB工具箱-开源

Statistical Process Control (SPC)-开源

SCADA system-开源

IEC60870-5-104 Source Code Library Stack:适用于 Windows、Linux、QNX、实时操作系统、ARM 的 IEC 104 源代码库-开源

最新资源