SchemaAnalyst: Search-Based Test Data Generation for Relational Database Schemas

Data stored in relational databases plays a vital role in many aspects of society. When this data is incorrect, the services that depend on it may be compromised. The database schema is the artefact responsible for maintaining the integrity of stored data. Because of its critical function, the proper testing of the database schema is a task of great importance. Employing a search-based approach to generate high-quality test data for database schemas, SchemaAnalyst is a tool that supports testing this key software component. This presented tool is extensible and includes both an evaluation framework for assessing the quality of the generated tests and full-featured documentation. In addition to describing the design and implementation of SchemaAnalyst and overviewing its efficiency and effectiveness, this paper coincides with the tool’s public release, thereby enhancing practitioners’ ability to test relational database schemas

Advanced avionics concepts: Autonomous spacecraft control

A large increase in space operations activities is expected because of Space Station Freedom (SSF) and long range Lunar base missions and Mars exploration. Space operations will also increase as a result of space commercialization (especially the increase in satellite networks). It is anticipated that the level of satellite servicing operations will grow tenfold from the current level within the next 20 years. This growth can be sustained only if the cost effectiveness of space operations is improved. Cost effectiveness is operational efficiency with proper effectiveness. A concept is presented of advanced avionics, autonomous spacecraft control, that will enable the desired growth, as well as maintain the cost effectiveness (operational efficiency) in satellite servicing operations. The concept of advanced avionics that allows autonomous spacecraft control is described along with a brief description of each component. Some of the benefits of autonomous operations are also described. A technology utilization breakdown is provided in terms of applications

Using tablets for e-assessment of project-based learning

Technology is confirmed to be an effective tool for assessment and feedback, in particular for computer-assisted assessment (Irons, 2008; Challis, 2005), producing feedback (Heinrich et al., 2009) and publishing feedback (Bloxham and Boyd, 2007; Denton, 2003; Denton et al., 2008). The arrival of affordable mobile devices has introduced a new means for enhancing the above practices (Fabian and MacLean, 2014; Plimmer and Mason, 2006; Salem, 2013). Student preferences to smart phones and tablet devices steer the technological innovation towards ubiquitous mobile connectivity. Inspired by the benefits of such life and study style, educators have started exploring the use of these technologies. Tablet computers prove to become their preferred choice as they resolve some of the limitations associated with the design, readability and comprehensiveness of the feedback for mobile devices with smaller screens (Strain-Seymour, 2013, Rootman-le Grange and Lutz, 2013). This paper reports how tablets and the Form Connext mobile app have been used for engaging a sample of 300 Business Studies students in in-class online assessment and designing and providing timely comprehensive feedback. The study has followed an action research strategy that is grounded on a continuous and dynamic process of reflection (Carr and Kemmis, 2003) on the effectiveness of assessment of student projects documented electronically through wikis and electronic portfolios. It refines the use of tablets for summative and formative assessment of the project-based learning tasks through three review cycles, each of which incorporated a Reflection and Improvements stage. The experience resulted in enhancement of assessment strategies and contribution to the development of contemporary models of learning through effective assessment and feedback (Carr and Kemmis, 2003). The results of the work confirm that tablet computers are an effective tool in assessing e-materials in larger classes for two primary reasons. Firstly, design of e-forms facilitates rigorous process of reflection and understanding assessment criteria that in turn benefit students when preparing for the assessment. Hence, legible and detailed feedback is produced anytime anywhere with synchronous updates within the marking team. Secondly, students benefit from immediate comprehensive feedback allowing them to reflect on and improve their understanding of subject matters, as well as to engage in discussing specific details of the work that are captured through the form. An unexpected outcome was the enhanced reputation and respect to the tutors amongst students, the triggering of student curiosity and enthusiasm in applying similar approach to their own work. The diffusion for the practice amongst other units and identifying other purposes for which the mobile app could be used are also seen as achievements exceeding the expectations of the project team

Reviews

Francis Botto, Dictionary of Multimedia and Internet Applications ‐ A Guide for Developers and Users, Chichester, UK: John Wiley & Sons, 1999. ISBN: 0–471–986240. Hardback, x+362 pages, £34.95

Marking complex assignments using peer assessment with an electronic voting system and an automated feedback tool

