Testing Tools and Techniques: A Mini-Tutorial on Evaluation Methods for ASE

Author(s):  
Janice Singer
Author(s):  
Swapan Bhattacharya ◽  
Ananya Kanjilal ◽  
Sabnam Sengupta

Software testing has gained immense importance in the present competitive world of developing software more quickly, more efficiently and more accurately. Testing activity is carried out throughout the lifecycle of software development and not only towards the end of development. Time and effort required to correct errors, detected later is much more compared to those, which are detected earlier. This has direct impact on costs and has led to a splurge of research activities in this domain. Model-based testing has recently gained attention with the popularization of modeling itself. It refers to testing and test case generation based on a model that describes the behavior of the system. The OMG initiative MDA has revolutionized the way models would be used for software development. There are a number of modeling techniques in use today- some have formal syntax like Z, VDM while some are semi-formal like UML. We have made a comprehensive summary of a considerable number of research works on Model Based testing. First, the issues, challenges and problems of model based testing have been discussed. Then the different methods developed for testing or test case generation based on the models are summarized. Finally a list of model based testing tools used for testing has been collectively presented.


Author(s):  
Evon M. O. Abu-Taieh ◽  
Asim Abdel Rahman El Sheikh

This chapter introduces validation, verification, and testing tools and techniques pertaining to discrete event simulation. The chapter distinguishes between validation and verification within the context of discrete event simulation. Then, we will show the importance of such topic by revealing the amount research done in simulation validation and verification. The chapter subsequently discusses the reasons why simulation projects fail and the sources of simulation inaccuracies. Next, the chapter gives different taxonomies for validation, verification, and testing techniques (VV&T) for both types of simulation systems: object-oriented-based and algorithmic-based. Therefore, the chapter will present a translation of thirteen software-engineering practices suggested for simulation projects. Notwithstanding the significance of providing an objective assessment platform, as such, the chapter will shed light on the independence of VV&T pertaining to simulation systems.


2019 ◽  
Vol 127 (11) ◽  
pp. 870
Author(s):  
А.П. Владимиров ◽  
И.С. Каманцев ◽  
Н.А. Друкаренко ◽  
В.Н. Тришин ◽  
Л.А. Акашев ◽  
...  

Abstract On the basis of fragments of time-averaged speckle images registered with no stopping of cyclic loading, the features of nucleation, onset, and propagation of a crack in the bulk of a transparent prismatic sample with a sharp V-shaped notch have been found. It has been shown that the first signs of fatigue damage occur not at the top of the notch, but at a distance of 400 μm from it in the sample center within an area with a diameter of 200 μm. After the beginning of the development (“onset”) of the crack, the size of the zone of irreversible processes exhibits an increase by an order of magnitude. The distribution of the refractive index and the density around the crack has been studied based on changing speckle images and with the use of ellipsometry. It has been shown that the maximum value of relative change in density being at least 2 × 10^–3, is located near the crack. The speckle method can serve a basis for the development of nondestructive testing tools and techniques that make it possible to assess the time preceding crack onset according to the changing rate and the limiting values of the refractive index and material density, as well as according to other parameters affecting the change in the optical paths of waves within small areas about 10 μm in size.


1995 ◽  
Vol 10 (6) ◽  
pp. 245 ◽  
Author(s):  
Gang Luo ◽  
Robert L. Probert ◽  
Hasan Ural
Keyword(s):  

Author(s):  
Manbir Sandhu ◽  
Purnima, Anuradha Saini

Big data is a fast-growing technology that has the scope to mine huge amount of data to be used in various analytic applications. With large amount of data streaming in from a myriad of sources: social media, online transactions and ubiquity of smart devices, Big Data is practically garnering attention across all stakeholders from academics, banking, government, heath care, manufacturing and retail. Big Data refers to an enormous amount of data generated from disparate sources along with data analytic techniques to examine this voluminous data for predictive trends and patterns, to exploit new growth opportunities, to gain insight, to make informed decisions and optimize processes. Data-driven decision making is the essence of business establishments. The explosive growth of data is steering the business units to tap the potential of Big Data to achieve fueling growth and to achieve a cutting edge over their competitors. The overwhelming generation of data brings with it, its share of concerns. This paper discusses the concept of Big Data, its characteristics, the tools and techniques deployed by organizations to harness the power of Big Data and the daunting issues that hinder the adoption of Business Intelligence in Big Data strategies in organizations.


2018 ◽  
pp. 60-67
Author(s):  
Henrika Pihlajaniemi ◽  
Anna Luusua ◽  
Eveliina Juntunen

This paper presents the evaluation of usersХ experiences in three intelligent lighting pilots in Finland. Two of the case studies are related to the use of intelligent lighting in different kinds of traffic areas, having emphasis on aspects of visibility, traffic and movement safety, and sense of security. The last case study presents a more complex view to the experience of intelligent lighting in smart city contexts. The evaluation methods, tailored to each pilot context, include questionnaires, an urban dashboard, in-situ interviews and observations, evaluation probes, and system data analyses. The applicability of the selected and tested methods is discussed reflecting the process and achieved results.


2006 ◽  
Vol 126 (12) ◽  
pp. 1722-1729 ◽  
Author(s):  
Akeshi Takahashi ◽  
Haruo Koharagi ◽  
Satoshi Kikuchi ◽  
Kazumasa Ide ◽  
Kazuo Shima

Sign in / Sign up

Export Citation Format

Share Document