19 research outputs found

    Frames for protocol description

    Get PDF

    A test suite conversion method: from interoperability test to conformance test

    Get PDF
    In this paper we propose a method for easier creation of conformance test suites. Instead of a formal description of a protocol, our method needs an interoperability test suite. The conformance test suite in this method is constructed by re-using parts of an existing test suite. We have used a test suite for OSPF (Open Shortest Path First) routing protocol to present our method through an example. We describe how the interoperability test suite and the conformance test suite for the same protocol look like. Then we construct the re-using method by comparing these test suites and by identifying the re-usable parts. We also investigate the resulted test suite to find out the goodness of the conversion. Finally, we compare the coverage of two conformance test suites that are based on the same test purposes and one of them was created by this conversion method

    On FSM-based Fault Diagnosis

    No full text
    Abstract. We study the problem of fault diagnosis, i.e., localization of difference(s) between an implementation and a specification in systems modelled by finite state machines. We show that even considering only a single fault in a finite state machine there are some situations when the exact diagnosis of the fault cannot be assured. We give an algorithm for fault diagnosis. If it is possible the procedure exactly locates a single fault, and in case exact localization is unfeasible it provides the set of all potential differences between the implementation and the specification

    Agroclimatological properties of growing sites assigned to apple and pear production in Hungary

    No full text
    Apple and pear growing sites in Hungary are classified into four regions according to the Hydro-thermic Coefficient: dry, moderately dry. moderately humid and humid. Most of the plantations of apple and pear are located in regions considered as moderately dry and moderately humid. Within that category, the two respective species have different preferences, i.e. the ecological features of Hungary give different opportunities for apple and pear growing. Apple is grown almost everywhere in the country, successfully. The selection of cultivar-regions is needed mainly for increasing competitiveness on the market. Main apple growing regions are listed in 3 large groups. For the definition of cultivar-regions, mainly the configurations of soil and precipitation, i.e. conditions of the soil and opportunities of gaining water were decisive. Market factors are also considered. The area assigned to pear is much less than that of apple, in Hungary. Some well known and popular varieties would require high air humidity which cannot be presented in most of Hungary. Therefore, the possibility to establish regions for pear varieties is restricted, we have to create a particular micro-environment. Two groups are potential. The first one comprises sites where the annual precipitation is 700 mm, at least. There, apple and pear production would compete each other. In more dry habitats (less than 700 mm annual precipitation), micro-environments should be found and only drought-resistant, mainly summer-ripe cultivars should be chosen with, preferably, low tendency of sclereid formation. In that case, neither irrigation could help to produce adequate quality in varieties sensitive to low air humidity. &nbsp
    corecore