Model-based testing of software systems : functionality and performance

Software is a key component in many of our devices and products that we use every day. Most customers demand not only that their devices should function as expected but also that the software should be of high quality, reliable, fault tolerant, efficient, etc. In short, it is not enough that a calculator gives the correct result of a calculation, we want the result instantly, in the right form, with minimal use of battery, etc. One of the key aspects for succeeding in today's industry is delivering high quality. In most software development projects, high-quality software is achieved by rigorous testing and good quality assurance practices. However, today, customers are asking for these high quality software products at an ever-increasing pace. This leaves the companies with less time for development. Software testing is an expensive activity, because it requires much manual work. Testing, debugging, and verification are estimated to consume 50 to 75 per cent of the total development cost of complex software projects. Further, the most expensive software defects are those which have to be fixed after the product is released. One of the main challenges in software development is reducing the associated cost and time of software testing without sacrificing the quality of the developed software. It is often not enough to only demonstrate that a piece of software is functioning correctly. Usually, many other aspects of the software, such as performance, security, scalability, usability, etc., need also to be verified. Testing these aspects of the software is traditionally referred to as nonfunctional testing. One of the major challenges with non-functional testing is that it is usually carried out at the end of the software development process when most of the functionality is implemented. This is due to the fact that non-functional aspects, such as performance or security, apply to the software as a whole. In this thesis, we study the use of model-based testing. We present approaches to automatically generate tests from behavioral models for solving some of these challenges. We show that model-based testing is not only applicable to functional testing but also to non-functional testing. In its simplest form, performance testing is performed by executing multiple test sequences at once while observing the software in terms of responsiveness and stability, rather than the output. The main contribution of the thesis is a coherent model-based testing approach for testing functional and performance related issues in software systems. We show how we go from system models, expressed in the Unified Modeling Language, to test cases and back to models again. The system requirements are traced throughout the entire testing process. Requirements traceability facilitates finding faults in the design and implementation of the software. In the research field of model-based testing, many new proposed approaches suffer from poor or the lack of tool support. Therefore, the second contribution of this thesis is proper tool support for the proposed approach that is integrated with leading industry tools. We o er independent tools, tools that are integrated with other industry leading tools, and complete tool-chains when necessary. Many model-based testing approaches proposed by the research community suffer from poor empirical validation in an industrial context. In order to demonstrate the applicability of our proposed approach, we apply our research to several systems, including industrial ones.

Show me your brain! Stories of interdisciplinary knowledge creation in practice. Experiences and observations from Aalto Design Factory, Finland.

This dissertation centres on the themes of knowledge creation, interdisciplinarity and knowledge work. My research approaches interdisciplinary knowledge creation (IKC) as practical situated activity. I argue that by approaching IKC from the practice-based perspective makes it possible to “deconstruct” how knowledge creation actually happens, and demystify its strong intellectual, mentalistic and expertise-based connotations. I have rendered the work of the observed knowledge workers into something ordinary, accessible and routinized. Consequently this has made it possible to grasp the pragmatic challenges as well the concrete drivers of such activity. Thus the effective way of organizing such activities becomes a question of organizing and leading effective everyday practices. To achieve that end, I have conducted ethnographic research of one explicitly interdisciplinary space within higher education, Aalto Design Factory in Helsinki, Finland, where I observed how students from different disciplines collaborated in new product development projects. I argue that IKC is a multi-dimensional construct that intertwines a particular way of doing; a way of experiencing; a way of embodied being; and a way of reflecting on the very doing itself. This places emphasis not only the practices themselves, but also on the way the individual experiences the practices, as this directly affects how the individual practices. My findings suggest that in order to effectively organize and execute knowledge creation activities organizations need to better accept and manage the emergent diversity and complexity inherent in such activities. In order to accomplish this, I highlight the importance of understanding and using a variety of (material) objects, the centrality of mundane everyday practices, the acceptance of contradictions and negotiations well as the role of management that is involved and engaged. To succeed in interdisciplinary knowledge creation is to lead not only by example, but also by being very much present in the very everyday practices that make it happen.

Os projetos de desenvolvimento do Brasil contemporâneo

This paper makes an analysis on the expansion of the development debate, from the rise of the democracy and social justice cycle, in the Brazil of the post-national-developmentalism era, using as method the structural-historical approach. Initially, the article will feature the three main cycles of development of the country, according to the chronology proposed by Bresser-Pereira. Later, they identify four causes for the transition from second to third cycle. Finally, some considerations are made about the current development cycle, interpreting the political spectrum of development projects in dispute in the contemporary Brazil.

