Being different from testing for popular GUI software, the “instruction-category” approach is proposed for testing embedded system. This approach is constructed by three steps including refining items, drawing instr...Being different from testing for popular GUI software, the “instruction-category” approach is proposed for testing embedded system. This approach is constructed by three steps including refining items, drawing instruction-brief and instruction-category, and constructing test suite. Consequently, this approach is adopted to test oven embedded system, and detail process is deeply discussed. As a result, the factual result indicates that the “instruction-category” approach can be effectively applied in embedded system testing as a black-box method for conformity testing.展开更多
Nowadays the E-bank systems witnessed huge growth due to the huge developments in the internet and technologies.The transmitted information represents crucial information that is exposed to various kinds of attacks.Th...Nowadays the E-bank systems witnessed huge growth due to the huge developments in the internet and technologies.The transmitted information represents crucial information that is exposed to various kinds of attacks.This paper presents a new block cipher technique to provide security to the transmitted information between the customers and the ebank systems.The proposed algorithm consists of 10 rounds,each round involves 5 operations.The operations involve Add round key,Sub bytes,Zigzag method,convert to vector,and Magic Square of order 11.The purpose of this algorithm is to make use of the complexity of the Magic Square algorithm,the speed of addition operation,the confusion provided by the zigzag,using these operations with Galois field 28 GF(28),and repeating these operations for several rounds to build fast high secure encryption algorithm.This algorithm is designed to provide fast with high complexity and security which is suitable to encrypt the data that is transmitted over the internet.Speed,complexity,and The National Institute of Standards and Technology Framework NIST suite tests were done.The complexity of the proposed algorithm is=((256)32)r+1∗((256)89)r+1+(256)121.The proposed technique gives higher speed and security in the encryption and decryption phases,according to the results of the experiments.The degree of randomness has grown by 31.8 percent.Due to a decrease in the time of encrypting and decrypting,as well as the usage of the central processing unit(CPU),efficiency is improved.The encryption process throughput is enhanced by 13%,while the decryption process throughput is increased by 11.6 percent with the recommended approach.展开更多
Formal methods for test sequence generation from FSM have been studied widely andthoroughly,but most real communication systems can only be modeled as EFSM exactly.Data portion in EFSM brings difficulties for test sui...Formal methods for test sequence generation from FSM have been studied widely andthoroughly,but most real communication systems can only be modeled as EFSM exactly.Data portion in EFSM brings difficulties for test suite generation.In this paper,the strategyof generating test suite from protocols modelled as EFSM is presented.This strategy consid-ers testing of both the control portion and data portion of protocols.A software,the testsuite generation system(TSGS)based on above strategy,is introduced.展开更多
This preliminary study shows an innovative concept of searching for peat substitutes on basis of renewable raw materials considering the cultivation in extensive land use in Lower Saxony (Germany). Selecting suitable ...This preliminary study shows an innovative concept of searching for peat substitutes on basis of renewable raw materials considering the cultivation in extensive land use in Lower Saxony (Germany). Selecting suitable raw material plants against the background of ecological, social and economic issues followed by testing series including those materials should lead on to reliable results for a planned transition through a spatial analysis of potential areas for cultivation with a specific attention on wetlands. Thereby this short report illustrates the concept of the study as well as chosen interim results and it is to be understood as the first paper of a mini-series.展开更多
CHINA is witnessing the reversal of a past trend, thanks to more than a decade of fast develop ment. In the early 2000s. many large state-owned enterprises （SOEs） were carved up into smaller companies to increase th...CHINA is witnessing the reversal of a past trend, thanks to more than a decade of fast develop ment. In the early 2000s. many large state-owned enterprises （SOEs） were carved up into smaller companies to increase their competitiveness. Now however, many of them are regrouping to respond better to changed market conditions.展开更多
有许多软件可以帮助分子生物学工作者解决一些他们日常实验室工作中遇到的问题。Vector NTI Su ite是一种高度集成、功能齐全的分子生物学应用软件,它可以对核酸、蛋白质等分子进行大量的操作和分析,以及建立和管理生物数据库。重点对Ve...有许多软件可以帮助分子生物学工作者解决一些他们日常实验室工作中遇到的问题。Vector NTI Su ite是一种高度集成、功能齐全的分子生物学应用软件,它可以对核酸、蛋白质等分子进行大量的操作和分析,以及建立和管理生物数据库。重点对Vector NTI Su ite软件的概况、应用现状及其在分子生物学领域的应用进行综述与探讨。展开更多
基于Blackboard平台数据库,研究设计了一种运行数据分析系统.在Blackboard网络教学平台中,用户的课程访问记录、测试使用情况、论坛使用情况可通过ACTIVITY_ACCUMULA-TOR、ATTEMPT、FORUM_MAIN等表的记录、计算后得到.所有数据从Blackbo...基于Blackboard平台数据库,研究设计了一种运行数据分析系统.在Blackboard网络教学平台中,用户的课程访问记录、测试使用情况、论坛使用情况可通过ACTIVITY_ACCUMULA-TOR、ATTEMPT、FORUM_MAIN等表的记录、计算后得到.所有数据从Blackboard平台数据库(ora-cle)导出到SQL Server数据库,再经过数据处理、汇总后,进行按课程汇总分析、按用户汇总分析、平台整体汇总分析.开发的数据分析系统利用SQL Server 2005对数据进行管理,易维护、扩展,数据传输和计算均在服务器端完成,增强了系统安全性和易维护性;采用Microsoft.NET MVC架构开发B/S网站,系统界面友好、简捷易操作.实际运行表明,Blackboard平台运行数据分析系统运行速度快、操作透明度高,对历史数据和准实时数据均能进行查询,结果准确.此系统已在实践中应用,并取得了良好效果.展开更多
文摘Being different from testing for popular GUI software, the “instruction-category” approach is proposed for testing embedded system. This approach is constructed by three steps including refining items, drawing instruction-brief and instruction-category, and constructing test suite. Consequently, this approach is adopted to test oven embedded system, and detail process is deeply discussed. As a result, the factual result indicates that the “instruction-category” approach can be effectively applied in embedded system testing as a black-box method for conformity testing.
文摘Nowadays the E-bank systems witnessed huge growth due to the huge developments in the internet and technologies.The transmitted information represents crucial information that is exposed to various kinds of attacks.This paper presents a new block cipher technique to provide security to the transmitted information between the customers and the ebank systems.The proposed algorithm consists of 10 rounds,each round involves 5 operations.The operations involve Add round key,Sub bytes,Zigzag method,convert to vector,and Magic Square of order 11.The purpose of this algorithm is to make use of the complexity of the Magic Square algorithm,the speed of addition operation,the confusion provided by the zigzag,using these operations with Galois field 28 GF(28),and repeating these operations for several rounds to build fast high secure encryption algorithm.This algorithm is designed to provide fast with high complexity and security which is suitable to encrypt the data that is transmitted over the internet.Speed,complexity,and The National Institute of Standards and Technology Framework NIST suite tests were done.The complexity of the proposed algorithm is=((256)32)r+1∗((256)89)r+1+(256)121.The proposed technique gives higher speed and security in the encryption and decryption phases,according to the results of the experiments.The degree of randomness has grown by 31.8 percent.Due to a decrease in the time of encrypting and decrypting,as well as the usage of the central processing unit(CPU),efficiency is improved.The encryption process throughput is enhanced by 13%,while the decryption process throughput is increased by 11.6 percent with the recommended approach.
基金Sponsored by Natural Sclence Foundation of China.
文摘Formal methods for test sequence generation from FSM have been studied widely andthoroughly,but most real communication systems can only be modeled as EFSM exactly.Data portion in EFSM brings difficulties for test suite generation.In this paper,the strategyof generating test suite from protocols modelled as EFSM is presented.This strategy consid-ers testing of both the control portion and data portion of protocols.A software,the testsuite generation system(TSGS)based on above strategy,is introduced.
基金facilitated by the Ministry of Food,Agriculture and Consumer Protection of Lower Saxony(Germany).
文摘This preliminary study shows an innovative concept of searching for peat substitutes on basis of renewable raw materials considering the cultivation in extensive land use in Lower Saxony (Germany). Selecting suitable raw material plants against the background of ecological, social and economic issues followed by testing series including those materials should lead on to reliable results for a planned transition through a spatial analysis of potential areas for cultivation with a specific attention on wetlands. Thereby this short report illustrates the concept of the study as well as chosen interim results and it is to be understood as the first paper of a mini-series.
文摘CHINA is witnessing the reversal of a past trend, thanks to more than a decade of fast develop ment. In the early 2000s. many large state-owned enterprises （SOEs） were carved up into smaller companies to increase their competitiveness. Now however, many of them are regrouping to respond better to changed market conditions.
文摘有许多软件可以帮助分子生物学工作者解决一些他们日常实验室工作中遇到的问题。Vector NTI Su ite是一种高度集成、功能齐全的分子生物学应用软件,它可以对核酸、蛋白质等分子进行大量的操作和分析,以及建立和管理生物数据库。重点对Vector NTI Su ite软件的概况、应用现状及其在分子生物学领域的应用进行综述与探讨。
文摘基于Blackboard平台数据库,研究设计了一种运行数据分析系统.在Blackboard网络教学平台中,用户的课程访问记录、测试使用情况、论坛使用情况可通过ACTIVITY_ACCUMULA-TOR、ATTEMPT、FORUM_MAIN等表的记录、计算后得到.所有数据从Blackboard平台数据库(ora-cle)导出到SQL Server数据库,再经过数据处理、汇总后,进行按课程汇总分析、按用户汇总分析、平台整体汇总分析.开发的数据分析系统利用SQL Server 2005对数据进行管理,易维护、扩展,数据传输和计算均在服务器端完成,增强了系统安全性和易维护性;采用Microsoft.NET MVC架构开发B/S网站,系统界面友好、简捷易操作.实际运行表明,Blackboard平台运行数据分析系统运行速度快、操作透明度高,对历史数据和准实时数据均能进行查询,结果准确.此系统已在实践中应用,并取得了良好效果.
