A User Interaction Bug Analyzer Based on Image

Context: Mobile applications support a set of user-interaction features that are independent of the application logic. Rotating the device, scrolling, or zooming are examples of such features. Some bugs in mobile applications can be attributed to user-interaction features. Objective: This paper proposes and evaluates a bug analyzer based on user-interaction features that uses digital image processing to find bugs. Method: Our bug analyzer detects bugs by comparing the similarity between images taken before and after a user-interaction. SURF, an interest point detector and descriptor, is used to compare the images. To evaluate the bug analyzer, we conducted a case study with 15 randomly selected mobile applications. First, we identified user-interaction bugs by manually testing the applications. Images were captured before and after applying each user-interaction feature. Then, image pairs were processed with SURF to obtain interest points, from which a similarity percentage was computed, to finally decide whether there was a bug. Results: We performed a total of 49 user-interaction feature tests. When manually testing the applications, 17 bugs were found, whereas when using image processing, 15 bugs were detected. Conclusions: 8 out of 15 mobile applications tested had bugs associated to user-interaction features. Our bug analyzer based on image processing was able to detect 88% (15 out of 17) of the user-interaction bugs found with manual testing.

软件属性保障中的源代码静态分析技术研究

随着硬件性能的不断提升，计算机正在被赋予越来越艰巨的任务，运行其上的软件作为沟通人类思维和底层硬件的桥梁，其重要性日益增加。与此同时，软件系统的规模也在不断变大，所涉及的逻辑也更为复杂，这导致开发人员难免会由于疏漏在软件设计实现的过程中引入缺陷、埋下隐患。所以,如何检验、确保软件的属性就成为时下一个亟待解决的热点问题。而在此背景下，源代码静态分析技术由于恰好可以弥补现有测试方法的不足，已经开始在这一研究领域崭露头角。有鉴于此，本文为了推进安全信息系统的研发，分别围绕源代码静态分析技术在软件属性保障中两个最主要的应用场景展开研究，涉及高等级安全操作系统开发过程中的源代码自动化审计，以及分布式信息系统中平台间互信建立时针对软件属性所进行的远程验证，其中，前者是为从深度上将现有安全操作系统向更高等级推进提供助力，而后者是为了从广度上将信息安全领域现有的围绕单机平台的研究成果向分布式架构推广建立基础。具体来说，本文选择针对编程接口规范的一致性检验和应用静态分析的软件属性远程验证作为研究的切入点，探讨了应用源代码静态分析技术检验、确保软件属性的方法和用途，主要取得以下几个方面的成果： 第一，本文给出了一个基于值等价类的别名分析方法。该方法依据相关的传值操作维护一个值等价类空间，可以在编程接口规范一致性检验的过程中按需推导变量符号间的等值关系，不仅有能力支持上下文相关、路径相关的全局分析，还可以有效应对C代码中因结构、指针等构件所衍生出来的大量变量符号。 第二，针对大部分现有代码静态分析工具分析规模受限的问题，本文围绕编程接口规范的一致性检验给出了可以与别名分析有效结合的性能优化方案。该方案不仅能通过剔除与分析无关的执行分支和引入缓存机制提高分析效率，还可以尽量确保分析的准确性少受影响。 第三，我们设计、实现了一个C代码静态分析工具ABAZER（A Bug AnalyZER）。该工具可以依据用户使用有限自动机模型描述的编程接口规范，对操作系统内核级别的软件进行全局分析，指出代码中可能有悖于规范的部分。我们使用ABAZER实际考查了FreeBSD内核中锁机制以及GCC 4.x中库GNU Libiberty的使用情况，从中发现了若干真实的缺陷。 第四，本文针对现有应用可信计算技术、基于完整性信息进行远程验证的方案在灵活性和实用性上所存在的不足，给出一个扩展方案。该方案通过引入虚拟机技术，在软件构建过程中收集举证信息，应用静态分析方法分析软件功能模块间的相关性，划分出与验证相关的模块，有效控制用户定制软件验证时所要依赖的可信列表的规模，使其有能力适应当今网络环境中的大量异质平台和各种安全需求。此外，它还可以为自身所依赖的可信计算基的替换和更新提供支持。 第五，本文针对Flask架构的特点，给出了一个既能检验强制访问控制实现正确性，又能最大限度保留软件灵活性、使得用户可以在一定程度上对软件进行定制的远程验证方案。该方案依赖源代码静态分析技术界定软件中无需基于完整性进行验证的模块，在进一步缩减可信列表规模的同时，使用代码改写技术在这些模块中自动化地插入监控代码约束软件的动态行为，以达到确保强制访问控制实现正确性的目的。该方案初步展现了源代码静态分析技术在远程验证中广阔的应用前景。

