检索结果-内蒙古大学图书馆

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

ISBN: (纸本)9789811088483;9789811088476

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 cleanroom software engineering reference model, 1996, [1]). Similar to the concept of hardware cleanrooms, this model is also used for the development of zero defect and extremely reliable software (Mills, Poore, in Quality Progress, 1988, [2]). statistical usage testing (SUT) is a technique defined for testing as a part of CSE model [1]. The technique works by performing usage modelling and assigning usage probabilities (Runeson, Wohlin in IEEE Trans Softw Eng 20(6): 494-499, 1994, [3]). Next statistical tests are carried out on the usage models [3]. CSE relies on SUT for testing, and unit testing is not defined in the CSE process (Hausler et al. in IBM Syst J 33(1): 89, 109, 1994, [4]). However, additional testing can be carried out along with SUT depending on the need (Prowell et al. in cleanroom software engineering technology and process, 1999, [5]). The paper presents the usefulness and advantages of applying SUT along with various white box testing techniques. The white box testing techniques used in the paper are data flow testing, control flow testing and mutation testing.

关键词： statistical usage testing White box testing Data flow testing Control flow testing Mutation testing

来源：评论

学校读者我要写书评

暂无评论

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 and Wohlin, IEEE Trans Softw Eng 20: 494-499, 1994). The failure data from testing is then used in a software reliability model to certify the reliability of the software. The main purpose of SUT is to test a software product from a user's point of view. Hence, usage models are designed and then test cases are developed from the models (Prowell et al., Cleanroom software engineering technology and process, 1999). The paper tests Apache OpenOffice Writer using SUT Technique. The paper makes use of two software RAM Commander and ITEM toolkit for testing. In this paper, Markov chains are used to represent the usage models. The development of usage Markov Chain, the testing Markov Chain and incorporation of failure data is done using the same software. The paper also discusses the analytical results of applying SUT and its impact on software reliability.

关键词： statistical usage testing Apache OpenOffice Writer Markov chain Cleanroom software engineering RAM Commander ITEM

来源：评论

学校读者我要写书评

暂无评论

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 certification.(2) 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.(15) The paper shows the usage of SUT in conjunction with other black box testing techniques. Other types of testing can be performed along with SUT depending on the requirement. Use of other testing techniques can be essential to show specific scenarios of use or to attain full usage model coverage with reduced test cases.(17) The paper also presents the effectiveness of applying SUT in conjunction with other black box testing techniques by using various test cases. Other black box testing techniques used include Equivalence Class Partitioning (ECP), Boundary Value Analysis (BVA), Cause Effect Graphing (CEG), Use Case testing (UCT) and Orthogonal Array testing (OATS).

关键词： statistical usage testing black box testing equivalence class partitioning boundary value analysis cause effect graphing use case testing Orthogonal Array testing

来源：评论

学校读者我要写书评

暂无评论

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 comprise a set of states and a set of state transitions that are annotated with probability values. These values steer the test case generation process, which aims at covering the most probable paths. RIMA refines these models in 3 steps. First, it updates transition probabilities based on a collected usage profile. Second, it updates the resulting models based on fault likelihood at each state, which is estimated based on static code analysis. Third, it performs updates based on error likelihood at each state, which is estimated with dynamic analysis. The approach is evaluated with two industrial case studies for testing digital TVs and smart phones. Results show that the approach increases test efficiency by revealing more faults in less testing time.

关键词： Model-based testing Model refinement statistical usage testing Risk-based testing Industrial case study Software test automation

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)9781538663523

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 probabilities. These probabilities are iteratively updated based on estimations of risk of failure. Test cases are generated and executed after each model refinement step to detect new faults in less time. The approach was evaluated in the context of two industrial case studies conducted for testing smart TV and smart phone systems. In this paper, we present results of a third case study, where we apply that approach for model-based testing of washing machine software. We define new types of risks for this particular application, which are estimated based on the number of configuration options and power consumption. As a result, the overall test duration was decreased with risk-driven model-based testing although the number of detected faults did not increase.

