3,516 research outputs found

    Software testing education and training in Hong Kong

    Get PDF
    While the use of computer applications is widely spread in every business and, hence, the reliability of software is critical, it is believed that many organizations involved in software development do not take software testing sufficiently seriously as an important task. It is worthwhile to find out how far organizations are carrying out software testing in a systematic and structured manner or still taking on an ad-hoc approach. A survey was conducted to understand the software testing practices and the level of related education and training in Hong Kong. It was found that most testing team members did not have formal training in software testing. University curricula generally did not prepare graduates with enough coverage in software testing. It is proposed that a review of the current software engineering curricula in the universities to examine the coverage of software testing will be useful to the development of quality software. © 2005 IEEE.published_or_final_versio

    Contributions of tester experience and a checklist guideline to the identification of categories and choices for software testing

    Get PDF
    An early step for most black-box testing methods is to identify a set of categories and choices (or their equivalents) from the specification. The identification is often performed in an ad hoc manner, thus the quality of categories and choices is in doubt. Poorly identified categories and choices will affect the comprehensiveness of test cases. In this paper, we describe several comparative studies using three commercial specifications and discuss the major results. The objectives of our studies are (a) to investigate the differences in the types and amounts of mistakes made between inexperienced and experienced software testers in an ad hoc identification approach and (b) to determine the extent of mistake reduction after discussing the mistakes with the software testers and providing them with an identification checklist. © 2010 The Author(s).published_or_final_versionSpringer Open Choice, 31 May 201

    Accurate measurement of stiffness of leukemia cells and leukocytes using an optical trap by rate-jump method

    Get PDF
    Accurate measurement of the elastic modulus of soft biological cells in the micro/nano scale range is still a challenging task. Tests involving constant-rate loading often yield results that are rate dependent, due to the viscous component of the deformation. In this work, a rate-jump indentation method was employed in an optical tweezers system to measure the stiffness of non-adherent blood cells, which are the softest types of cells. Compared to the traditional Hertzian method of indentation, the rate-jump method is found to be able to yield invariant elastic modulus from K562 myelogenous leukemia cells. The optical tweezers indentation method proposed can therefore serve as a standard protocol for obtaining the intrinsic elastic modulus of extremely soft cells, with applied forces in the pico-newton range. This method is also found to be effective in grading the stiffness values of myelogenous leukemia cell lines (K562 and HL60) and normal leukocytes, indicating that it can be used to identify normal cells from diseased counterparts without biochemical analysis.postprin

    On the identification of categories and choices for specification-based test case generation

    Get PDF
    HKU CS Tech Report TR 2004-02The category-partition method and the classification-tree method help construct test cases from specifications. In both methods, an early step is to identify a set of categories (or classifications) and choices (or classes). This is often performed in an ad hoc manner due to the absence of systematic techniques. In this paper, we report and discuss three empirical studies to investigate the common mistakes made by software testers in such an ad hoc approach. The empirical studies serve three purposes: (a) to make the knowledge of common mistakes known to other testers so that they can avoid repeating the same mistakes, (b) to facilitate researchers and practitioners develop systematic identification techniques, and (c) to provide a means of measuring the effectiveness of newly developed identification techniques. Based on the results of our studies, we also formulate a checklist to help testers detect such mistakes. © 2004 Elsevier B.V. All rights reserved.postprin

    Transverse Magnetoresistance of GaAs/AlGaAs Heterojunctions in the Presence of Parallel Magnetic Fields

    Full text link
    We have calculated the resistivity of a GaAs\slash AlGaAs heterojunction in the presence of both an in--plane magnetic field and a weak perpendicular component using a semiclassical Boltzmann transport theory. These calculations take into account fully the distortion of the Fermi contour which is induced by the parallel magnetic field. The scattering of electrons is assumed to be due to remote ionized impurities. A positive magnetoresistance is found as a function of the perpendicular component, in good qualitative agreement with experimental observations. The main source of this effect is the strong variation of the electronic scattering rate around the Fermi contour which is associated with the variation in the mean distance of the electronic states from the remote impurities. The magnitude of the positive magnetoresistance is strongly correlated with the residual acceptor impurity density in the GaAs layer. The carrier lifetime anisotropy also leads to an observable anisotropy in the resistivity with respect to the angle between the current and the direction of the in--plane magnetic field.Comment: uuencoded file containing a 26 page RevTex file and 14 postscript figures. Submitted to Phys. Rev.

    Heat flow method to Lichnerowicz type equation on closed manifolds

    Full text link
    In this paper, we establish existence results for positive solutions to the Lichnerowicz equation of the following type in closed manifolds -\Delta u=A(x)u^{-p}-B(x)u^{q},\quad in\quad M, where p>1,q>0p>1, q>0, and A(x)>0A(x)>0, B(x)0B(x)\geq0 are given smooth functions. Our analysis is based on the global existence of positive solutions to the following heat equation {ll} u_t-\Delta u=A(x)u^{-p}-B(x)u^{q},\quad in\quad M\times\mathbb{R}^{+}, u(x,0)=u_0,\quad in\quad M with the positive smooth initial data u0u_0.Comment: 10 page

    Imaging rotational dynamics of nanoparticles in liquid by 4D electron microscopy

    Get PDF
    In real time and space, four-dimensional electron microscopy (4D EM) has enabled observation of transient structures and morphologies of inorganic and organic materials. We have extended 4D EM to include liquid cells without the time resolution being limited by the response of the detector. Our approach permits the imaging of the motion and morphological dynamics of a single, same particle on nanometer and ultrashort time scales. As a first application, we studied the rotational dynamics of gold nanoparticles in aqueous solution. A full transition from the conventional diffusive rotation to superdiffusive rotation and further to a ballistic rotation was observed with increasing asymmetry of the nanoparticle morphology. We explored the underlying physics both experimentally and theoretically according to the morphological asymmetry of the nanoparticles

    A people-oriented paradigm for smart cities

    Get PDF
    Most works in the literature agree on considering the Internet of Things (IoT) as the base technology to collect information related to smart cities. This information is usually offered as open data for its analysis, and to elaborate statistics or provide services which improve the management of the city, making it more efficient and more comfortable to live in. However, it is not possible to actually improve the quality of life of smart cities’ inhabitants if there is no direct information about them and their experiences. To address this problem, we propose using a social and mobile computation model, called the Internet of People (IoP) which empowers smartphones to recollect information about their users, analyze it to obtain knowledge about their habits, and provide this knowledge as a service creating a collaborative information network. Combining IoT and IoP, we allow the smart city to dynamically adapt its services to the needs of its citizens, promoting their welfare as the main objective of the city.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

    Molecular Identification of Spirometra erinaceieuropaei Tapeworm in Cases of Human Sparganosis, Hong Kong

    Get PDF
    Human sparganosis is a foodborne zoonosis endemic in Asia. We report a series of 9 histologically confirmed human sparganosis cases in Hong Kong, China. All parasites were retrospectively identified as Spirometra erinaceieuropaei. Skin and soft tissue swelling was the most common symptom, followed by central nervous system lesions.published_or_final_versio

    Imaging rotational dynamics of nanoparticles in liquid by 4D electron microscopy

    Full text link
    corecore