Bug reproduction : a collaborative practice within software maintenance activities

Software development settings provide a great opportunity for CSCW researchers to study collaborative work. In this paper, we explore a specific work practice called bug reproduction that is a part of the software bug-fixing process. Bug re-production is a highly collaborative process by which software developers attempt to locally replicate the ‘environment’ within which a bug was originally encountered. Customers, who encounter bugs in their everyday use of systems, play an important role in bug reproduction as they provide useful information to developers, in the form of steps for reproduction, software screenshots, trace logs, and other ways to describe a problem. Bug reproduction, however, poses major hurdles in software maintenance as it is often challenging to replicate the contextual aspects that are at play at the customers’ end. To study the bug reproduction process from a human-centered perspective, we carried out an ethnographic study at a multinational engineering company. Using semi-structured interviews, a questionnaire and half-a-day observation of sixteen software developers working on different software maintenance projects, we studied bug reproduction. In this pa-per, we present a holistic view of bug reproduction practices from a real-world set-ting and discuss implications for designing tools to address the challenges developers face during bug reproduction.

Identification of eusynstyelamide B as a potent cell cycle inhibitor following the generation and screening of an ascidian-derived extract library using a real time cell analyzer

Ascidians are marine invertebrates that have been a source of numerous cytotoxic compounds. Of the first six marine-derived drugs that made anticancer clinical trials, three originated from ascidian specimens. In order to identify new anti-neoplastic compounds, an ascidian extract library (143 samples) was generated and screened in MDA-MB-231 breast cancer cells using a real-time cell analyzer (RTCA). This resulted in 143 time-dependent cell response profiles (TCRP), which are read-outs of changes to the growth rate, morphology, and adhesive characteristics of the cell culture. Twenty-one extracts affected the TCRP of MDA-MB-231 cells and were further investigated regarding toxicity and specificity, as well as their effects on cell morphology and cell cycle. The results of these studies were used to prioritize extracts for bioassay-guided fractionation, which led to the isolation of the previously identified marine natural product, eusynstyelamide B (1). This bis-indole alkaloid was shown to display an IC50 of 5 μM in MDA-MB-231 cells. Moreover, 1 caused a strong cell cycle arrest in G2/M and induced apoptosis after 72 h treatment, making this molecule an attractive candidate for further mechanism of action studies.

Metrological assessment of a portable analyzer for monitoring the particle size distribution of ultrafine particles

Adverse health effects caused by worker exposure to ultrafine particles have been detected in recent years. The scientific community focuses on the assessment of ultrafine aerosols in different microenvironments in order to determine the related worker exposure/dose levels. To this end, particle size distribution measurements have to be taken along with total particle number concentrations. The latter are obtainable through hand-held monitors. A portable particle size distribution analyzer (Nanoscan SMPS 3910, TSI Inc.) was recently commercialized, but so far no metrological assessment has been performed to characterize its performance with respect to well-established laboratory- based instruments such as the scanning mobility particle sizer (SMPS) spectrometer. The present paper compares the aerosol monitoring capability of the Nanoscan SMPS to the laboratory SMPS in order to evaluate whether the Nanoscan SMPS is suitable for field experiments designed to characterize particle exposure in different microenvironments. Tests were performed both in a Marple calm air chamber, where fresh diesel particulate matter and atomized dioctyl phthalate particles were monitored, and in microenvironments, where outdoor, urban, indoor aged, and indoor fresh aerosols were measured. Results show that the Nanoscan SMPS is able to properly measure the particle size distribution for each type of aerosol investigated, but it overestimates the total particle number concentration in the case of fresh aerosols. In particular, the test performed in the Marple chamber showed total concentrations up to twice those measured by the laboratory SMPS—likely because of the inability of the Nanoscan SMPS unipolar charger to properly charge aerosols made up of aggregated particles. Based on these findings, when field test exposure studies are conducted, the Nanoscan SMPS should be used in tandem

Understanding the use of a bug tracking system in a global software development setup

