Suraj Ajit

Model-based tool support for Tactical Data Links: an experience report from the defence domain

The Tactical Data Link (TDL) allows the exchange of information between cooperating platforms as part of an integrated command and control (

Automated test case generation from high-level logic requirements using model transformation techniques

C^2

The adoption of e-government in Arab Countries - The case of Libya

C2) system. Information exchange is facilitated by adherence to a complex, message-based protocol defined by document-centric standards. In this paper, we report on a recent body of work investigating migration from a document-centric to a model-centric approach within the context of the TDL domain, motivated by a desire to achieve a positive return on investment. The model-centric approach makes use of the Epsilon technology stack and provides a significant improvement to both the level of abstraction and rigour of the network design. It is checkable by a machine and, by virtue of an MDA-like approach to the separation of domains and model transformation between domains, is open to integration with other models to support more complex workflows, such as by providing the results of interoperability analyses in human-readable domain-specific reports conforming to an accepted standard.

Assessment of programming modules in software engineering education

There has been a strong focus on the evaluation of Quality of Service (QoS) and multimedia transmission over protocols of internet protocol (IP). The main goal of this paper is to evaluate the performance of QoS in real implementation, also a comparison of an appropriate video and voice (CODECS) over IP schemes depending on the SIP and IAX2 protocols based on the Asterisk PBX server(s), an open source communication platform. The network was implemented within various private networks, such as Wire and Wi-Fi, which serves as a local exchange for placing various calls. Quality has been evaluated based on some QoS parameters such as bandwidth, jitter and delay to investigate the performance of different codecs in video and voice over IP (VVoIP) network. The VVoIP codecs used in the measurements are: G.711 (ulaw&alaw), GSM, G.722, Speex, H.263, H.264, H.261 and H.263P. Evaluation of performance results will give network Planners and Multimedia protocols developers an opportunity to select the codec for VVoIP performance enhancement, which can lead to improved customer satisfaction.

Exam as an assessment instrument in computer programming courses: student perceptions

It is not uncommon for industries to use natural language to represent high-level software requirement specifications. It is also not uncommon for these requirement specifications to be translated into design and used further for implementation and generation of test cases in the software engineering life-cycle. These requirements are often ambiguous, incorrect, and incomplete. Finding them late in the development lifecycle proves very expensive and lowers the productivity. This paper reports on the experience of applying model-based technologies from academia to a real-world problem domain in the aviation industry to improve the productivity. The paper focuses on the application of a model-based technique to automatically generate test cases to satisfy Modified Condition/Decision Coverage (MC/DC) from high-level logic requirements expressed in a Domain Specific Language (DSL).

Drawbacks of inter-asterisk exchange protocol in V. VoIP

Model-based software development has been shown to improve productivity and quality of software through automation. This involves using abstractions or models at several stages of development. This work reports on preliminary attempts to automate the generation of test cases from software requirement models using an industrial case study. The requirements are represented using a modeling notation and test cases are automatically generated using model to text transformation techniques.