Rapport à la nature et stratégies intégrées de conservation et développement : le cas de São Tomé et Principe

Depuis les années 90, les Projets Intégrés de Conservation et Développement ont été présentés comme des modèles fonctionnels de développement durable pour un site spécifique dans une perspective de réalisation. Le but est d’intégrer les objectifs biologiques de la conservation aux objectifs sociaux et économiques du développement. Ces projets, qui répondent à de multiples dénominations et stratégies, sont implantés dans des contextes naturellement hétérogènes et dynamiques, où l’aménagement du territoire ne doit pas être un outil de planification étatique, désigné et imposé dans une logique conservationniste. Les aires protégées représentent une certaine vision du rapport entre l’être humain et la nature, apparue dans le contexte nord-américain avec la création des premiers grands parcs nationaux en 1870. Aujourd'hui, la forte volonté d'impliquer la population se heurte avec la difficulté de concilier la gestion de ces espaces avec les pratiques, les nécessités et les intérêts locaux. Le parc naturel Obô, qui occupe 30% du territoire de São Tomé et Principe, doit affronter la difficile intégration entre les représentations de la nature et les usages locaux avec les objectifs globaux des politiques conservationnistes, ainsi qu’avec les intérêts touristiques et économiques des investisseurs locaux et étrangers. Les représentations sociales de la nature, établissant une forme de connaissance pratique, déterminent la vision du monde et la relation qu'un certain groupe social peut avoir avec le territoire. Ainsi, chaque communauté possède ses propres mécanismes d'adaptation au milieu basés sur ce système représentationnel. Dans le cas des communautés sãotoméennes, la nature présente un caractère spirituel (associé à des croyances, des rites et des pratiques médicales traditionnelles) et utilitaire (la nature, à travers l'agriculture, la récolte ou la chasse, répond au besoin de subsistance). L’objectif de ce projet de thèse est donc de mieux comprendre la synergie existante entre savoir endogène et gestion de la biodiversité pour adapter l’aménagement du territoire à la réalité des populations qui y vivent.

Tables de concertation et préservation du patrimoine, solution porteuse ou chimère ? : deux cas d’étude, le Vieux-Montréal et le mont Royal

La concertation est un phénomène récent, de plus en plus répandu. Elle s’applique à de nombreux domaines notamment en urbanisme et plus récemment à la protection du patrimoine. Elle semble être un outil approprié pour les autorités municipales afin de faire face aux conflits autour des projets d’aménagement particulièrement ceux liés à la protection du patrimoine. Notre questionnement porte sur l’apport de la concertation dans le domaine de la préservation du patrimoine et sur la pertinence des moyens mis en place pour atteindre un tel objectif. Les tables de concertation, en tant que processus de concertation, sont-elles appropriées pour la gestion des sites patrimoniaux ? À la lumière d’une discussion théorique sur le concept de la concertation en aménagement, nous faisons l’analyse comparative de deux Tables de concertation, celle du Vieux-Montréal et celle du Mont-Royal. Notre analyse porte sur l’évaluation du processus de concertation et sur la construction d’une vision globale pour le devenir des secteurs patrimoniaux concernés. L’objectif est de caractériser le processus de concertation utilisé à Montréal et d’en apprécier l’apport dans le domaine de la protection du patrimoine. L’analyse de nos deux cas d’étude révèle l’existence d’un processus de concertation propre à Montréal, avec ses caractéristiques spécifiques, mais qui reste à parfaire pour son optimisation. Notre recherche se conclut sur la nécessité d’améliorer le processus de concertation, tel qu’étudié, à travers un certain nombre de pistes à explorer.

Entre conservation et développement local : étude des projets écotouristiques dans deux groupes quechua au Pérou

Depuis les années 1980, les projets intégrés de conservation et de développement (PICD) sont des modèles fonctionnels de développement durable. L’écotourisme est une de ces stratégies, combinant les objectifs sociaux et économiques de développement pour les populations locales dans un contexte de conservation des ressources naturelles. Cette maîtrise étudie un projet écotouristique réalisé dans la zone de transition du parc national Huascarán (Pérou) dans deux communautés quechuaphones, Vicos et Humachucco. Un PICD « réussi » combine la participation et la satisfaction des besoins de la population tout en contribuant à la conservation des écosystèmes. Cette étude a donc deux objectifs principaux : 1) une analyse de la participation pour mieux comprendre si et comment ce projet a su impliquer les populations et pour connaitre les facteurs favorisant un partenariat entre différents acteurs du projet; 2) une analyse des impacts environnementaux, économiques et socioculturels de l’écotourisme pour déterminer si les besoins des populations et les objectifs du projet ont été atteints, apportant ainsi une nouvelle dynamique à la communauté. La méthodologie combine les approches de l’écologie culturelle, de l’approche exploratoire et de l’étude de cas. Les données sont issues du terrain de recherche, soit des données écrites, de l’observation participante et des entretiens semi-dirigés. Elles ont été traitées en utilisant différentes grilles d’analyse. Les résultats démontrent que, malgré un manque de clarté et de transparence, de nombreux efforts ont permis de favoriser la participation et d’impliquer la population locale, créant des impacts économiques favorables.