Bug fixing is a highly cooperative work activity where developers, testers, product managers and other stake-holders collaborate using a bug tracking system. In the context of Global Software Development (GSD), where software development is distributed across different geographical locations, we focus on understanding the role of bug trackers in supporting software bug fixing activities. We carried out a small-scale ethnographic fieldwork in a software product team distributed between Finland and India at a multinational engineering company. Using semi-structured interviews and in-situ observations of 16 bug cases, we show that the bug tracker 1) supported information needs of different stake holder, 2) established common-ground, and 3) reinforced issues related to ownership, performance and power. Consequently, we provide implications for design around these findings.

Utilizing the assassin bug, Pristhesancus plagipennis (Hemiptera: Reduviidae), as a biological control agent within an integrated pest management programme for Helicoverpa spp. (Lepidoptera: Noctuidae) and Creontiades spp. (Hemiptera: Miridae) in cotton

Helicoverpa spp. and mirids, Creontiades spp., have been difficult to control biologically in cotton due to their unpredictable temporal abundance combined with a cropping environment often made hostile by frequent usage of broad spectrum insecticides. To address this problem, a range of new generation insecticides registered for use in cotton were tested for compatibility with the assassin bug, Pristhesancus plagipennis (Walker), a potential biological control agent for Helicoverpa spp. and Creontiades spp. Indoxacarb, pyriproxifen, buprofezin, spinosad and fipronil were found to be of low to moderate toxicity on P. plagipennis whilst emamectin benzoate, abamectin, diafenthiuron, imidacloprid and omethaote were moderate to highly toxic. Inundative releases of P. plagipennis integrated with insecticides identified as being of low toxicity were then tested and compared with treatments of P. plagipennis and the compatible insecticides used alone, conventionally sprayed usage practice and an untreated control during two field experiments in cotton. The biological control provided by P. plagipennis nymphs when combined with compatible insecticides provided significant (P<0.001) reductions in Helicoverpa and Creontiades spp. on cotton and provided equivalent yields to conventionally sprayed cotton with half of the synthetic insecticide input. Despite this, the utilization of P. plagipennis in cotton as part of an integrated pest management programme remains unlikely due to high inundative release costs relative to other control technologies such as insecticides and transgenic (Bt) cotton varieties.

Influence of food supplementation on the fitness of two biological control agents: a predatory nabid bug and a bollworm pupal parasitoid

Many arthropod predators and parasitoids exhibit either stage-specific or lifetime omnivory, in that they include extra-floral nectar, floral nectar, honeydew or pollen in their immature and/or adult diet. Access to these plant-derived foods can enhance pest suppression by increasing both the individual fitness and local density of natural enemies. Commercial products such as Amino-Feed®, Envirofeast®, and Pred-Feed® can be applied to crops to act as artificial-plant-derived foods. In laboratory and glasshouse experiments we examined the influence of carbohydrate and protein rich Amino-Feed UV® or Amino-Feed, respectively, on the fitness of a predatory nabid bug Nabis kinbergii Reuter (Hemiptera: Nabidae) and bollworm pupal parasitoid Ichneumon promissorius (Erichson) (Hymenoptera: Ichneumonidae). Under the chosen conditions, the provision of either wet or dry residues of Amino-Feed UV had no discernable effect on immediate or longer-term survival and immature development times of N. kinbergii. In contrast, the provision of honey, Amino-Feed plus extrafloral nectar, and extrafloral nectar alone had a marked effect on the longevity of I. promissorius, indicating that they were limited by at least carbohydrates as an energy source, but probably not protein. Compared with a water only diet, the provision of Amino-Feed plus extrafloral nectar increased the longevity of males and females of I. promissorius by 3.0- and 2.4-fold, respectively. Not only did female parasitoids live longer when provided food, but the total number of eggs laid and timing of deposition was affected by diet under the chosen conditions. Notably, females in the water and honey treatments deposited greater numbers of eggs earlier in the trial, but this trend was unable to be sustained over their lifetime. Egg numbers in these treatments subsequently fell below the levels achieved by females in the Amino-Feed plus extrafloral nectar and cotton extrafloral nectar only treatments. Furthermore, there were times when the inclusion of the Amino-Feed was beneficial compared with cotton extrafloral nectar only. Artificial food supplements and plant-derived foods are worthy of further investigation because they have potential to improve the ecosystem service of biological pest control in targeted agroecosystems by providing natural enemies with an alternative source of nutrition, particularly during periods of prey/host scarcity.

