Dynamic Software Testing Models

被引：0

作者：

Danilov, A. I. ^{[1
]}

Khomonenko, A. D. ^{[1
]}

Danilov, A. A. ^{[2
]}

机构：

[1] Petersburg State Transport Univ, St Petersburg, Russia

[2] Petersburg Nokia Solut & Networks, St Petersburg, Russia

来源：

2015 XVIII International Conference on Soft Computing and Measurements (SCM) | 2015年

关键词：

models; software; error detection probability; labeled graphs; probability process parameters; strategies; OBJECT-ORIENTED DESIGN; METRICS;

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

Three dynamic process models (strategies) for software testing are offered, which provides the ability to use probabilities of error detection for each module. Labeled graphs, systems of differential equations, probability parameters of test processes and software testing states for these strategies are provided. Results for computational experiments are described.

引用

页码：72 / 74

页数：3

共 50 条

[1] Dynamic software security testing
Stytz, MR
Banks, SB
[J]. IEEE SECURITY & PRIVACY, 2006, 4 (03) : 77 - 79
[2] Models for synchronous software testing
Lakehal, A
Ouabdesselam, F
Parissis, I
Vassy, J
[J]. SIVOES-MODEVA 2004, PROCEEDINGS, 2004, : 41 - 50
[3] Explicit models for dynamic software
Bosloper, Ivor
Siljee, Johanneke
Nijhuis, Jos
[J]. 5TH WORKING IEEE/IFIP CONFERENCE ON SOFTWARE ARCHITECTURE, PROCEEDINGS, 2006, : 293 - +
[4] DYNATEST, a dynamic system for testing software
Pheanis, DC
Jackson, JA
[J]. COMPUTERS AND THEIR APPLICATIONS: PROCEEDINGS OF THE ISCA 12TH INTERNATIONAL CONFERENCE, 1997, : 66 - 69
[5] Bayesian graphical models for software testing
Wooff, DA
Goldstein, M
Coolen, FPA
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2002, 28 (05) : 510 - 525
[6] Using Software Testing to Repair Models
Radavelli, Marco
[J]. ESEC/FSE'2019: PROCEEDINGS OF THE 2019 27TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, 2019, : 1253 - 1255
[7] A SOFTWARE FOR PARAMETER ESTIMATION IN DYNAMIC MODELS
Yuceer, M.
Atasoy, I.
Berber, R.
[J]. BRAZILIAN JOURNAL OF CHEMICAL ENGINEERING, 2008, 25 (04) : 813 - 821
[8] Software testing processes as a linear dynamic system
Cai, Kai-Yuan
Dong, Zhao
Liu, Ke
[J]. INFORMATION SCIENCES, 2008, 178 (06) : 1558 - 1597
[9] Study of dynamic testing techniques for Ada software
Xu, Hong
Qian, Hongbing
Chen, Xi
[J]. Beijing Hangkong Hangtian Daxue Xuebao/Journal of Beijing University of Aeronautics and Astronautics, 1997, 23 (01): : 18 - 24
[10] Dynamic test composition in hierarchical software testing
Bergelson, Benny
Exmam, Iaakov
[J]. 2006 IEEE 24TH CONVENTION OF ELECTRICAL & ELECTRONICS ENGINEERS IN ISRAEL, 2006, : 37 - +

← 1 2 3 4 5 →