Étude des moteurs de développement en Chine rurale et ethnique

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

Uranium à Sept-Îles : ethnographie d'un refus. Essai de résistance populaire.

Ce mémoire de maîtrise traite d’un phénomène social critique qui a gagné en importance au Québec : la montée des groupes de résistance populaire contre des projets d’exploitation des ressources naturelles. À partir d’une étude de cas, l’auteur tâche ici d’approfondir les questions relatives à ces luttes collectives tout en mettant en lumière les diverses modalités d’engagement qui, par leurs registres et leurs compositions en « systèmes-experts », se répercutent dans l’espace public tout en transformant, d’une certaine manière, l’arène politique. Ces dynamiques des mouvements de résistance tendent également à s’infléchir en amont des projets de développement, pour se matérialiser en aval, soit dès les premières phases d’appropriation territoriale, c’est-à-dire les premiers travaux exploratoires comme tels. Cette enquête de terrain se focalise sur ces enjeux. En prenant comme observatoire le projet de Terra Ventures à Sept-Îles, en région nord-côtière, concernant un projet d’exploration uranifère, l’auteur insiste sur les multiples références collectives qui sont autant de perspectives pour comprendre ce phénomène. À travers l’étude de cette résistance populaire qui s’est profilée contre ce projet d’exploration, c’est l’industrie minière au Québec, son histoire, ses mythes, et sa mémoire qui est, enfin, en trame de fond.

Salinity Intrusion and Seasonal Water Quality Variations in the Tidal Canals of Cochin