关键词： model-based testing model refinement statistical usage testing risk-based testing industrial case study software test automation

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)9781509036745

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-step model refinement approach. We represent test models in the form of Markov chains. First, we update state transition probabilities in these models based on usage profile. Second, we perform an update based on fault likelihood that is estimated with static code analysis. Our third update is based on error likelihood that is estimated with dynamic analysis. We generate and execute test cases after each refinement. We applied our approach for model-based testing of a Smart TV system and new faults were revealed after each refinement.

关键词： model-based testing model refinement statistical usage testing risk-based testing industrial case study software test automation

来源：评论

学校读者我要写书评

暂无评论

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 independent threads/processes, such as MapReduce and Java 3.0 workers, or Erlang processes, respectively. testing and verification is a critical phase in the development of such software products. Objective: Generating test cases based on operational profiles and certifying declared operational reliability figure of the given software product is a well-established process for the sequential type of software. This paper proposes an adaptation of that process for a class of massively parallel software - large-scale task trees. Method: The proposed method uses statistical usage testing and operational reliability estimation based on operational profiles and novel test suite quality indicators, namely the percentage of different task trees and the percentage of different paths. Results: As an example, the proposed method is applied to operational reliability certification of a parallel software infrastructure named the TaskTreeExecutor. The paper proposes an algorithm for generating random task trees to enable that application. Test runs in the experiments involved hundreds and thousands of Win32/Linux threads thus demonstrating scalability of the proposed approach. For practitioners, the most useful result presented is the method for determining the number of task trees and the number of paths, which are needed to certify the given operational reliability of a software product. The practitioners may also use the proposed coverage metrics to measure the quality of automatically generated test suite. Conclusion: This paper provides a useful solution for the test case generation that enables the operational reliability certification process for a class of massively parallel software called the large-scale task trees. The usefulness of this solution was demonstr

关键词： Massively parallel software statistical usage testing Test case generation Operational reliability

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)0769525466

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 environment augmented with the class FSMSystem. The approach is based on the working environment that has been proven on a number of real-world projects. The working environment is created with the following set of tools: generic modeling environment with the operational profile model paradigm registered to it, operational profile model interpreter, generic test case generator, test case compiler, and the unit testing framework JUnit extended with the class TestBed that acts as both test driver and stub thus providing the complete test harness. In the paper we present the methodology of the model-based statistical usage testing of a class of communication protocol implementations, the tools that support this methodology, and the case study - the model based statistical usage testing of SIP INVITE client transaction, a part of the SIP protocol stack.

关键词： generic modeling environment statistical usage testing operational profile test cases software reliability test case generator test bed test harness

来源：评论

学校读者我要写书评

暂无评论

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 values that are attached to the state transitions. In this paper we present a constraint-based polyhedron approach to calculate the probability distribution for the MCUM from a given set of usage constraints. Comparing the computed probability distributions of our polyhedron approach with the maximum entropy technique shows that our result is much closer to the intented constraint semantics. Using the polyhedron method, customer profiles can be calculated so that they reflect the intended system usage of different customers or customer types much better. In order to demonstrate the applicability of our approach, workflow testing of a complex RIS/PACS system in the medical domain was carried through and yielded very promising results.

关键词： statistical usage testing Markov chain usage model profile generation metrics medical application domain

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)0769523080

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 testing is based on operational profile, essentially Markov process of a si,stein under test. The measure of the quality is reliability of a system, i.e. mean-time-to-failure. The key part of statistical testing is automatic production of test cases in accordance to a given operational profile of the tested system. This problem has been widely addressed in literature, however there is still the need for additional research efforts in this area. In this paper we present the original model-based working environment for production of statistical test cases. The front-end of the environment is the generic modeling environment with our operational profile modeling paradigm registered to it. The back-end of the environment consists of operational profile model interpreter and a generic test case generator. The generic test case generator is the key component of the environment. It consists qf previously developed test case generator engine and a newly developed generic emulator. The generic emulator is capable of emulating any system under test. The complete back-end of the environment has been written in Java programming environment.

关键词： statistical usage testing operational profile test cases software reliability test case generator large-scale embedded systems

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：