Loading...
Search for:
coverage
0.007 seconds
Total 105 records
Program state coverage: A test coverage metric based on executed program states
, Article 26th IEEE International Conference on Software Analysis, Evolution, and Reengineering, SANER 2019, 24 February 2019 through 27 February 2019 ; 2019 , Pages 584-588 ; 9781728105918 (ISBN) ; Jalali, S ; Mahdieh, M ; Mirian Hosseinabadi, S. H ; Sharif University of Technology
Institute of Electrical and Electronics Engineers Inc
2019
Abstract
In software testing, different metrics are proposed to predict and compare test suites effectiveness. In this regard, Mutation Score (MS) is one of most accurate metrics. However, calculating MS needs executing test suites many times and it is not commonly used in industry. On the other hand, Line Coverage (LC) is a widely used metric which is calculated by executing test suites only once, although it is not as accurate as MS in terms of predicting and comparing test suites effectiveness. In this paper, we propose a novel test coverage metric, called Program State Coverage (PSC), which improves the accuracy of LC. PSC works almost the same as LC and it can be calculated by executing test...
A new method for coverage in wireless sensor networks
, Article 8th IEEE International Symposium on Dependable, Autonomic and Secure Computing, DASC 2009, 12 December 2009 through 14 December 2009, Chengdu ; 2009 , Pages 369-372 ; 9780769539294 (ISBN) ; Barati, A ; Movaghar, A ; Sharif University of Technology
Abstract
The manner of organizing the sensors in the wireless sensor network for increasing the capability and optimized using of the sensors is of great importance. Hence considering coverage parameter in every Wireless Sensor Network (WSN) is extremely essential and critical. The matter of overlapping covered area by sensors in 2D space had been considered until now. This paper is suggested a pattern in which no more are the sensors located at the same surface, but using the 3D geometrical figures like cube, pyramid and etc, in which the sensors were spreading about the different surfaces. Locating the sensors on the different surfaces can be useful under conditions where the space is not in same...
Statement frequency coverage: A code coverage criterion for assessing test suite effectiveness
, Article Information and Software Technology ; Volume 129 , 2021 ; 09505849 (ISSN) ; Mirian Hosseinabadi, S. H ; Jalali, S ; Sharif University of Technology
Elsevier B.V
2021
Abstract
Context: Software testing is a pivotal activity in the development of high-quality software. As software is evolving through its life cycle, the need for a fault-revealing criterion assessing the effectiveness of the test suite grows. Over the years, researchers have proposed coverage-based criteria, including statement and branch coverage, to solve this issue. In literature, the effectiveness of such criteria is attested in terms of their correlations with the mutation score. Objective: In this paper, we aim at proposing a coverage-based criterion named statement frequency coverage, which outperforms statement and branch coverage in terms of correlation with mutation score. Method: To this...
Statement frequency coverage: A code coverage criterion for assessing test suite effectiveness
, Article Information and Software Technology ; Volume 129 , 2021 ; 09505849 (ISSN) ; Mirian Hosseinabadi, S. H ; Jalali, S ; Sharif University of Technology
Elsevier B.V
2021
Abstract
Context: Software testing is a pivotal activity in the development of high-quality software. As software is evolving through its life cycle, the need for a fault-revealing criterion assessing the effectiveness of the test suite grows. Over the years, researchers have proposed coverage-based criteria, including statement and branch coverage, to solve this issue. In literature, the effectiveness of such criteria is attested in terms of their correlations with the mutation score. Objective: In this paper, we aim at proposing a coverage-based criterion named statement frequency coverage, which outperforms statement and branch coverage in terms of correlation with mutation score. Method: To this...
Distributed algorithms for power saving optimization in sensor network
, Article Proceedings of the 8th WSEAS International Conference on Data Networks, Communications, Computers, DNCOCO '09, 7 November 2009 through 9 November 2009 ; 2009 , Pages 109-115 ; 9789604741342 (ISBN) ; Mousavi, M ; Movaghar, A ; Sharif University of Technology
Abstract
Sensor networks have a wide range of potential and practical application. A sensor network consists of a large number of tiny, low power and short-living sensors. Some sensor network applications require k-coverage to ensure the quality of surveillance. Meanwhile, energy is another primary concern for sensor networks. In this dissertation, an algorithm proposed which groups sensors in to disjoint subsets. Every subset cans k-cover the whole area. The subsets are scheduled to work successively. Therefore, the network lifetime is prolonged. Furthermore, sensing range is fixed. Also another algorithm, proposed which constructs some non-disjoint subsets, and in each active subset, each sensor...
Roles of surface coverage increase and re-peening on properties of AISI 1045 carbon steel in conventional and severe shot peening processes
, Article Surfaces and Interfaces ; Volume 11 , 2018 , Pages 82-90 ; 24680230 (ISSN) ; Unal, O ; Sharif University of Technology
Elsevier B.V
2018
Abstract
Surface coverage as one of the most effective parameters of shot peening process has substantial influence on the functionality of the peened component. The aim of this study is to investigate the effects of surface coverage increase on the properties of treated specimens experimentally before and after re-shot peening. Different shot peening treatments from conventional to severe; were performed on the AISI 1045 steel. Microstructural observations and XRD measurements were applied to characterize the circumstance of microstructure changes. In order to investigate the mechanical properties, microhardness profiles were achieved, surface roughness was evaluated and the residual stresses...
Finding the sensors location and the number of sensors in sensor networks with a genetic algorithm
, Article Proceedings of the 2008 16th International Conference on Networks, ICON 2008, 12 December 2008 through 14 December 2008, New Delhi ; 2008 ; 9781424438051 (ISBN) ; Mohammadi, M ; Movaghar, A ; Dehghan, M ; Sharif University of Technology
2008
Abstract
Sensor networks have recently emerged as a premier research topic. Sensor networks pose a number of new conceptual and optimization problems. Some, such as location, deployment, and tracking, are fundamental issues, in that many applications rely on them for needed information. While designing the sensor networks according to performed computation, the limited number of sensors to cover an area will be considered, so the proper placing of this limited number of sensors will cause costs to reduce regarding to coverage and development of the network in the next stage. In this paper we will present a genetic algorithm to solve the designing issue of the sensor network. The most important...
Online Unit Clustering in Two Dimensions
, M.Sc. Thesis Sharif University of Technology ; Zarrabi-Zadeh, Hamid (Supervisor)
Abstract
In the unit clustering problem, given a set of points on the plane, the goal is to group these points into minimum number of clusters of unit size. In the online version, the points arrive one by one and upon each point’s arrival, it must be assigned to some cluster. Another related problem is online unit covering in which moving clusters after opening them is not allowed. In this project, the online clustering and online unit covering problems are studied in two dimensional Euclidean space. An online algorithm with competitive ratio of 5 is presented for the online unit covering problem. In addition, lowerbounds of 2:5 and 4:66 are established for these problems
Finite element simulation of shot peening coverage with the special attention on surface nanocrystallization
, Article Procedia Engineering, 5 June 2011 through 9 June 2011 ; Volume 10 , 2011 , Pages 2464-2471 ; 18777058 (ISSN) ; Guagliano, M ; Farrahi, G. H ; Sharif University of Technology
2011
Abstract
The present study aims to challenge the existing finite element models in terms of one of the most important practical parameters, i.e. coverage. Important models from the literature are re-simulated and their resulted treated surfaces are carefully examined. Result of this study shows that existing finite element models could not reflect the realistic coverage. A variable dimension symmetry cell is developed in order to acquire full coverage and at the same time not increasing the computational cost. This model can successfully simulate the surface nanocrystallization by severe shot peening in which the amount of coverage is much higher than conventional shot peening
A Method for Evaluating Effectiveness of Test Cases
, M.Sc. Thesis Sharif University of Technology ; Mirian-Hosseinabadi, Hassan (Supervisor)
Abstract
One of the most important methods to ensure correct software and check the quality of software is software testing. One of the most important discussions about software testing is the effectiveness of a test suite. Manufacturers need a benchmark to determine the effectiveness of the test suite to stop the software testing process. The proposed solutions for determining the effectiveness are mutation testing and code coverage. The mutation test has a higher accuracy than the code coverage, but it takes a long time to calculate. This dissertation has tried to improve the existing solutions by presenting a new coverage that has a higher degree of accuracy than the proposed coverages in...
Experimental Evaluation of Light Frame Steel Shear Wall with K-Braced and Suitable Sheathing under Cyclic Loading
, M.Sc. Thesis Sharif University of Technology ; Rahimzadeh Rofooei, Fayyaz (Supervisor) ; Farahbod, Farhang (Supervisor)
Abstract
Nowadays because of imbalance in supply and demand in the house industry, industrialization of building construction is one of the best ways to solve this problem. Currently, there is a strong tendency to develop guidelines for the design of Cold-Formed Steel (CFS) with different sheathing boards as seismic resistant shear walls. Also, the behavior of this systems is not very well known yet and more research is needed. In this work three K-braced frames with and without sheathing boards under lateral cyclic loading investigated experimentally. The first specimen as a control specimen is without sheathing board, second specimen was sheathed with Fibre-Cement board in one side and gypsum board...
Coverage driven high-level test generation using a polynomial model of sequential circuits
, Article IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ; Volume 29, Issue 5 , 2010 , Pages 737-748 ; 02780070 (ISSN) ; Mirzaei, M ; Fujita, M ; Sharif University of Technology
Abstract
This paper proposes a high-level test generation method which considers the control part as well as data path of a register transfer level circuit as a set of polynomial functions to generate behavioral test patterns from faulty behavior instead of comparing the faulty and fault-free circuits based on a hybrid Boolean-word canonical representation called Horner expansion diagram. Since this set of polynomial functions express primary outputs and next states with respect to primary inputs and present states, it is not necessary to perform justification/propagation phase which leads to a minimum number of backtracks. It improves fault coverage and reduces test generation time over logic-level...
Optimization of Coverage in Wireless Sensor Networks in Uneven Environment
, M.Sc. Thesis Sharif University of Technology ; Manzuri Shalmani, Mohammad Taghi (Supervisor)
Abstract
Wireless sensor networks (WSNs) have recently achieved a great deal of attention due to its numerous attractive applications in many different fields. Sensors and WSNs possesses a number of special characteristics that make them very promising in many applications, but also put on them lots of constraints that make issues in sensor network particularly difficult. These issues may include topology control, routing, coverage, security, and data management. In this thesis, we focus our attention on the coverage problem. Firstly, we study the best current solutions in the literature. We choose one of them as the basis of our work and study it thoroughly as the core model of our coverage model....
Turbine Blades Material Selection Using “Fuzzy Logic” and Considering the “Aging” Effect
, M.Sc. Thesis Sharif University of Technology ; Abedian, Ali (Supervisor)
Abstract
Material selection is one of the most important works should be done prior to the designing of any part of the mechanical and/or nonmechanical structures. Various material selection methods, such as digital logic, modified digital logic, z-transformation and fuzzy logic, have been introduced and used in recent years. All these methods have some advantages and disadvantages in selection of appropriate materials. Since, all these methods exhibit some disadvantages, the main objective of thesis is to introduce the new method to reduce or eliminate the other method’s disadvantages with less complexity. The fuzzy logic method which is mostly used in this thesis will result in some problems due to...
Theoretical and Empirical Investigation on the Anticorrosion Performance of Smart Nano Composite Coating
, Ph.D. Dissertation Sharif University of Technology ; Shojaei, Akbar (Supervisor) ; Shariatpanahi, Homira (Supervisor) ; Neshati, Jaber (Co-Advisor)
Abstract
In the present study, smart anticorrosion coatings were successfully prepared based on epoxy ester (EPE) resin and conductive nano polyaniline particles (nES). Anticorrosion behaviors of these coatings were analyzed by electrochemical techniques. Generally, this thesis consists of two main parts: the theoretical studies (1st and 2nd Chaps.) and empirical investigations (3th to 8th Chaps.).The first Chap. expresses a basic introduction about the corrosion concepts and different types of anticorrosion coating. In the second Chap. main goals and stage works of the thesis about the smart anticorrosion coatings are introduced considering literature researches. The subject of the 3th Chap. is...
Maximum WSN coverage in environments of heterogeneous path loss
, Article International Journal of Sensor Networks ; Volume 16, Issue 3 , 1 January , 2014 , Pages 185-198 ; ISSN: 17481279 ; Salehe, M ; MacGregor, M. H ; Sharif University of Technology
Abstract
We study wireless sensor network (WSN) node placement in an environment where RF signal losses vary with position. This reflects real-world outdoor environments where vegetation and topography cause nonuniform path loss. Many techniques that solve for a variety of objective functions subject to various constraints have previously been proposed for node placement. However, many of these methods make simplifying assumptions such as all nodes having the same transmission range. Our goal is to take the insights and approaches of this previouswork and extend it to real-world environments. The present work assumes we have a map that quantifies the path loss behaviour of the real environment. Based...
Efficiency analysis of shot peening parameters on variations of hardness, grain size and residual stress via taguchi approach
, Article Metals and Materials International ; Volume 25, Issue 6 , 2019 , Pages 1436-1447 ; 15989623 (ISSN) ; Unal, O ; Reza Kashyzadeh, K ; Sharif University of Technology
Korean Institute of Metals and Materials
2019
Abstract
In the present study, the main purpose is to detect the most key factors of shot peening (SP) process on the microhardness, grain size, and residual stress of AISI 1060 high carbon steel. The specimens were treated using various types of SP process namely conventional shot peening and severe shot peening. Several experiments were performed to study metallurgical and mechanical properties of AISI 1060 steel. Almen intensity and surface coverage from one side and microhardness, grain size, and residual stress from the other side were considered as input and output parameters for the design of experiment methodology, respectively. The L18(21and31) mixed level of Taguchi orthogonal array design...
GABIST: A new methodology to find near optimal LFSR for BIST structure
, Article 14th IEEE International Conference on Electronics, Circuits and Systems, ICECS 2007, Marrakech, 11 December 2007 through 14 December 2007 ; 2007 , Pages 1107-1110 ; 1424413788 (ISBN); 9781424413782 (ISBN) ; Salmani Jelodar, M ; Hessabi, S ; Sharif University of Technology
2007
Abstract
Fault coverage and test time have important roles in using Built in self-test (BIST). Two parameters are crucial and effective in BIST design: LFSR's polynomial (or configuration) and its initial seed. In this paper we propos a practical method for finding near optimal LFSR with genetic algorithm (GA) and show that LFSR is a good TPG compared with other TPGs. In this method, the candidate seeds are achieved through a deterministic approach, and an evolutionary approach is employed to obtain the LFSR configurations for the desired fault coverage under test time constraint. The configurations are encoded in binary chromosomes. The evolution process evolves the fittest configurations to achieve...
Error detection enhancement in COTS superscalar processors with performance monitoring features
, Article Journal of Electronic Testing: Theory and Applications (JETTA) ; Volume 20, Issue 5 SPEC.ISS , 2004 , Pages 553-567 ; 09238174 (ISSN) ; Miremadi, S. G ; Mohandespour, M ; Sharif University of Technology
2004
Abstract
Increasing use of commercial off-the-shelf (COTS) superscalar processors in industrial, embedded, and real-time systems necessitates the development of error detection mechanisms for such systems. This paper presents an error detection scheme called Committed Instructions Counting (CIC) to increase error detection in such systems. The scheme uses internal Performance Monitoring features and an external watchdog processor (WDP). The Performance Monitoring features enable counting the number of committed instructions in a program. The scheme is experimentally evaluated on a 32-bit Pentium® processor using software implemented fault injection (SWIFI). A total of 8181 errors were injected into...
A new approach for integrated coverage and connectivity in wireless sensor networks
, Article Computer Communications ; Volume 36, Issue 1 , Volume 36, Issue 1 , 2012 , Pages 113-120 ; 01403664 (ISSN) ; Bagheri Shouraki, S ; Hajiabdorahim, N ; Dadashnialehi, E ; Sharif University of Technology
2012
Abstract
An effective approach for energy conservation in wireless sensor networks is scheduling sleep intervals for extraneous nodes while the remaining nodes stay active to provide continuous service. For the sensor network to operates successfully, the active nodes must maintain both sensing coverage and network connectivity. It has been proved before if the communication range of nodes is at least twice the sensing range, complete coverage of a convex area implies connectivity among the working set of nodes. In this paper first we consider a rectangular region A = a * b, such that Rs≤a, Rs≤b where Rs is the sensing range of node, and put a constraint on minimum allowed distance between nodes (...