Enhancing partition testing through output variation

A major test case generation approach is to divide the input domain into disjoint partitions, from which test cases can be selected. However, we observe that in some traditional approaches to partition testing, the same partition may be associated with different output scenarios. Such an observation implies that the partitioning of the input domain may not be precise enough for effective software fault detection. To solve this problem, partition testing should be fine-tuned to additionally use the information of output scenarios in test case generation, such that these test cases are more fine-grained not only with respect to the input partitions but also from the perspective of output scenarios

PENGUJIAN BLACKBOX PADA WEBSITE WORKER’S MENGGUNAKAN METODE EQUIVALENCE PARTITIONING

Software testing is carried out to find error that exist in the software before they are found by the user. This study discusses how to do black box testing on website worker’s, which is a website that’s provide information about job vacancies. The test method that will be used is black box testing with the equivalence partitioning method as a test case design technique. The equivalence partitioning method is a method that divides data regarding input domain into partitions, from these partitions can produce test cases. The test result show that black box testing with the equivalence partitioning method can be used to find error in software. There are 29 test case where 68% of the test case successful or passed and 32% of the test case failed.Pengujian software dilakukan untuk mendapatkan kesalahan yang ada pada software sebelum ditemukan oleh pengguna. Pada penelitian ini akan dilakukan pengujian black box terhadap website worker’s, yang merupakan website penyedia informasi mengenai lowongan pekerjaan. Metode pengujian yang akan digunakan yaitu pengujian black box dengan metode equivalence partitioning sebagai teknik perancangan test case. Metode equivalence partitioning merupakan metode yang membagi data mengenai domain masukan menjadi partisi-partisi, dari partisi-partisi tersebut dapat menghasilkan test case. Hasil pengujian menunjukkan bahwa pengujian black box dengan metode equivalence partitioning dapat digunakan untuk menemukan kesalahan pada software. Terdapat 29 test case dimana 68% test case tersebut berhasil atau pass dan 32% test case tersebut gagal atau fail

Dependable reconfigurable multi-sensor poles for security

Wireless sensor network poles for security monitoring under harsh environments require a very high dependability as they are safety-critical [1]. An example of a multi-sensor pole is shown. Crucial attribute in these systems for security, especially in harsh environment, is a high robustness and guaranteed availability during lifetime. This environment could include molest. In this paper, two approaches are used which are applied simultaneously but are developed in different projects. \u

Using formal methods to support testing

Formal methods and testing are two important approaches that assist in the development of high quality software. While traditionally these approaches have been seen as rivals, in recent years a new consensus has developed in which they are seen as complementary. This article reviews the state of the art regarding ways in which the presence of a formal specification can be used to assist testing

Fairness Testing: Testing Software for Discrimination

This paper defines software fairness and discrimination and develops a testing-based method for measuring if and how much software discriminates, focusing on causality in discriminatory behavior. Evidence of software discrimination has been found in modern software systems that recommend criminal sentences, grant access to financial products, and determine who is allowed to participate in promotions. Our approach, Themis, generates efficient test suites to measure discrimination. Given a schema describing valid system inputs, Themis generates discrimination tests automatically and does not require an oracle. We evaluate Themis on 20 software systems, 12 of which come from prior work with explicit focus on avoiding discrimination. We find that (1) Themis is effective at discovering software discrimination, (2) state-of-the-art techniques for removing discrimination from algorithms fail in many situations, at times discriminating against as much as 98% of an input subdomain, (3) Themis optimizations are effective at producing efficient test suites for measuring discrimination, and (4) Themis is more efficient on systems that exhibit more discrimination. We thus demonstrate that fairness testing is a critical aspect of the software development cycle in domains with possible discrimination and provide initial tools for measuring software discrimination.Comment: Sainyam Galhotra, Yuriy Brun, and Alexandra Meliou. 2017. Fairness Testing: Testing Software for Discrimination. In Proceedings of 2017 11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE), Paderborn, Germany, September 4-8, 2017 (ESEC/FSE'17). https://doi.org/10.1145/3106237.3106277, ESEC/FSE, 201

AM-OER: An Agile Method for the Development of Open Educational Resources

Open Educational Resources have emerged as important elements of education in the contemporary society, promoting life-long and personalized learning that transcends social, eco- nomic and geographical barriers. To achieve the potential of OERs and bring impact on education, it is necessary to increase their development and supply. However, one of the current challenges is how to produce quality and relevant OERs to be reused and adapted to different contexts and learning situations. In this paper we proposed an agile method for the development of OERs – AM-OER, grounded on agile practices from Software Engineering. Learning Design practices from the OULDI project (UK Open University) are also embedded into the AM-OER aiming at improving quality and facilitating reuse and adaptation of OERs. In order to validate AM-OER, an experiment was conducted by applying it in the development of an OER on software testing. The results showed preliminary evidences on the applicability, effectiveness and ef ciency of the method in the development of OERs