The work described in this paper relates to the development and use of a range of initiatives in order to mark complex masters' level assignments related to the development of computer web applications. In the past such assignments have proven difficult to mark since they assess a range of skills including programming, human computer interaction and design. Based on the experience of several years marking such assignments, the module delivery team decided to adopt an approach whereby the students marked each other's practical work using an electronic voting system (EVS). The results of this are presented in the paper along with statistical comparison with the tutors' marking, providing evidence for the efficacy of the approach. The second part of the assignment related to theory and documentation. This was marked by the tutors using an automated feedback tool. It was found that the time to mark the work was reduced by more than 30% in all cases compared to previous years. More importantly it was possible to provide good quality individual feedback to learners rapidly. Feedback was delivered to all within three weeks of the test submission datePeer reviewe

Assessing the effectiveness of multi-touch interfaces for DP operation

Navigating a vessel using dynamic positioning (DP) systems close to offshore installations is a challenge. The operator's only possibility of manipulating the system is through its interface, which can be categorized as the physical appearance of the equipment and the visualization of the system. Are there possibilities of interaction between the operator and the system that can reduce strain and cognitive load during DP operations? Can parts of the system (e.g. displays) be physically brought closer to the user to enhance the feeling of control when operating the system? Can these changes make DP operations more efficient and safe? These questions inspired this research project, which investigates the use of multi-touch and hand gestures known from consumer products to directly manipulate the visualization of a vessel in the 3D scene of a DP system. Usability methodologies and evaluation techniques that are widely used in consumer market research were used to investigate how these interaction techniques, which are new to the maritime domain, could make interaction with the DP system more efficient and transparent both during standard and safety-critical operations. After investigating which gestures felt natural to use by running user tests with a paper prototype, the gestures were implemented into a Rolls-Royce DP system and tested in a static environment. The results showed that the test participants performed significantly faster using direct gesture manipulation compared to using traditional button/menu interaction. To support the results from these tests, further tests were carried out. The purpose is to investigate how gestures are performed in a moving environment, using a motion platform to simulate rough sea conditions. The key results and lessons learned from a collection of four user experiments, together with a discussion of the choice of evaluation techniques will be discussed in this paper

Is the Stack Distance Between Test Case and Method Correlated With Test Effectiveness?

Mutation testing is a means to assess the effectiveness of a test suite and its outcome is considered more meaningful than code coverage metrics. However, despite several optimizations, mutation testing requires a significant computational effort and has not been widely adopted in industry. Therefore, we study in this paper whether test effectiveness can be approximated using a more light-weight approach. We hypothesize that a test case is more likely to detect faults in methods that are close to the test case on the call stack than in methods that the test case accesses indirectly through many other methods. Based on this hypothesis, we propose the minimal stack distance between test case and method as a new test measure, which expresses how close any test case comes to a given method, and study its correlation with test effectiveness. We conducted an empirical study with 21 open-source projects, which comprise in total 1.8 million LOC, and show that a correlation exists between stack distance and test effectiveness. The correlation reaches a strength up to 0.58. We further show that a classifier using the minimal stack distance along with additional easily computable measures can predict the mutation testing result of a method with 92.9% precision and 93.4% recall. Hence, such a classifier can be taken into consideration as a light-weight alternative to mutation testing or as a preceding, less costly step to that.Comment: EASE 201

Teacher Evaluator Training & Certification: Lessons Learned From the Measures of Effective Teaching Project

Makes recommendations for the design and implementation of programs to train and certify principals in conducting teacher evaluations, including content, format, and length of training, scoring practice, and criteria for certification tests

DEVELOPMENT OF A MEDICAL STAFF RECRUITMENT SYSTEM FOR TEACHING HOSPITALS IN NIGERIA

Recruitment of staff into teaching hospitals in Nigeria, acts as the first step towards creating competitive strength and strategic advantage for such institutions. However, one of the major problems associated with these institutions in the South Western part of Nigeria is their mode of staff recruitment. In this research paper, we developed a suitable staff recruitment system for some health institutions in Nigeria, focusing specifically on some teaching hospitals. Three teaching hospitals in south west Nigeria, were visited and relevant information was collated through personal interviews and questionnaires administration to the staff of Human Resource Departments and other relevant health professionals of these teaching hospitals. The design and development of the system employs 3-tier web architecture. System design of the staff recruitment system consisted of design activities that produce system specifications satisfying the functional requirements that were developed in the system analysis process. A formal model of the staff recruitment system was built using Unified Modeling Language (UML). The UML, as a modeling system, which provides a set of conventions that were used to describe the software system in terms of objects, offers diagrams that provide different perspective views of the system parts. The Web-based Medical Recruitment System (WBMRS) was designed to be user friendly and it is easy to navigate