A Test Sequence Selection Method for Parallel Software Systems

2011 ◽  
Author(s):  
Tao Sun ◽  
Xinming Ye ◽  
Jing Liu
Keyword(s):  
Selection Method ◽  
Test Sequence ◽  
Software Systems ◽  
Sequence Selection ◽  
Parallel Software

A test sequence selection method for statecharts

2000 ◽  
Vol 10 (4) ◽  
pp. 203-227 ◽  
Author(s):  
Hyoung Seok Hong ◽  
Young Gon Kim ◽  
Sung Deok Cha ◽  
Doo Hwan Bae ◽  
Hasan Ural
Keyword(s):  
Selection Method ◽  
Test Sequence ◽  
Sequence Selection

scholarly journals Essential Notes Regarding the Design of Functional siRNAs for Efficient Mammalian RNAi

2006 ◽  
Vol 2006 ◽  
pp. 1-8 ◽  
Author(s):  
Kumiko Ui-Tei ◽  
Yuki Naito ◽  
Kaoru Saigo
Keyword(s):  
Rna Interference ◽  
Mammalian Cells ◽  
Target Gene ◽  
Software Systems ◽  
Sirna Sequence ◽  
Web Based ◽  
Sequence Selection ◽  
Endogenous Genes ◽  
Selection Algorithms ◽  
Online Software

Short interfering RNAs (siRNAs) are widely used to bring about RNA interference (RNAi) in mammalian cells. Numerous siRNAs may be designed for any target gene though most of which would be incapable of efficiently inducing mammalian RNAi. Certain highly functional siRNAs designed for knockout of a particular gene may render unrelated endogenous genes nonfunctional. These major bottlenecks should be properly eliminated when RNAi technologies are employed for any experiment in mammalian functional genomics. This paper thus presents essential notes and findings regarding the proper choice of siRNA-sequence selection algorithms and web-based online software systems.

scholarly journals Robust Sequence Selection Method Used To Develop the FluChip Diagnostic Microarray for Influenza Virus

2006 ◽  
Vol 44 (8) ◽  
pp. 2857-2862 ◽  
Author(s):  
M. Mehlmann ◽  
E. D. Dawson ◽  
M. B. Townsend ◽  
J. A. Smagala ◽  
C. L. Moore ◽  
...  
Keyword(s):  
Influenza Virus ◽  
Selection Method ◽  
Sequence Selection

Protein Sequence Selection Method That Enables Full Consensus Design of Artificial l-Threonine 3-Dehydrogenases with Unique Enzymatic Properties

Biochemistry ◽  
2020 ◽  
Vol 59 (40) ◽  
pp. 3823-3833
Author(s):  
Tomoharu Motoyama ◽  
Nozomi Hiramatsu ◽  
Yasuhisa Asano ◽  
Shogo Nakano ◽  
Sohei Ito
Keyword(s):  
Protein Sequence ◽  
Selection Method ◽  
Enzymatic Properties ◽  
Sequence Selection ◽  
Full Consensus

scholarly journals A Model Reduction Method for Parallel Software Testing

2013 ◽  
Vol 2013 ◽  
pp. 1-13 ◽  
Author(s):  
Tao Sun ◽  
Xinming Ye
Keyword(s):  
Model Reduction ◽  
Reduction Method ◽  
Formal Model ◽  
Equivalent Model ◽  
Scale Model ◽  
Parallel Structure ◽  
Software Systems ◽  
System Specification ◽  
Parallel Software ◽  
Coloured Petri Net

Modeling and testing for parallel software systems are very difficult, because the number of states and execution sequences expands significantly caused by parallel behaviors. In this paper, a model reduction method based on Coloured Petri Net (CPN) is shown, which could generate a functionality-equivalent and trace-equivalent model with smaller scale. Model-based testing for parallel software systems becomes much easier after the model is reduced by the reduction method. Specifically, a formal model for software system specification is constructed based on CPN. Then the places in the model are divided into input places, output places, and internal places; the transitions in the model are divided into input transitions, output transitions, and internal transitions. Internal places and internal transitions could be reduced if preconditions are matching, and some other operations should be done for functionality equivalence and trace equivalence. If the place and the transition are in a parallel structure, then many execution sequences will be removed from the state space. We have proved the equivalence and have analyzed the reduction effort, so that we could get the same testing result with much lower testing workload. Finally, some practices and a performance analysis show that the method is effective.

Sign in / Sign up

Export Citation Format

Share Document