The main goal of testing is to find errors in the System Under Test (SUT). Prior research indicated that Model-Based Testing is indeed good at finding SUT errors, can lead to less time and effort spent on testing if the time needed to write and maintain the model plus the time spent on directing the test generation is less than the cost of manually designing and maintaining a test suite. This study proposed a methodology for Model-Based Testing. In this approach, Sequence Diagrams and Class Diagram are used to determine the testing path and test case and Object Constraint Language is used to specify the business logic constraint. Three real-world cases and a CASE tool are used to test the usability (including the concepts, application, and advantages) of the proposed methodology. With this approach, SUT errors can be found at the systems analysis and design stage and thereby reduce the cost of software testing and enhance the efficiency of system development.

This Master’s thesis analyze application of information technology in education process, examination using testing method and possibility of computerized testing systems in Lithuanian schools. Rapid development of information and communication technologies inevitably affect and change all spheres of the society including education. Moreover, new technologies change and enrich ordinary methods of examination. One of the most important tasks of the education system is to ascertain the level of knowledge acquired or in other words to examine pupils knowledge. So, one of most easily computerized examination forms is testing method. This method has its own shortcomings, but is rather widespread due to its convenience and easy formalization. A new general standard of computer literacy was prepared on 31st January 2002. Its aim is to ascertain the minimum skills of computer usage by pupils. This year the first school leavers well pass the test on computer literacy. The purpose of the test is to examine their knowledge of information technologies and the mastering level of minimum skills of computer usage. Questionnaire of the teachers and pupils shows that testing method is acceptable and the computer in classes is awaited. The aim of the master’s research is to analyze the efficiency of special computer programmers in developing and examining skills of computer literacy in secondary schools. The tasks of research are to analyze the ways of testing, to prepare some tests... [to full text]

Sukurtos klasių diagramų generavimo iš Java kalbos šaltinio tekstų programos dokumentacija: reikalavimų bei architektūros specifikacijos, testavimo dokumentacija ir vartotojo vadovas. / Created class diagram generation from Java source code program's documentation: requirements and artchitecture specifications, testing documentation and users manual.

A \emph{simple} $n$-\emph{Venn diagram} is a collection of $n$ simple intersecting closed curves in the plane where exactly two curves meet at any intersection point; the curves divide the plane into $2^n$ distinct open regions, each defined by its intersection of the interior or exterior of each of the curves. A Venn diagram is \emph{reducible} if there is a curve that, when removed, leaves a Venn diagram with one less curve and \emph{irreducible} if no such curve exists. A Venn diagram is \emph{extendible} if another curve can be added, producing a Venn diagram with one more curve. Currently it is not known whether every simple Venn diagram is extendible by the addition of another curve. We show that all simple Venn diagrams with $5$ curves or less are extendible to another simple Venn diagram. We also show that for certain Venn diagrams, a new extending curve is relatively easy to produce. We define a new type of diagram of simple closed curves where each curve divides the plane into an equal number of regions; we call such a diagram a \emph{face-balanced} diagram. We generate and exhibit all face-balanced diagrams up to and including those with $32$ regions; these include all the Venn diagrams. Venn diagrams exist where the curves are the perimeters of polyominoes drawn on the integer lattice. When each of the $2^n$ intersection regions is a single unit square, we call these \emph{minimum area polyomino Venn diagrams}, or \emph{polyVenns}. We show that polyVenns can be constructed and confined in bounding rectangles of size $2^r \times 2^c$ whenever $r, c \ge 2$ and $n=r+c$. We show this using two constructive proofs that extend existing diagrams. Finally, for even $n$, we construct polyVenns with $n$ polyominoes in $(2^{n/2} - 1) \times (2^{n/2} + 1)$ bounding rectangles in which the empty set is not represented as a unit square. / Graduate / 0405 / 0984 / bbultena@uvic.ca

This thesis deals with systems of financial indicators. The theoretical part contains the individual systems which are described and explained on the basis of literature. The practical part is divide into three parts. First part contains individual analyses of indicators. The second part deals with a pyramid decomposition of return on equity which is compared in time and space. The last part is the practical application of the rating and default models to the selected firm. There are summarized and evaluated results of the practical part in conclusion.

