Posts

Showing posts from June, 2018
Image
DEFINING A FORMAL SEMANTICS FOR REAL-TIME TEST  SPECIFICATION WITH TTCN-3 1 Diana Alina Serbanescu1 and Ina Schieferdecker2 1FOKUS Fraunhofer Institute for Open Communication Systems, MOTION Department, Berlin, Germany 2Free University of Berlin, Department of Mathematics and Computer Science,  Software Engineering, Berlin, Germany ABSTRACT Real-time software is usually used in circumstances where safety is important and the margin for errors is narrow. These kinds of systems have applicability in a broad band of domains as: automotive, avionics, air traffic control, nuclear power stations, industrial control, etc. As the name denotes, the main feature of "real-time" applications is the criticality of their timeliness. Guaranteeing certain timeliness requires appropriate testing. As manual testing is burdensome and error prone, automated testing techniques are required. Although the importance of having a standard environment for automatic testing is h...
Image
TOWARDS CEREBRAL PALSY DIAGNOSIS: ANONTOLOGY BASED APPROACH Mohammad S. Zurob1 and Dr. Wael F. Al Sarraj2  1,2Faculty of Information Technology, The Islamic University, Gaza, Palestine    ABSTRACT Cerebral Palsy (CP) is one of the most complicated disabilities which is a permanent motor disorder causing mental and physical disabilities. Different reports published by different health organizations asked for researches on CP disability in order to improve diagnosis. Globally, there are different researches conducted to improve CP diagnosis, but most of those studies do not diagnose CP in children’s early ages, which limit the treatment impact. This paper report on a research conducted to develop an ontology-based approach to diagnose children with CP in early ages. In this paper, Ontology was used to represent CP domain. Then, a set of manually built rules have been optimized through a knowledge-based survey to be used in CP diagnosis. The proposed appro...
Image
 QUALITY METRICS OF TEST SUITES IN TESTDRIVEN DESIGNED APPLICATIONS Hessah Alkaoud and Kristen R. Walcott  Department of Computer Science, University of Colorado Springs, CO, USA  ABSTRACT New techniques for writing and developing software have evolved in recent years. One is Test-Driven Development (TDD) in which tests are written before code. No code should be written without first having a test to execute it. Thus, in terms of code coverage, the quality of test suites written using TDD should be high. In this work, we analyze applications written using TDD and traditional techniques. Specifically, we demonstrate the quality of the associated test suites based on two quality metrics: 1) structure-based criterion, 2) fault-based criterion. We learn that test suites with high branch test coverage will also have high mutation scores, and we especially reveal this in the case of TDD applications. We found that TestDriven Development is an effective...