Effects of diet, temperature and photoperiod on development and survival of the bigeyed bug, Geocoris lubra

Bigeyed bugs (Geocoris spp., Hemiptera: Geocoridae) are common predators in Australian agricultural crops yet the development and reproductive biology of Australian geocorids has not been described before. Here we present the effects of diet, temperature and photoperiod on the development and survival of Geocoris lubra Kirkaldy from egg to adult. Nymphal survival of G. lubra reared on live aphids (Aphis gossypii Glover) was very low but improved slightly on a diet of Helicoverpa armigera (Hübner) eggs. Development was faster and nymphal survival improved significantly at 27°C compared with 25°C. Further investigation at 27°C showed photoperiod influenced development time, but not survival of immature G. lubra. Development time was significantly longer at 10L:14D. Fecundity of first generation G. lubra was not affected by photoperiod, although egg viability was greater at 12L:12D.

A Microprocessor-Based Pulse-Height Analyzer

Need to analyze particles in a flow? This system takes electrical pulses from acoustical or optical sensors and groups them into bands representing ranges of particle sizes.

The suitability of non-target native mangroves for the survival and development of the lantana bug Aconophora compressa, an introduced weed biological control agent

Aconophora compressa (Hemiptera: Membracidae), a biological control agent introduced against the weed Lantana camara (Verbenaceae) in Australia, has since been observed on several non-target plant species, including native mangrove Avicennia marina (Acanthaceae). In this study we evaluated the suitability of two native mangroves, A. marina and Aegiceras corniculatum (Myrsinaceae), for the survival and development of A. compressa through no-choice field cage studies. The longevity of females was significantly higher on L. camara (57.7 ± 3.8 days) than on A. marina (43.3 ± 3.3 days) and A. corniculatum (45.7 ± 3.8 days). The proportion of females laying eggs was highest on L. camara (72%) followed by A. marina (36%) and A. corniculatum (17%). More egg batches per female were laid on L. camara than on A. marina and A. corniculatum. Though more nymphs per shoot emerged on L. camara (29.9 ± 2.8) than on A. marina (13 ± 4.8) and A. corniculatum (10 ± 5.3), the number of nymphs that developed through to adults was not significantly different. The duration of nymphal development was longer on A. marina (67 ± 5.8 days) than on L. camara (48 ± 4 days) and A. corniculatum (43 ± 4.6 days). The results, which are in contrast to those from previous glasshouse and quarantine trials, provide evidence that A. compressa adults can survive, lay eggs and complete nymphal development on the two non-target native mangroves in the field under no-choice condition.

Pre-release evaluation of the efficacy of the leaf-sucking bug Carvalhotingis visenda (Heteroptera: Tingidae) as a biological control agent for cat's claw creeper Macfadyena unguis-cati (Bignoniaceae)

In classical weed biological control, assessing weed response to simulated herbivory is one option to assist in the prioritization of available agents and prediction of their potential efficacy. Previously reported simulated herbivory studies suggested that a specialist herbivore in the leaf-feeding guild is desirable as an effective biological control agent for cat's claw creeper Macfadyena unguis-cati (Bignoniaceae), an environmental weed that is currently a target for biological control. In this study, we tested (i) whether the results from glasshouse-based simulated herbivory can be used to prioritise potential biological control agents by evaluating the impact of a leaf-sucking tingid bug Carvalhotingis visenda (Drake & Hambleton) (Hemiptera: Tingidae) in quarantine; and (ii) the likely effectiveness of low- and high-densities of the leaf-sucking tingid after its release in the field. The results suggest that a single generation of C. visenda has the potential to reduce leaf chlorophyll content significantly, resulting in reduced plant height and leaf biomass. However, the impact of one generation of tingid herbivory on below-ground plant components, including the roots and tuber size and biomass, were not significant. These findings are consistent with results obtained from a simulated herbivory trial, highlighting the potential role of simulated herbivory studies in agent prioritisation.

MT10049 Pheromone component of a multi target approach to fruitspotting bug management

A pheromone-based trapping system will be developed for both A. lutescens and A. nitida to improve insecticide timing and to rationalise use.

A Microprocessor-Based Pulse-Height Analyzer

Need to analyze particles in a flow? This system takes electrical pulses from acoustical or optical sensors and groups them into bands representing ranges of particle sizes.