Towards a tool environment for model-based testing with AsmL

被引：0

作者：

Barnett, M ^{[1
]}

Grieskamp, W ^{[1
]}

Nachmanson, L ^{[1
]}

Schulte, W ^{[1
]}

Tillmann, N ^{[1
]}

Veanes, M ^{[1
]}

机构：

[1] Microsoft Res, Fdn Software Engn, Redmond, WA 98052 USA

来源：

FORMAL APPROACHES TO SOFTWARE TESTING | 2004年 / 2931卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

We present work on a toot environment for model-based testing with the Abstract State Machine Language (AsmL). Our environment supports semiautomatic parameter generation, call sequence generation and conformance testing. We outline the usage of the environment by an example, discuss its underlying technologies, and report on some applications conducted in the Microsoft environment.

引用

页码：252 / 266

页数：15

共 50 条

[1] A Model-Based Testing Tool for Embedded Software
Liu, Chien-Hung
Chen, Shu-Ling
Huang, Tien-Chi
[J]. 2012 SIXTH INTERNATIONAL CONFERENCE ON GENETIC AND EVOLUTIONARY COMPUTING (ICGEC), 2012, : 180 - 183
[2] PLeTsPerf - A Model-Based Performance Testing Tool
Rodrigues, Elder M.
Bernardino, Maicon
Costa, Leandro T.
Zorzo, Avelino F.
Oliveira, Flavio M.
[J]. 2015 IEEE 8TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), 2015,
[3] A Tool to Support Model-Based Testing Activities
Doi Junior, Gilson
Bonifacio, Adilson Luiz
[J]. 2011 BRAZILIAN SYMPOSIUM ON COMPUTING SYSTEM ENGINEERING (SBESC), 2011, : 21 - 26
[4] Towards an integrated, model-based codesign environment
Cunning, SJ
Ewing, TC
Olson, JT
Rozenblit, JW
Schulz, S
[J]. ECBS '99, IEEE CONFERENCE AND WORKSHOP ON ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 1999, : 136 - 143
[5] Towards model-based testing with architecture models
Schulz, Stephan
Honkola, Jukka
Huima, Antti
[J]. ECBS 2007: 14TH ANNUAL IEEE INTERNATIONAL CONFERENCE AND WORKSHOPS ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS: RAISING EXPECTATIONS OF COMPUTER-BASES SYSTEMS, 2007, : 495 - +
[6] Testing Environment Emulation - A Model-based Approach
Liu, Jian
Grundy, John
Abdelrazek, Mohamed
Avazpour, Iman
[J]. MODELSWARD: PROCEEDINGS OF THE 5TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT, 2017, : 112 - 124
[7] Component architecture of model-based testing environment
Kuliamin, V. V.
[J]. PROGRAMMING AND COMPUTER SOFTWARE, 2010, 36 (05) : 289 - 305
[8] Component architecture of model-based testing environment
V. V. Kuliamin
[J]. Programming and Computer Software, 2010, 36 : 289 - 305
[9] VERA: A flexible model-based vulnerability testing tool
Blome, Abian
Ochoa, Martin
Li, Keqin
Peroli, Michele
Dashti, Mohammad Torabi
[J]. 2013 IEEE SIXTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST 2013), 2013, : 471 - 478
[10] AutoFun: An Automated Model-based Functional Testing Tool
Domingues, Anderson
Rodrigues, Elder M.
Bernardino, Maicon
[J]. I BRAZILIAN SYMPOSIUM ON SYSTEMATIC AND AUTOMATED SOFTWARE TESTING (SAST 2016), 2016,

← 1 2 3 4 5 →