• Journal of KIISE:Computing Practices and Letters
• /
• v.6 no.2
• /
• pp.135-149
• /
• 2000

Most of prior works on testing parallel programs have concentrated on how to guarantee the reproducibility by employing event traces exercised during executions of a program. Consequently, little work has been done to generate test cases, especially, from specifications produced from software development process. In this research work, we devise the techniques for deriving test cases automatically from the specifications written in Message Sequence Charts(MSCs) which are widely used in telecommunication areas and develop the testing environment for performing module testing of parallel programs with derived test cases. For deriving test cases from MSCs, we have to uncover the causality relations among events embedded implicitly in MSCs. For this, we devise the methods for adapting vector time stamping to MSCs, Then, valid event sequences, satisfying the causality relations, are generated and these are used as test cases. The generated test cases, written in TTCN, are translated into CHILL source codes, which interact with a target module to be tested and test the validity of behaviors of the module. Since the testing method developed in this research work extracts test cases from the MSC specifications produced front telecommunications software development process, it is not necessary to describe auxiliary specifications for testing. In audition adapting vector time stamping generates automatically the event sequences, the generated event sequences that are ones for whole system can be used for individual testing purpose.

• Journal of Life Science
• /
• v.30 no.3
• /
• pp.304-312
• /
• 2020

Agarase can be used in the field of basic science, as well as for production of agar-derived high-functional oligosaccharides and bioenergy production using algae. In 2012, we summarized the classification, origin, production, and applications of agar. In this paper, we briefly review the literature on the recombinant expression of agarases from 2012 to the present. Agarase genes originated from 19 genera, including Agarivorans, Flammeovirga, Pseudoalteromonas, Gayadomonas, Catenovulum, Microbulbifer, Cellulophaga, Saccharophagus, Simiduia, and Vibrio. Of the 47 recombinant agarases, there were only two α-agarases, while the rest were β-agarases. All α-agarases produced agarotetraose, while β-agarases yielded many neoagarooligosaccharides ranging from neoagarobiose to neoagarododecaose. The optimum temperature ranged between 25 and 60℃, and the optimum pH ranged from 3.0 to 8.5. There were 14 agarases with an optimum temperature of 50℃ or higher, where agar is in sol state after melting. Artificial mutations, including manipulation of carbohydrate-binding modules (CBM), increased thermostability and simultaneously raised the optimum temperature and activity. Many hosts and secretion signals or riboswitches have been used for recombinant expression. In addition to gene recombination based on the amino acid sequence after agarase purification, recombinant expression of the putative agarase genes after genome sequencing and metagenome-derived agarases have been studied. This study is expected to be actively used in the application fields of agarase and agarase itself.

• Microbiology and Biotechnology Letters
• /
• v.44 no.3
• /
• pp.391-399
• /
• 2016

Melithiazols are antifungal substances produced by the myxobacteria Melitangium lichenicola, Archangium gephyra, and Myxococcus stipitatus. Melithiazol biosynthetic genes have been identified in M. lichenicola, but not in A. gephyra and M. stipitatus until now. We identified a 37.3-kb melithiazol biosynthetic gene cluster from M. stipitatus DSM 14675 using genome sequence analysis and mutational analysis. The cluster is comprised of 9 genes (MYSTI_04973 to MYSTI_04965) that encode 4 polyketide synthase modules, 3 non-ribosomal peptide synthase modules, a putative fumarylacetoacetate hydrolase, a putative S-adenosylmethionine-dependent methyltransferase, and a putative nitrilase. Disruption of the MYSTI_04972 or MYSTI_04973 gene by plasmid insertion resulted in defective melithiazol production. The organization of the melithiazol biosynthetic modules encoded by 8 genes from MYSTI_04972 to MYSTI_04965 was similar to that in M. lichenicola Me l46. However, the loading module encoded by the first gene (MYSTI_04973) was different from that of M. lichenicola Me l46, explaining the difference in the production of melithiazol derivatives between the M. lichenicola Me l46 and M. stipitatus strains.

• Journal of Advanced Navigation Technology
• /
• v.19 no.5
• /
• pp.423-432
• /
• 2015