The study conducted on the salinity intrusion and seasonal water quality variations in the tidal canals of cochin. The main objectives are, salinity intrusion profile, water quality variation of the surface water of the canals,hierarchical utility of the water bodies and to understand the non-conservative components in the water body. The parameters monitored werepH,temperature,alkalinity,conductivity,DO(dissolvedoxygen),COD(chemical oxygen demand),BOD(biochemical oxygen demand0,chloride, total hardness, calcium hardness, dissolved phosphate, nitrate, total iron, sulphate, turbidity, total coliform and SUVA at 254nm. The tidal canals of GCDA were found to be creeks extending to the interior, canals inter connecting parts of the estuary or canals with seasonally broken segments. Based on utility the canals could be classified as: canals heavely polluted and very saline,canals polluted by urban waste , canals having fresh water for most part of the year and not much polluted, fresh water bodies heavily polluted. During the rainy months carbon fixation by plankton is nonexistent,and during the dry months Chitrapuzha becomes a sink of phosphate. The study indicated abiotic subrouts for dissolved phosphate and revealed the potential pitfalls in LOICZ modeling exercise on sewage ladentidal canals. It was also found that all canals except for the canals of West cochin and chittoorpuzha have fresh water for some part of the year. The water quality index in the durable fresh water stretches was found to be of below average category.

Ecophysiology of nontuberculous Mycobacteria in marine aquaculture ponds

The world demand for fish and fishery products is increasing steadily and it is generally accepted that it will not be possible to meet the heavy demand with resources exploited from capture fishery alone. Now aquaculture is well established and fastdeveloping industry in many countries and is a major focus sector for development. During recent decades, aquaculture has gained momentum, throughout the world especially in developing countries. According to Food and Agricultural Oganisation (FAO, 2000), global aquaculture production was 26.38 tones in 1996 have reached 32.9 million tonnes during 1999. Only marine aquaculture sector has contributed 13.1 million tonnes during 1999.India is a major fish producing country. About one half of lndia’s brackish water lands are currently being utilized for farming in order to reduce the gap between supply and demand for fish. Aquaculture has become a major source of livelihood for people and its role in integrated rural development, generation of employment and earning foreign exchange, thereby alleviating poverty is being greatly appreciated around the world.Among the infectious agents, bacteria are becoming the prime causal organisms for diseases in food fishes and other marine animals. Sindermann, (1970) reported that bacterial fish pathogen most commonly found among marine fishes is species of Pseudomonas, Vibrio and Mycobacterium. These can be categorized into primary pathogens; secondary invaders that may cause systemic disease in immunocompromised hosts; and normal marine flora which are not pathogenic but may occur on body surfaces or even within the tissues of the host. I-Iigh density of animals in hatchery tanks and ponds is conducive to the spread of pathogen and the aquatic environment with regular application of protein rich feed, is ideal for culturing bacteria. Bacteria, which are normally present in seawater or on the surface of fish, can invade and cause pathological effects in fishes, which are injured or subjected to other environmental stresses.Mycobacteria except parasites are known as nontuberculosis mycobacteria (NTM), atypical mycobacteria or mycobacteria other than tuberculosis(MO'l'l"). This group of mycobacteria includes opportunistic pathogens and saprophytes. Environmental mycobacteria are ubiquitous in distribution and the sources may include soil, water, warm-blooded as well as cold-blooded animals. Disease caused by environmental mycobacterial strains in susceptible humans (Goslee & Wolinsky, 1976; Grange, 1987), animals and fishes are increasingly attracting attention. Greatest importance of environmental mycobacteria is believed to be their role in immunological priming of humans and animals, thereby modifying their immune responses to subsequent exposure to pathogenic species.

Forest and the Law

Forest is essential for the healthy subsistence of human being on earth. Law has been framed to regulate exploitation of forest.This study is an analysis of the law relating to forest from an environmental perspective.Practical suggestions are also made for the better protection of forest .Forest is a valuable component of human environment.For healthy subsistence of human beings on earth it is essential that at least one third of the land area on earth should be under forest cover. Forest helps in keeping air and water fresh and climate good.The Indian Forest Act 1927 and State legislation relating to forest impose Governmental control over forests by classifying them into reserved forests. Protected forests and village forests.Effective environmental impact studies facilitate adoption of the practice of sustainable development.Permission should not be granted for a project before examination of its impact on the flora and fauna in forest.Kerala, much of the vested forest remains under the control of the State Government and are managed like reserved forests.Infrastructural facilities require improvement in almost all States for protecting forest.Inter-State problems can be minimised if a central forest legislation is applied uniformly throughout India.Voluntary organisations should be encouraged to taxe part actively in the programmes for conserving forest and wildlife.The new Forest Act should provide for effective environmental impact study before development projects are undertaken in forest areas. The guidelines for this should be clearly laid down in the Act.The law relating to forest should also clearly lay down the guidelines for implementing social forestry programmes. The Forest Department should be authorised to lease lands for planting useful trees. The new forest legislation should also recognise the traditional tribal rights in forest. The Indian Forest Act 1927 and the State legislation relating to forest with their outdated revenue policy and scheme should be replaced by such a new forest legislation framed with an environmental peres-pective. The new law should be uniformly applied throughout India .

Economic Impact of Identity Theft in India: Lessons from Western Countries

In this computerized, globalised and internet world our computer collects various types of information’s about every human being and stores them in files secreted deep on its hard drive. Files like cache, browser history and other temporary Internet files can be used to store sensitive information like logins and passwords, names addresses, and even credit card numbers. Now, a hacker can get at this information by wrong means and share with someone else or can install some nasty software on your computer that will extract your sensitive and secret information. Identity Theft posses a very serious problem to everyone today. If you have a driver’s license, a bank account, a computer, ration card number, PAN card number, ATM card or simply a social security number you are more than at risk, you are a target. Whether you are new to the idea of ID Theft, or you have some unanswered questions, we’ve compiled a quick refresher list below that should bring you up to speed. Identity theft is a term used to refer to fraud that involves pretending to be someone else in order to steal money or get other benefits. Identity theft is a serious crime, which is increasing at tremendous rate all over the world after the Internet evolution. There is widespread agreement that identity theft causes financial damage to consumers, lending institutions, retail establishments, and the economy as a whole. Surprisingly, there is little good public information available about the scope of the crime and the actual damages it inflicts. Accounts of identity theft in recent mass media and in film or literature have centered on the exploits of 'hackers' - variously lauded or reviled - who are depicted as cleverly subverting corporate firewalls or other data protection defenses to gain unauthorized access to credit card details, personnel records and other information. Reality is more complicated, with electronic identity fraud taking a range of forms. The impact of those forms is not necessarily quantifiable as a financial loss; it can involve intangible damage to reputation, time spent dealing with disinformation and exclusion from particular services because a stolen name has been used improperly. Overall we can consider electronic networks as an enabler for identity theft, with the thief for example gaining information online for action offline and the basis for theft or other injury online. As Fisher pointed out "These new forms of hightech identity and securities fraud pose serious risks to investors and brokerage firms across the globe," I am a victim of identity theft. Being a victim of identity theft I felt the need for creating an awareness among the computer and internet users particularly youngsters in India. Nearly 70 per cent of Indian‘s population are living in villages. Government of India already started providing computer and internet facilities even to the remote villages through various rural development and rural upliftment programmes. Highly educated people, established companies, world famous financial institutions are becoming victim of identity theft. The question here is how vulnerable the illiterate and innocent rural people are if they suddenly exposed to a new device through which some one can extract and exploit their personal data without their knowledge? In this research work an attempt has been made to bring out the real problems associated with Identity theft in developed countries from an economist point of view.

Impact of Sanitary Measures on Exports of Fishery Products from India: The Case of Kerala

This study provides an overview of fish and fishery products exports from India as a whole before focusing on the fish and fishery products sector in Kerala. The food safety and other technical requirements facing Indian exporters of fish and fishery products are then reviewed. The remainder of the study explores experiences with food safety controls, in particular across Kerala’s major export markets, examining the efforts made by the Indian government and the impact on the processing sector as a whole and the preprocessing sector in particular. Finally, the remaining challenges faced by the fish and fishery products sector in Kerala as well as India as a whole are assessed in the context of the manner in which both the government and exporters have responded to changes in food safety and other requirements in major export markets

Smallholder group certification in Uganda - Analysis of internal control systems in two organic export companies

The organic agricultural sector of Uganda is among the most developed in Africa in terms of its professional institutional network and high growth rates of number of certified farmers and land area. Smallholder farmers are certified organic through contract production for export companies using a group certification scheme (internal control system - ICS). The ICS is a viable and well-accepted tool to certify small-scale producers in developing countries all over the world. Difficulties in certification are still stated to be among the main constraints for Uganda’s organic sector development. Therefore, this paper reports a qualitative case study comprising 34 expert interviews in two organic fresh-produce export companies in central Uganda, aiming to explore the challenges which underlie organic certification with ICS. The study shows that farmers cannot be labelled as ‘organic by default’ but deliberately engage in organic production as a marketing strategy. The small quantities purchased by the organic companies lead to a difficult marketing situation for the farmers, causing production and infiltration risks on the farm level. These risks require increased control that challenges the companies organizationally. The risks and control needs are a reason to involve farmers in ICS procedures and innovatively adapt the ICS by means of a bypass around formal perspective restrictions. The paper discusses different perspectives on risks, risk control and certification.

Assessment of the strategies of organic fruit production and fruit drying in Uganda

Organic agriculture in Uganda is developing at a fast pace and despite this trend Uganda is still unable to produce enough fresh and dry organic fruits mainly pineapple to meet the exporters demand. This current research investigated the strategies of farmers at production level by assessing the pros and cons of fruit growing, organic agriculture and fruit drying in order to understand the underlying causal factor for the low production of organic dry fruits in a major fruit producing district of Uganda. The study was carried out in two separate and distinctive areas; one which only produces and export fresh organic pineapple and the other which exports dried fruits (mainly pineapple and papaya). About 10% of the farmers in the two study areas were surveyed using questionnaires which were further followed by semi-structured interviews and participatory rural appraisals activities with various types of farmers in order to understand the different decisions and strategies of farmers. 82% and 74% of farmers in the two study areas grew fruits as it gave better economic returns and for 77% and 90% respectively in the two study areas, the reasons for growing fruit was the ease of selling compared to other crops. All the farmers were relying on coffee husk for growing organic pineapples. However, 50% of the farmers want to grow pineapples (either organic or conventional) but couldn't afford to buy coffee husk. Fruit drying was mainly a strategy to utilize cheap fruits during harvesting seasons for value addition. 71% and 42% of farmers in the two study areas wanted to dry fruits but it was beyond their economic capacity to buy the driers. Decision of the farmers whether to grow fruits or cereals, organic or conventional agriculture and selling the fruits as fresh or dry were dependent mainly on the economic, knowledge and resource availability of each type of practices. It is concluded that the main barrier for an increase in the production of organic dried fruits is at the processing level, and the limited capacity for investments in drying facilities.