As moscas-das-frutas (Diptera: Tephritidae) são as principais pragas da fruticultura no mundo, pelos danos que ocasionam diretamente e indiretamente e pela facilidade de adaptação. O manejo das moscas-das-frutas através do monitoramento da população com diferentes substâncias atrativas mais eficientes é de suma importância. Assim, o objetivo com este trabalho foi avaliar a eficiência da inclusão do acetato de amônia em diferentes concentrações nas soluções compostas de proteína hidrolisada de milho e açúcares. O experimento 1 foi realizado em pomar de goiaba durante 7 semanas e avaliadas 6 soluções atrativas: Isca Samaritá® Tradicional (5%), Isca Samaritá® Tradicional + 3% de acetato de amônia (5% + 3%), Isca Samaritá® Tradicional + 5% de acetato de amônia (5% + 5%), Isca Samaritá® Tradicional + 7% de acetato de amônia (5% + 7%), Melaço (7%) e pastilhas de torula (1%). O delineamento experimental utilizado foi o casualizado em blocos com 6 tratamentos e 4 repetições. As armadilhas utilizadas foram do tipo McPhail. As trocas eram feitas a cada 7 dias. Não houve diferença para o total de moscas-das-frutas capturadas pelas soluções de torula e Isca Samaritá® Tradicional + 3% e 7% de acetato de amônia, sendo as mais atrativas. Também não houve diferença na captura de fêmeas de moscas-das-frutas para os atrativos torula e Isca Samaritá® Tradicional + 3% de acetato de amônia. Para insetos úteis e inimigos naturais as soluções com melaço e torula foram as menos seletivas. Com a adição de acetato de amônia foi possível verificar um aumento considerável na atratividade em relação ao produto comercial, principalmente no primeiro dia após a instalação no campo. A solução Isca Samaritá® Tradicional + 3% de Acetato de Amônia foi selecionada como o atrativo com melhor custo/benefício com adição de acetato de amônia testado e avaliado a eficiência da atratividade no experimento 2 comparando com Isca Samaritá® Tradicional (5%), Melaço (7%) e pastilhas de torula (1%). Utilizou-se a metodologia de marcação-liberação-recaptura de A. fraterculus estéreis. A dispersão foi monitorada a partir de um ponto central de liberação nas direções cardeais e colaterais utilizando armadilhas McPhail. A direção de dispersão através da análise circular exposta pelo Rose Diagram, identificou que as maiores frequências de recaptura foram nas posições onde se encontravam a torula e a Isca Samaritá® Tradicional + 3% de acetato de amônia. / The fruit flies (Diptera: Tephritidae) are the main pests of fruit crops in the world, due to the direct and indirect damage that its causes and easy of adaptation. The management of the fruit flies through population monitoring with different attractive substances more efficient is very important. The objective with this study was to evaluate the efficiency of the inclusion of ammonium acetate at different concentrations in the solutions composed of corn hydrolysed protein and sugars. The experiment 1 was conducted in guava orchard during seven weeks and evaluated 6 attractives solutions: Isca Samaritá® Traditional (5%), Isca Samaritá® Traditional + 3% ammonium acetate (5% + 3%), Isca Samaritá® Traditional + 5% ammonium acetate (5% + 5%), Isca Samaritá® Traditional + 7% of ammonium acetate (5% + 7%), molasses (7%) and torula pellets (1%). The experimental design was a randomized block with 6 treatments and 4 repetitions. The traps used were of the McPhail type. Exchanges were make every 7 days. There was not difference for the total the fruit flies captured by torula solutions and Isca Samaritá® Traditional + 3% and 7% of ammonium acetate, the most attractive. There was not difference in female fruit flies captured by torula solutions and Isca Samaritá® Traditional + 3% ammonium acetate. For social insects and natural enemy the solutions with molasses and torula were less selective. With the addition of ammonium acetate it was possible to see a considerable increase in attractiveness to the commercial product, especially on the first day after installation in the field. The solution Isca Samaritá® Traditional + 3% Ammonium Acetate was selected as the best cost benefit with the addition of ammonium acetate tested and evaluated the attractiveness of efficiency in experiment 2 compared to Isca Samaritá® Traditional (5%), molasses (7%) and torula pellets (1%). It used the methodology of mark-release-recapture A. fraterculus sterile. The dispersion was monitored from a central point of release and the side cardinal directions, in McPhail traps. The direction of dispersion through the circular analysis exposed by Rose Diagram identified that the greatest frequency of recaptures were in positions where they were the torula and Isca Samaritá® Traditional + 3% ammonium acetate.

Det ligger en stor utmaning i att presentera komplex information visuellt, så att betraktaren kan förstå datan och ta till sig budskapet. Att arbeta kreativt med färg och form för att presentera information kan underlätta förståelsen för datan samt skapa ett intresse. Ett bra verktyg för informationsvisualisering är diagram, med vilket data kan presenteras på ett pedagogiskt och överskådligt sätt. Syftet med detta designarbete har således varit att utforska hur diagram kan utformas så att de både är intresseväckande och lättförståeliga. Diagram som används av företaget Health Profile Institute är ett tydligt exempel på designproblemet, dessa har därför agerat som exempel inom denna studie. Utforskande design har använts som metod inom denna studie. Författarna har därför tagit fram ett stort antal designförslag i form av konceptskisser på olika diagramtyper. Författarna har dragit slutsatserna att diagram som både är intresseväckande och enkla att förstå kan skapas genom en väl utförd formgivning. Genom att arbeta med kontraster i färg och form, samt användning av ikoner och olika nivåer i formgivningen, orienterar diagrammet betraktaren. Dessutom kan intresse skapas eftersom det framkallar associationer hos betraktaren, intresseväckande och lättförståelighet hänger således ihop vid utformning av diagram.

Diploma thesis is focused on the possibility of implementation of process portal at University of Economics in Prague. The aim is to describe process portal of Czech Technical University and propose solution for implementation of process portal at University of Economics in Prague. This solution includes process categorization and creating process diagrams for the most important processes at University of Economics in Prague. The thesis also includes the creation and evaluation of a questionnaire, which introduces process portal to students and helps to find out whether process portal is understandable for students and whether they would use it. Thesis objectives are specified in the introduction. The next section describes the research work. Basic concepts are defined and presented solutions Process Portal on the Czech Technical University can be found in the third part. The fourth part describes the benefits which comes from implementation of process portal and also describes questionnaire, which was focused on finding interest of students. The fifth part is focuses on the design of process solutions portal for University of Economics. The summary describes the findings and proposed recommendations.

This diploma thesis deals with packaging materials in company Frauenthal Automotive Hustopeče, s. r. o., specifically proposals to improve the storage, flow and use of packaging material with limited storage capacity. The first part contains the theoretical basis of the work. The second part includes a presentation of the company and an analysis of the current situation. In the last part, own solutions to current shortcomings in the company are proposed.

京都大学 / 新制・課程博士 / 博士(情報学) / 甲第23548号 / 情博第778号 / 新制||情||132(附属図書館) / 京都大学大学院情報学研究科通信情報システム専攻 / (主査)教授 湊 真一, 教授 山本 章博, 准教授 川原 純 / 学位規則第4条第1項該当 / Doctor of Informatics / Kyoto University / DFAM