This paper shows that design, manufacture and the performance of FC-NIC (fibre channel network interface card) for network unit configuration which is based on one of the 5 main configuration items of the common functional module for IMA (integrated modular Avionics) architecture. Especially, FC-NIC uses zynq SoC (system on chip) for host load reductions. The host merely transmit FC destination address, source memory location and size information to the FC-NIC. After then the FC-NIC read the host memory via DMA (direct memory access). FC upper layer protocol and sequence process at local processor and programmable logic of FC-NIC zynq SoC. It enables to free from host load for external communication. The performance of FC-NIC shows average 5.47 us low end-to-end latency at 2.125 Gbps line speed. It represent that FC-NIC is one of good candidate network for IMA.

• Proceedings of the Microbiological Society of Korea Conference
• /
• 2007.05a
• /
• pp.120-122
• /
• 2007

All living organisms use numerous signal-transduction pathways to sense and respond to their environments and thereby survive and proliferate in a range of biological niches. Molecular dissection of these signalling networks has increased our understanding of these communication processes and provides a platform for therapeutic intervention when these pathways malfunction in disease states, including infection. Owing to the expanding availability of sequenced genomes, a wealth of genetic and molecular tools and the conservation of signalling networks, members of the fungal kingdom serve as excellent model systems for more complex, multicellular organisms. Here, we employed Cryptococcus neoformans as a model system to understand how fungal-signalling circuits operate at the molecular level to sense and respond to a plethora of environmental stresses, including osmoticshock, UV, high temperature, oxidative stress and toxic drugs/metabolites. The stress-activated p38/Hog1 MAPK pathway is structurally conserved in many organisms as diverse as yeast and mammals, but its regulation is uniquely specialized in a majority of clinical Cryptococcus neoformans serotype A and D strains to control differentiation and virulence factor regulation. C. neoformans Hog1 MAPK is controlled by Pbs2 MAPK kinase (MAPKK). The Pbs2-Hog1 MAPK cascade is controlled by the fungal "two-component" system that is composed of a response regulator, Ssk1, and multiple sensor kinases, including two-component.like (Tco) 1 and Tco2. Tco1 and Tco2 play shared and distinct roles in stress responses and drug sensitivity through the Hog1 MAPK system. Furthermore, each sensor kinase mediates unique cellular functions for virulence and morphological differentiation. We also identified and characterized the Ssk2 MAPKKK upstream of the MAPKK Pbs2 and the MAPK Hog1 in C. neoformans. The SSK2 gene was identified as a potential component responsible for differential Hog1 regulation between the serotype D sibling f1 strains B3501 and B3502 through comparative analysis of their meiotic map with the meiotic segregation of Hog1-dependent sensitivity to the fungicide fludioxonil. Ssk2 is the only polymorphic component in the Hog1 MAPK module, including two coding sequence changes between the SSK2 alleles in B3501 and B3502 strains. To further support this finding, the SSK2 allele exchange completely swapped Hog1-related phenotypes between B3501 and B3502 strains. In the serotype A strain H99, disruption of the SSK2 gene dramatically enhanced capsule biosynthesis and mating efficiency, similar to pbs2 and hog1 mutations. Furthermore, ssk2, pbs2, and hog1 mutants are all hypersensitive to a variety of stresses and completely resistant to fludioxonil. Taken together, these findings indicate that Ssk2 is the critical interface protein connecting the two-component system and the Pbs2-Hog1 pathway in C. neoformans.

• Journal of Life Science
• /
• v.19 no.6
• /
• pp.809-817
• /
• 2009

The phenotypes associated with a gene function are often the best clue to its role in the plant. Transgenic plants ectopically expressing or suppressing a gene can provide useful information related to the gene function. In this study, we constructed three vectors - pFGL571, pFGL846 and pFGL847 - for the Agrobacterium-mediated ectopic expression of plant genes using pPZP211 and modified CaMV 35S, UBQ3 or UBQ10 promoters. The three vectors have several merits such as small size, high copy in bacteria, enough restriction enzyme sites in multi cloning sites and nucleotide sequence information. Analysis of transgenic plants containing GUS or sGFP reporter genes under the control of modified CaMV 35S, UBQ3 or UBQI0 promoter revealed that all of the three promoters showed high activities during most developmental stages after germination and in floral organs. Furthermore, we generated a RNAi module vector, pFGL727, to suppress plant gene expressions and confirmed that pFGL727 is useful for the suppression of a gene expression using rice transgenic plants. Taken together, our new vectors would be very useful for the ectopic expression or the suppression of plant genes.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.21 no.2
• /
• pp.37-47
• /
• 2011

