Experimental Evaluation of FSM-Based Testing Cost——1

最新推荐文章于 2024-11-09 11:25:35 发布

caslina

最新推荐文章于 2024-11-09 11:25:35 发布

阅读量188

点赞数

本文链接：https://blog.csdn.net/caslina/article/details/7302093

版权

为了研究的可重复性及相互借鉴性，将陆续把实验中的数据放在网上。

For our research to be repeatable and to learn from each other, I will put the experimental data on the web successively.

下面的链接地址里是运用Wp-生成序列方法，依据TF覆盖准则精炼测试序列集，获得原始的测试集长度和最小测试集长度的数据的程序。

The next link address is about a executive program that could get the length of the original test suite derived from Wp-method and the length of the mini test suite adequate for TF coverage criterion.

www.rayfile.com/zh-cn/files/ec3b5fc5-61d1-11e1-a9cf-0015c55db73d/

确定要放弃本次机会？

福利倒计时

: :

立减 ¥

普通VIP年卡可用

立即使用

caslina

关注关注

0
点赞
踩
0

收藏

觉得还不错? 一键收藏
0
评论
复制链接

分享到 QQ

分享到新浪微博

扫一扫

FSM简单状态机测试

Daisukidayounan的博客

05-27

645

using System.Collections; using System.Collections.Generic; using UnityEngine; public class State { /// /// 状态名字只读唯一标志 /// public readonly string name; public State(string name) { this.name = name; onStateEnter += () => { Debug.Log("进入了状态：

Awesome Autonomous Vehicles

My_Communication的博客

08-10

1481

# Awesome Autonomous Vehicles: A curated list of awesome autonomous vehicles resources, inspired by awesome-php. Contributing Please feel free to send me pull requests to add links. Table of Contents Foundations Courses Papers Research Labs Datasets Open

参与评论您还未登录，请先登录后发表或查看评论

2010-12-04 FSM-based testing

weixin_34390105的博客

12-04

今天主要看了看上次他们将的FSM-based testing。主要是为了了解几个概念。第一个概念是同步序列，也就是synchronizing sequence，也就是，所有的状态，在经过这个序列之后，都会到达同一个状态。这个同步序列的存在性比较苛刻，并不是所有的FSM都具有同步序列。但是，同步序列的存在的时候，那么每一对状态都存在一个合并序列，也就是两个状态，经过同一个序列，到达同一个状态。 ...

Erlang学习： EUnit Testing for gen_fsm

liaosongbo的专栏

09-17

1159

(译）Erlang学习： EUnit Testing for gen_fsm

Experimental Evaluation of FSM-Based Testing Cost——2

caslina的专栏

04-03

254

The whole program of Wp method on those coverage criteria could be download in the following address: http://www.rayfile.com/zh-cn/files/c11bd833-7d79-11e1-a582-0015c55db73d/

Awesome list of C++ GameDev project

zhouschina的专栏

01-12

3228

Awesome list of C++ GameDev project A curated list of awesome C++ (mainly) things for Game Development. Inspired by awesome-... stuff. ~2000 projects listed here! If you want to add projects here, do a push request or open an issue! (Maybe some new cat

自动驾驶最全基础知识、课程、论文、数据集、开源软件等资源整理分享

lqfarmer的博客

11-20

2204

自动驾驶汽车（Autonomous vehicles）又称无人驾驶汽车、电脑驾驶汽车、或轮式移动机器人，是一种通过电脑系统实现无人驾驶的智能汽车。在20世纪已有数十年的历史，21世纪初呈现出接近实用化的趋势。自动驾驶汽车依靠人工智能、视觉计算、雷达、监控装置和全球定位系统协同合作，让电脑可以在没有任何人类主动的操作下，自动安全地操作机动车辆。资源整理自网络，源地址：https://github.com/manfreddiaz/awesome-autonomous-vehicles ...

A list of Go projects

G-VAR

07-29

5526

Indexes and search engines These sites provide indexes and search engines for Go packages: godoc.orggo-searchgowalkerSourcegraph Contributing To edit this page you must be a contributor to

g++的英文版使用说明和选项

Lionel的专栏

08-17

2800

使用g++ -v --help可以列出g++的所有可选项当然脚本最香了 g++ -v --help >> lionel.txt Usage: g++ [options] file... Options: -pass-exit-codes Exit with highest error code from a phase. --help Display this information. --target-help

Experimental demonstration of RSOA-based WDM PON with PPM-encoded downstream signals

02-09

Pulse position modulation (PPM) is introduced downstream of the reflective semiconductor optical amplifier (RSOA)-based single-fiber full-duplex bidirectional wavelength division multiplex passive ...

Numerical and experimental investigations of chirped-gratings-based Bragg-reflecting-coupler with multiple couple lengths

02-21

Both numerical and experimental results demonstrate that signals outside of the gratings' stopband can be guided to any of transmission ports by adjusting the couple length. But for signals ...

Experimental validation of domain-level gradient-based and hierarchical PCE-based routing and control in heterogeneous optical networks

02-05

A domain-level gradient-based routing (DLR) algorithm for heterogeneous optical networks with synchronous digital hierarchy and optical transport network domains is proposed and experimentally ...

Experimental study of needle-tissue interaction forces.pdf

07-08

Experimental study of needle-tissue interaction forces: effect of needle geometries, insertion methods and tissue characteristics. it used to study the needle insertion force and the influence of ...

Experimental Demonstration of Long-Distance Analog Transmission over Few-Mode Fibers

02-07

He Wen, Hongjun Zheng, Benyuan Zhu and Guifang Li, Experimental Demonstration of Long-Distance Analog Transmission over Few-Mode Fibers, OFC 2015 Conference on Optical Fiber Communication - OFC, Los ...

软件测试学习笔记丨Vue常用指令-条件渲染（v-if）

ceshiren_com的博客

11-05

637

v-show只是简单控制dom元素的display属性。v-if通过操纵dom元素来进行切换显示。

【IC每日一题：IC验证面试常问-3】

li_kin的博客

11-07

751

IC验证常问问题

SpringBoot框架下的城镇住房保障系统

2402_85761468的博客

11-07

1139

在整个系统测试中，根据需求文档和设计文档，逐一对功能进行检测并写好测试用例，有效避免残片缺陷，因为产品出现缺陷不仅影响功能，而且可以导致数据的不准确，导致产品质量的降低，经过测试，才能使得产品的稳定性和成熟度得到极大的提升，产品质量也才有保证。近来，软件工程界趋向于一种新的观点，即认为软件生命周期每一阶段中都应包含测试，从而检验本阶段的成果是否接近预期的目标，尽可能早的发现错误并加以修正，如果不在早期阶段进行测试，错误的延时扩散常常会导致最后成品测试的巨大困难。任务：消除软件故障，保证程序的可靠运行。

SpringBoot助力的共享汽车业务优化系统