Estelle-based test generation tool

A test design tool for functional analysis and test derivation of protocols formally specified using an extended finitestate machine model is presented. The formal description language supported is Estelle. The tool's main components include a compiler, a normalizer, a multiple module transition tour generator and several interactive programs. The tool is based on a static analysis of Estelle called normalization, which is explained in detail with various examples. The normalized specification facilitates graphical displays of the control and data flow in the specification by the interactive tools. Next discussed is test generation, which is based on verifying the control and data flow. First the data flow graph must be decomposed into blocks where each block represents the data flow in a protocol function. From the control graph the tool generates transition tours, and then test sequences are derived from the transition tour to test each function. The performance of the tool on various applications is also included. © 1991

Report on the Standardization Project ``Formal Methods in Conformance Testing''

This paper presents the latest developments in the “Formal Methods in Conformance Testing” (FMCT) project of ISO and ITU–T. The project has been initiated to study the role of formal description techniques in the conformance testing process. The goal is to develop a standard that defines the meaning of conformance in the context of formal description techniques. We give an account of the current status of FMCT in the standardization process as well as an overview of the technical status of the proposed standard. Moreover, we indicate some of its strong and weak points, and we give some directions for future work on FMCT

Modeling and Testing Implementations of Protocols with Complex Messages

This paper presents a new language called APSL for formally describing protocols to facilitate automated testing. Many real world communication protocols exchange messages whose structures are not trivial, e.g. they may consist of multiple and nested fields, some could be optional, and some may have values that depend on other fields. To properly test implementations of such a protocol, it is not sufficient to only explore different orders of sending and receiving messages. We also need to investigate if the implementation indeed produces correctly formatted messages, and if it responds correctly when it receives different variations of every message type. APSL's main contribution is its sublanguage that is expressive enough to describe complex message formats, both text-based and binary. As an example, this paper also presents a case study where APSL is used to model and test a subset of Courier IMAP email server

Hardware/Software Co-design of Communication Protocols

An important aspect in providing high performance distributed systems such as multimedia systems is the combined use of hardware and software in the end systems. System design techniques should allow hardware/software co-design to integrate both means of implementation. In this paper, we show how the standardized formal language Estelle can be used to facilitate co-design. The system will first be designed in Estelle. At the point in time of final decision on which parts to implement in software and which in hardware, the original specification will be split into several partial specifications. The software parts are translated into C code, while the hardware parts are translated into VHDL code for further analysis and development. We present a tool environment which supports the protocol developer in the design and implementation process. A simple Video-on-Demand example shows the usefulness of the tool environment

Conformance Testing with Labelled Transition Systems: Implementation Relations and Test Generation

This paper studies testing based on labelled transition systems, presenting two test generation algorithms with their corresponding implementation relations. The first algorithm assumes that implementations communicate with their environment via symmetric, synchronous interactions. It is based on the theory of testing equivalence and preorder, as is most of the testing theory for labelled transition systems, and it is found in the literature in some slightly different variations. The second algorithm is based on the assumption that implementations communicate with their environment via inputs and outputs. Such implementations are formalized by restricting the class of labelled transition systems to those systems that can always accept input actions. For these implementations a testing theory is developed, analogous to the theory of testing equivalence and preorder. It consists of implementation relations formalizing the notion of conformance of these implementations with respect to labelled transition system specifications, test cases and test suites, test execution, the notion of passing a test suite, and the test generation algorithm, which is proved to produce sound test suites for one of the implementation relations

Learning and improvig languages for the milennial generation

The idea of my Bachelor thesis was born while I was in Erasmus in Madrid, Spain. In this international environment, I discovered that it was most complicated than I thought to learn a new language and to meet locals. With a friend, we started wondering what could be an adapted tool to help us learning and meeting new people for our generation, the so-called “Millennials”. I had the idea to create an app, that would allow local people and exchange student to meet and speak. I would call it “Meak”. Millennials is the greatest generation in the US and one of the largest in history. This generation has really specific characteristics that have to be understood in order to create products and services that are adapted to its needs and wants. We analyzed those characteristics and could highlight the following points about Millennials: • Multicultural • Digital natives • Internationals • Spending habits and skepticism In this context, an app could match with Millennials behaviors and needs. To ensure the app market is propitious to the launch of a startup, we looked closer at the business environment. It appeared to be crowded but mature. With efficient communication and marketing, it is an interesting market. Then, we designed the features that our app should contains by running surveys and interviews. We adapted our app to our findings. Once the app was designed, we had to ensure the business model would be viable and generate enough revenue. To do so, we used the business model canvas and realized the application is profitable. Finally, we made a prototype that has been shown to potential customers. We gathered feedback and explained which changed had to be done to match with their expectations

How does one do a Practice-Based PhD in Filmmaking?

This paper seeks to explore the issues raised by the process of engaging in a practice-based PhD in Filmmaking. As a sole practitioner the screenwriting doctoral student is able to explore her practice through the development of a screenplay, but what of the potential doctoral students who may wish to explore their specialist and professional filmmaking practices but who are unable to operate as sole practitioners, because of the collaborative requirements of the professional filmmaking model. Using the experience of the screenwriting doctoral investigation, and particularly the exploration of the relationship between methodology, exegesis and the creative artefact, we explore a potential model that would enable all filmmaking specialists to engage in doctoral research. Art students engaging in practice-based doctoral research do so in an environment formed by Government requirements that demand cultural, environmental and economic impacts as well as a methodology that to a large extent is formed by social science measures of value. Using this framework as a starting point we attempted to identify a suitable model that would enable filmmakers to undertake practice-based doctoral research