咨询与建议

限定检索结果

文献类型

  • 7 篇 期刊文献
  • 7 篇 会议

馆藏范围

  • 14 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 12 篇 工学
    • 9 篇 软件工程
    • 7 篇 计算机科学与技术...
    • 1 篇 电气工程
    • 1 篇 交通运输工程
    • 1 篇 安全科学与工程
  • 2 篇 管理学
    • 2 篇 管理科学与工程(可...
    • 1 篇 工商管理
  • 1 篇 经济学
    • 1 篇 应用经济学

主题

  • 14 篇 statistical usag...
  • 3 篇 cleanroom softwa...
  • 3 篇 model-based test...
  • 3 篇 risk-based testi...
  • 3 篇 software test au...
  • 3 篇 model refinement
  • 3 篇 industrial case ...
  • 2 篇 test cases
  • 2 篇 operational prof...
  • 2 篇 software reliabi...
  • 2 篇 test case genera...
  • 2 篇 formal specifica...
  • 2 篇 markov chain
  • 2 篇 black box testin...
  • 1 篇 ram commander
  • 1 篇 software quality...
  • 1 篇 correctness veri...
  • 1 篇 models
  • 1 篇 software process...
  • 1 篇 equivalence clas...

机构

  • 3 篇 ozyegin univ ist...
  • 3 篇 vestel elect man...
  • 2 篇 mohyal educ & re...
  • 2 篇 new delhi inst m...
  • 2 篇 amity univ amity...
  • 1 篇 q-labs gmbh tech...
  • 1 篇 department of co...
  • 1 篇 faa tech ctr atl...
  • 1 篇 univ novi sad fa...
  • 1 篇 univ erlangen nu...
  • 1 篇 univ novi sad fa...
  • 1 篇 new delhi inst m...
  • 1 篇 mohyal educ & re...
  • 1 篇 sepp med gmbh ro...
  • 1 篇 software enginee...
  • 1 篇 amity univ noida
  • 1 篇 univ novi sad fa...
  • 1 篇 ibm cleanroom so...
  • 1 篇 teradyne sst nas...
  • 1 篇 amity univ amity...

作者

  • 3 篇 khatri sunil kum...
  • 3 篇 gebizli ceren sa...
  • 3 篇 sozer hasan
  • 3 篇 kaur kamaldeep
  • 2 篇 kirkici abdulhad...
  • 2 篇 datta rattan
  • 1 篇 basicevic i.
  • 1 篇 holpp stefan
  • 1 篇 tatic jelena
  • 1 篇 shing‐kai hon
  • 1 篇 dulz winfried
  • 1 篇 smith g
  • 1 篇 velikic i
  • 1 篇 fietkiewicz r
  • 1 篇 datta rattan k.
  • 1 篇 basicevic ilija
  • 1 篇 ercan ali ozer
  • 1 篇 popovic m
  • 1 篇 richard c. linge...
  • 1 篇 velikic ivan

语言

  • 13 篇 英文
  • 1 篇 其他
检索条件"主题词=Statistical usage testing"
14 条 记 录,以下是1-10 订阅
排序:
Applying statistical usage testing Along with White Box testing Techniques  50th
Applying Statistical Usage Testing Along with White Box Test...
收藏 引用
50th Annual Convention of the Computer-Society-of-India (CSI) on Digital Life
作者: Khatri, Sunil Kumar Kaur, Kamaldeep Datta, Rattan Amity Univ Amity Inst Informat Technol Noida India New Delhi Inst Management Dept Comp Sci New Delhi India Mohyal Educ & Res Inst Technol Delhi India
Cleanroom software engineering (CSE) reference model is a rigorous incremental model that focuses on defect prevention using sound mathematical principles combined with statistical usage testing (Linger, Trammell, in ... 详细信息
来源: 评论
testing Apache OpenOffice Writer using statistical usage testing technique
收藏 引用
INTERNATIONAL JOURNAL OF SYSTEM ASSURANCE ENGINEERING AND MANAGEMENT 2015年 第1期6卷 3-17页
作者: Khatri, Sunil Kumar Kaur, Kamaldeep Datta, Rattan Amity Univ Amity Inst Informat Technol Noida Uttar Pradesh India New Delhi Inst Management Dept Comp Sci New Delhi India Mohyal Educ & Res Inst Technol Delhi India
statistical usage testing (SUT) technique is the testing technique defined it cleanroom software engineering. It based on developing the usage models and then performing statistical tests on the usage models (Runeson ... 详细信息
来源: 评论
Using statistical usage testing in Conjunction with Other Black Box testing Techniques
收藏 引用
INTERNATIONAL JOURNAL OF RELIABILITY QUALITY AND SAFETY ENGINEERING 2015年 第1期22卷 1550004-1550004页
作者: Khatri, Sunil Kumar Kaur, Kamaldeep Datta, Rattan K. Amity Univ Amity Inst Informat Technol Noida India New Delhi Inst Management New Delhi India Amity Univ Noida India Mohyal Educ & Res Inst Technol New Delhi India
Cleanroom methodology is a scrupulous incremental software development approach(16) for the development of zero defect and high-reliability software using box structure specification, statistical quality control and c... 详细信息
来源: 评论
Increasing test efficiency by risk-driven model-based testing
收藏 引用
JOURNAL OF SYSTEMS AND SOFTWARE 2018年 144卷 356-365页
作者: Gebizli, Ceren Sahin Kirkici, Abdulhadi Sozer, Hasan Vestel Elect Manisa Turkey Ozyegin Univ Istanbul Turkey
We introduce an approach and a tool, RIMA, for adapting test models used for model-based testing to augment information regarding failure risk. We represent test models in the form of Markov chains. These models compr... 详细信息
来源: 评论
Risk-Driven Model-Based testing of Washing Machine Software: An Industrial Case Study  11
Risk-Driven Model-Based Testing of Washing Machine Software:...
收藏 引用
11th IEEE International Conference on Software testing, Verification and Validation (ICST)
作者: Kirkici, Abdulhadi Gebizli, Ceren Sahin Sozer, Hasan Vestel Elect Manisa Turkey Ozyegin Univ Istanbul Turkey
We previously introduced an approach for risk-driven model-based testing. In that approach, test models are represented in the form of Markov chains and test case generation is steered by state transition probabilitie... 详细信息
来源: 评论
Successive Refinement of Models for Model-Based testing to Increase System Test Effectiveness  9
Successive Refinement of Models for Model-Based Testing to I...
收藏 引用
9th IEEE International Conference on Software testing, Verification and Validation (ICST)
作者: Gebizli, Ceren Sahin Sozer, Hasan Ercan, Ali Ozer Vestel Elect Manisa Turkey Ozyegin Univ Istanbul Turkey
Model-based testing is used for automatically generating test cases based on models of the system under test. The effectiveness of tests depends on the contents of these models. Therefore, we introduce a novel three-s... 详细信息
来源: 评论
Test case generation for the task tree type of architecture
收藏 引用
INFORMATION AND SOFTWARE TECHNOLOGY 2010年 第6期52卷 697-706页
作者: Popovic, M. Basicevic, I. Univ Novi Sad Fac Tech Sci Novi Sad 21000 Serbia
Context: Emerging multicores and clusters of multicores that may operate in parallel have set a new challenge - development of massively parallel software composed of thousands of loosely coupled or even completely in... 详细信息
来源: 评论
A model-based statistical usage testing of communication protocols
A model-based statistical usage testing of communication pro...
收藏 引用
13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems
作者: Popovic, Miroslav Basicevic, Ilija Velikic, Ivan Tatic, Jelena Univ Novi Sad Fac Engn Dept Comp & Control Trg D Obradovica 6 Novi Sad 21000 Serbia Monteneg
In this paper we present our original approach to the model-based statistical usage testing of a class of communication protocol implementations that are based on the State design pattern and Java programming environm... 详细信息
来源: 评论
A Polyhedron Approach to Calculate Probability Distributions for Markov Chain usage Models
收藏 引用
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 2010年 第3期264卷 19-35页
作者: Dulz, Winfried Holpp, Stefan German, Reinhard Univ Erlangen Nurnberg Dept Comp Sci 7 Erlangen Germany Sepp Med gmbh Roettenbach Germany
statistical usage testing of hardware/software systems is based in the main on a Markov chain usage model. This kind of model represents the expected use of the system by a usage profile, i.e. appropriate probability ... 详细信息
来源: 评论
A generic model-based test case generator
A generic model-based test case generator
收藏 引用
12th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems
作者: Popovic, M Velikic, I Univ Novi Sad Fac Engn Dept Comp & Control YU-21000 Novi Sad Serbia Serbia Monteneg
statistical usage testing, also referred to as the statistical testin or behavioral testing, is today recognized as a de facto industry standard for quality assessment of large-scale embedded systems. statistical test... 详细信息
来源: 评论