In the recent years, malicious codes called malware are having shown significant increase due to the code obfuscation to evade detection mechanisms. When the code obfuscation technique is applied to malwares, they can change their instruction sequence and also even their signature. These malwares which have same functionality and different appearance are able to evade signature-based AV products. Thus, AV venders paid large amount of cost to analyze and classify malware for generating the new signature. In this paper, we propose a novel approach for detecting metamorphic malwares. The proposed mechanism first converts malware's API call sequences to call graph through dynamic analysis. After that, the callgraph is converted to semantic signature using 128 abstract nodes. Finally, we extract all subgraphs and analyze how similar two malware's behaviors are through subgraph similarity. To validate proposed mechanism, we use 273 real-world malwares include obfuscated malware and analyze 10,100 comparison results. In the evaluation, all metamorphic malwares are classified correctly, and similar module behaviors among different malwares are also discovered.

• Journal of Intelligence and Information Systems
• /
• v.18 no.2
• /
• pp.61-83
• /
• 2012

A knowledge map describes the network of related knowledge into the form of a diagram, and therefore underpins the structure of knowledge categorizing and archiving by defining the relationship of the referential navigation between knowledge. The referential navigation between knowledge means the relationship of cross-referencing exhibited when a piece of knowledge is utilized by a user. To understand the contents of the knowledge, a user usually requires additionally information or knowledge related with each other in the relation of cause and effect. This relation can be expanded as the effective connection between knowledge increases, and finally forms the network of knowledge. A network display of knowledge using nodes and links to arrange and to represent the relationship between concepts can provide a more complex knowledge structure than a hierarchical display. Moreover, it can facilitate a user to infer through the links shown on the network. For this reason, building a knowledge map based on the ontology technology has been emphasized to formally as well as objectively describe the knowledge and its relationships. As the necessity to build a knowledge map based on the structure of the ontology has been emphasized, not a few researches have been proposed to fulfill the needs. However, most of those researches to apply the ontology to build the knowledge map just focused on formally expressing knowledge and its relationships with other knowledge to promote the possibility of knowledge reuse. Although many types of knowledge maps based on the structure of the ontology were proposed, no researches have tried to design and implement the referential navigation-enabled knowledge map. This paper addresses a methodology to build the ontology-based knowledge map enabling the referential navigation between knowledge. The ontology-based knowledge map resulted from the proposed methodology can not only express the referential navigation between knowledge but also infer additional relationships among knowledge based on the referential relationships. The most highlighted benefits that can be delivered by applying the ontology technology to the knowledge map include; formal expression about knowledge and its relationships with others, automatic identification of the knowledge network based on the function of self-inference on the referential relationships, and automatic expansion of the knowledge-base designed to categorize and store knowledge according to the network between knowledge. To enable the referential navigation between knowledge included in the knowledge map, and therefore to form the knowledge map in the format of a network, the ontology must describe knowledge according to the relation with the process and task. A process is composed of component tasks, while a task is activated after any required knowledge is inputted. Since the relation of cause and effect between knowledge can be inherently determined by the sequence of tasks, the referential relationship between knowledge can be circuitously implemented if the knowledge is modeled to be one of input or output of each task. To describe the knowledge with respect to related process and task, the Protege-OWL, an editor that enables users to build ontologies for the Semantic Web, is used. An OWL ontology-based knowledge map includes descriptions of classes (process, task, and knowledge), properties (relationships between process and task, task and knowledge), and their instances. Given such an ontology, the OWL formal semantics specifies how to derive its logical consequences, i.e. facts not literally present in the ontology, but entailed by the semantics. Therefore a knowledge network can be automatically formulated based on the defined relationships, and the referential navigation between knowledge is enabled. To verify the validity of the proposed concepts, two real business process-oriented knowledge maps are exemplified: the knowledge map of the process of 'Business Trip Application' and 'Purchase Management'. By applying the 'DL-Query' provided by the Protege-OWL as a plug-in module, the performance of the implemented ontology-based knowledge map has been examined. Two kinds of queries to check whether the knowledge is networked with respect to the referential relations as well as the ontology-based knowledge network can infer further facts that are not literally described were tested. The test results show that not only the referential navigation between knowledge has been correctly realized, but also the additional inference has been accurately performed.