The reliability of real-time embedded software directly determines the reliability of the whole real-time embedded sys- tem, and the effective software testing is an important way to ensure software quality and reliab...The reliability of real-time embedded software directly determines the reliability of the whole real-time embedded sys- tem, and the effective software testing is an important way to ensure software quality and reliability. Based on the analysis of the characteristics of real-time embedded software, the formal method is introduced into the real-time embedded software testing field and the real-time extended finite state machine （RT-EFSM） model is studied firstly. Then, the time zone division method of real-time embedded system is presented and the definition and description methods of time-constrained transition equivalence class （timeCTEC） are presented. Furthermore, the approaches of the testing sequence and test case generation are put forward. Finally, the proposed method is applied to a typical avionics real- time embedded software testing practice and the examples of the timeCTEC, testing sequences and test cases are given. With the analysis of the testing result, the application verification shows that the proposed method can effectively describe the real-time embedded software state transition characteristics and real-time requirements and play the advantages of the formal methods in accuracy, effectiveness and the automation supporting. Combined with the testing platform, the real-time, closed loop and automated simulation testing for real-time embedded software can be realized effectively.展开更多
To explore correlation between the tk gene structure of pseudorabies virus (PRV) and its virulence, to study the effect of the gene mutation on PRV biological properties, and to investigate mechinism of reduced virule...To explore correlation between the tk gene structure of pseudorabies virus (PRV) and its virulence, to study the effect of the gene mutation on PRV biological properties, and to investigate mechinism of reduced virulence, thymidine kinase (TK)-deficient mutant of pseudorabies virus strain Hubei (PRV HB) was isolated by selection for resistance to 5-bromodeoxyuridine. The tk genes of PRV HB and its TK mutant were cloned and sequenced. 1587 base pairs of the tk gene and flanking regions of wild-type (wt) virus were sequenced, which included an open reading frame (ORF) of 1098 bp encoding a protein of 366 amino acids. The ORF contained two 137-bp repeated sequences, which were connected by an adenosine. 1458 bp of the tk and flanking regions of TK- mutant were sequenced. Analysis of the tk gene sequence of TK mutant indicated that one of 137 bp repeated sequence and the connecting adenosine in the tk gene of the wt virus was deleted and a repeated sequence of 8 nucleotides (GCGCGCC) was inserted. All展开更多
基金Foundation item:Project supported by the National Natural Science Foundation of China the Natural Science Foundation of Jiangsu Provincial Education Committee
基金supported by the Aviation Science Foundation of China
文摘The reliability of real-time embedded software directly determines the reliability of the whole real-time embedded sys- tem, and the effective software testing is an important way to ensure software quality and reliability. Based on the analysis of the characteristics of real-time embedded software, the formal method is introduced into the real-time embedded software testing field and the real-time extended finite state machine （RT-EFSM） model is studied firstly. Then, the time zone division method of real-time embedded system is presented and the definition and description methods of time-constrained transition equivalence class （timeCTEC） are presented. Furthermore, the approaches of the testing sequence and test case generation are put forward. Finally, the proposed method is applied to a typical avionics real- time embedded software testing practice and the examples of the timeCTEC, testing sequences and test cases are given. With the analysis of the testing result, the application verification shows that the proposed method can effectively describe the real-time embedded software state transition characteristics and real-time requirements and play the advantages of the formal methods in accuracy, effectiveness and the automation supporting. Combined with the testing platform, the real-time, closed loop and automated simulation testing for real-time embedded software can be realized effectively.
文摘To explore correlation between the tk gene structure of pseudorabies virus (PRV) and its virulence, to study the effect of the gene mutation on PRV biological properties, and to investigate mechinism of reduced virulence, thymidine kinase (TK)-deficient mutant of pseudorabies virus strain Hubei (PRV HB) was isolated by selection for resistance to 5-bromodeoxyuridine. The tk genes of PRV HB and its TK mutant were cloned and sequenced. 1587 base pairs of the tk gene and flanking regions of wild-type (wt) virus were sequenced, which included an open reading frame (ORF) of 1098 bp encoding a protein of 366 amino acids. The ORF contained two 137-bp repeated sequences, which were connected by an adenosine. 1458 bp of the tk and flanking regions of TK- mutant were sequenced. Analysis of the tk gene sequence of TK mutant indicated that one of 137 bp repeated sequence and the connecting adenosine in the tk gene of the wt virus was deleted and a repeated sequence of 8 nucleotides (GCGCGCC) was inserted. All
