Software security poses substantial risks to our society because software has become part of our life. Numerous techniques have been proposed to resolve or mitigate the impact of software security issues. Among them, ...Software security poses substantial risks to our society because software has become part of our life. Numerous techniques have been proposed to resolve or mitigate the impact of software security issues. Among them, software testing and analysis are two of the critical methods, which significantly benefit from the advancements in deep learning technologies. Due to the successful use of deep learning in software security, recently,researchers have explored the potential of using large language models(LLMs) in this area. In this paper, we systematically review the results focusing on LLMs in software security. We analyze the topics of fuzzing, unit test, program repair, bug reproduction, data-driven bug detection, and bug triage. We deconstruct these techniques into several stages and analyze how LLMs can be used in the stages. We also discuss the future directions of using LLMs in software security, including the future directions for the existing use of LLMs and extensions from conventional deep learning research.展开更多
In this paper,some basic theories and terms of language testing,like types of language tests and qualities of good tests were briefly discussed.Then CET3(College English Test Band3) in Beijing was analyzed from three ...In this paper,some basic theories and terms of language testing,like types of language tests and qualities of good tests were briefly discussed.Then CET3(College English Test Band3) in Beijing was analyzed from three perspectives:design principles,item formats and test content. In the end,some suggestions were given to improve this test.展开更多
Speaking,as a productive skill,is a priority for many foreign-language learners.They often evaluate their success in language learning on the basis of how much they feel they have improved in their spoken language pro...Speaking,as a productive skill,is a priority for many foreign-language learners.They often evaluate their success in language learning on the basis of how much they feel they have improved in their spoken language proficiency.Consequently,testing of oral skills has hardly been neglected in college English examination.The communicative testing theory in 1970s greatly influenced language testing,especially the oral tests.This essay briefly explores the theory of communicative language testing and discusses the methods of TOEFL oral test and college English oral test and proposes ways to the latter one for further improve ment.展开更多
This article is mainly talked about CET English writing tests from the perspective of language testing.Writing tests designed to test the language proficiency,have direct and integrative characteristics.Writing requir...This article is mainly talked about CET English writing tests from the perspective of language testing.Writing tests designed to test the language proficiency,have direct and integrative characteristics.Writing requires the candidates to use language accurately,fluently and appropriately.展开更多
This paper is to investigate whether the CET-4 writing section has positive effect in terms of Communicative Language Testing.The questionnaire survey method is adopted to carry out the research to collect data.It is ...This paper is to investigate whether the CET-4 writing section has positive effect in terms of Communicative Language Testing.The questionnaire survey method is adopted to carry out the research to collect data.It is concluded that currently the CET-4 writing section has certain harmful effect upon English learning of college non-English major students.Further reforms and improvement from the perspective of communicative language testing concerning the scoring criteria and the design of the task should be the focus of the future.展开更多
Language testing is an important link in language teaching,in this paper,the two important criteria of language test the reliability and validity has carried on the detailed elaboration,in order to a language teacher ...Language testing is an important link in language teaching,in this paper,the two important criteria of language test the reliability and validity has carried on the detailed elaboration,in order to a language teacher proposition and evaluation test more scientific.展开更多
This paper shows some points of view on communicative language ability and issues of processing an effective communicative language test. Different considerations are given in different stages both from aspects of val...This paper shows some points of view on communicative language ability and issues of processing an effective communicative language test. Different considerations are given in different stages both from aspects of validity and reliability. All the processes are involved in considering the characteristics of communicative language test and special needs from communicative language ability. Different from other kinds of tests, it pays much more attention to context, precision measurement and criterion.展开更多
Speaking skill is an important component in the student’s communicative competence.The testing of this skill is indispensable with its functions of providing useful feedback and motivating students.Where direct face-...Speaking skill is an important component in the student’s communicative competence.The testing of this skill is indispensable with its functions of providing useful feedback and motivating students.Where direct face-to-face oral test is impossible when large number of candidates involved,language lab or computer can be used to carry out various testing tasks in the evaluation of the students’ oral communicative competence.展开更多
With direct expression of individual application domain patterns and ideas,domain-specific modeling language（DSML） is more and more frequently used to build models instead of using a combination of one or more gener...With direct expression of individual application domain patterns and ideas,domain-specific modeling language（DSML） is more and more frequently used to build models instead of using a combination of one or more general constructs.Based on the profile mechanism of unified modeling language（UML） 2.2,a kind of DSML is presented to model simulation testing systems of avionic software（STSAS）.To define the syntax,semantics and notions of the DSML,the domain model of the STSAS from which we generalize the domain concepts and relationships among these concepts is given,and then,the domain model is mapped into a UML meta-model,named UML-STSAS profile.Assuming a flight control system（FCS） as system under test（SUT）,we design the relevant STSAS.The results indicate that extending UML to the simulation testing domain can effectively and precisely model STSAS.展开更多
Testing speaking ability offers plenty of scope for meeting the criteria for communicative testing.The article describes the model of CLA,analyzes basic factors involved in speaking competence,discusses what is a comm...Testing speaking ability offers plenty of scope for meeting the criteria for communicative testing.The article describes the model of CLA,analyzes basic factors involved in speaking competence,discusses what is a communicative language test of speaking,and suggests some factors that should be taken into consideration when designing a communicative language test of speaking.展开更多
The 37th Language Testing Research Colloquium(LTRC 2015①)was held at Eaton Chelsea Hotel in Toronto Canada during March 16-20,2015.The first two days of March 16-17 were preconference workshop days with March 18-20 a...The 37th Language Testing Research Colloquium(LTRC 2015①)was held at Eaton Chelsea Hotel in Toronto Canada during March 16-20,2015.The first two days of March 16-17 were preconference workshop days with March 18-20 as the three main conference days.More than 300 participants from 27 countries and regions joined the conference.The top numbers of the展开更多
This paper aims to talk about the superficial reflections on language testing from the perspective of professional training for test writers,to qualify test writers with basic testing theories,to make the test valid a...This paper aims to talk about the superficial reflections on language testing from the perspective of professional training for test writers,to qualify test writers with basic testing theories,to make the test valid and reliable,to help improve educational reform and language teaching,to fully conform to the standards set by syllabus.展开更多
This paper primarily focuses on the major development of language testing since 1980s. Critical to testing is me concept of language proficiency or ability which consists two components of language competence （or lan...This paper primarily focuses on the major development of language testing since 1980s. Critical to testing is me concept of language proficiency or ability which consists two components of language competence （or language knowledge） and strategic competence. A communicative approach to testing is demanding to catch up with the new teaching concept and to measure a learner＇ s cornmunicative competence. Communicative language tests are intended to measure people＇ s ability to use language communicatively in a variety of real life situations.展开更多
Departing from a brief presentation of the various views of language, this article elaborates the influence of views of language on language teaching and language testing. This will help us have background knowledge o...Departing from a brief presentation of the various views of language, this article elaborates the influence of views of language on language teaching and language testing. This will help us have background knowledge on language teaching and language testing.展开更多
The relationship between language testing and language teaching is said to be inseparably interconnected and act together.Language testing has been unceasingly improving itself responding to the requirements of langua...The relationship between language testing and language teaching is said to be inseparably interconnected and act together.Language testing has been unceasingly improving itself responding to the requirements of language teaching so as to improve testees’language ability.From the prescientific movement to the now newest communicative movement,four main approaches to testing have its pros and cons in achieving the reliability and validity of testing.By them,we can see communicative approach is of necessity to become the milestone of language展开更多
Language testing is of great value in language teaching. This paper is intended to deal with its washback effects in the following aspects. On one hand, it explores the impacts of language testing on objects invovled....Language testing is of great value in language teaching. This paper is intended to deal with its washback effects in the following aspects. On one hand, it explores the impacts of language testing on objects invovled. On the other hand, it directs at the positive and negative washback effects of testing on language teaching.展开更多
On the basis of the definition and theories of language testing washback,this paper briefly introduces the empirical studies on the washback of language testing at home and abroad,and then proposes the advice and sugg...On the basis of the definition and theories of language testing washback,this paper briefly introduces the empirical studies on the washback of language testing at home and abroad,and then proposes the advice and suggestions on research trend of language testing washback.展开更多
文摘Software security poses substantial risks to our society because software has become part of our life. Numerous techniques have been proposed to resolve or mitigate the impact of software security issues. Among them, software testing and analysis are two of the critical methods, which significantly benefit from the advancements in deep learning technologies. Due to the successful use of deep learning in software security, recently,researchers have explored the potential of using large language models(LLMs) in this area. In this paper, we systematically review the results focusing on LLMs in software security. We analyze the topics of fuzzing, unit test, program repair, bug reproduction, data-driven bug detection, and bug triage. We deconstruct these techniques into several stages and analyze how LLMs can be used in the stages. We also discuss the future directions of using LLMs in software security, including the future directions for the existing use of LLMs and extensions from conventional deep learning research.
文摘In this paper,some basic theories and terms of language testing,like types of language tests and qualities of good tests were briefly discussed.Then CET3(College English Test Band3) in Beijing was analyzed from three perspectives:design principles,item formats and test content. In the end,some suggestions were given to improve this test.
文摘Speaking,as a productive skill,is a priority for many foreign-language learners.They often evaluate their success in language learning on the basis of how much they feel they have improved in their spoken language proficiency.Consequently,testing of oral skills has hardly been neglected in college English examination.The communicative testing theory in 1970s greatly influenced language testing,especially the oral tests.This essay briefly explores the theory of communicative language testing and discusses the methods of TOEFL oral test and college English oral test and proposes ways to the latter one for further improve ment.
文摘This article is mainly talked about CET English writing tests from the perspective of language testing.Writing tests designed to test the language proficiency,have direct and integrative characteristics.Writing requires the candidates to use language accurately,fluently and appropriately.
文摘This paper is to investigate whether the CET-4 writing section has positive effect in terms of Communicative Language Testing.The questionnaire survey method is adopted to carry out the research to collect data.It is concluded that currently the CET-4 writing section has certain harmful effect upon English learning of college non-English major students.Further reforms and improvement from the perspective of communicative language testing concerning the scoring criteria and the design of the task should be the focus of the future.
文摘Language testing is an important link in language teaching,in this paper,the two important criteria of language test the reliability and validity has carried on the detailed elaboration,in order to a language teacher proposition and evaluation test more scientific.
文摘This paper shows some points of view on communicative language ability and issues of processing an effective communicative language test. Different considerations are given in different stages both from aspects of validity and reliability. All the processes are involved in considering the characteristics of communicative language test and special needs from communicative language ability. Different from other kinds of tests, it pays much more attention to context, precision measurement and criterion.
文摘Speaking skill is an important component in the student’s communicative competence.The testing of this skill is indispensable with its functions of providing useful feedback and motivating students.Where direct face-to-face oral test is impossible when large number of candidates involved,language lab or computer can be used to carry out various testing tasks in the evaluation of the students’ oral communicative competence.
基金Aeronautical Science Foundation of China (20095551025)
文摘With direct expression of individual application domain patterns and ideas,domain-specific modeling language（DSML） is more and more frequently used to build models instead of using a combination of one or more general constructs.Based on the profile mechanism of unified modeling language（UML） 2.2,a kind of DSML is presented to model simulation testing systems of avionic software（STSAS）.To define the syntax,semantics and notions of the DSML,the domain model of the STSAS from which we generalize the domain concepts and relationships among these concepts is given,and then,the domain model is mapped into a UML meta-model,named UML-STSAS profile.Assuming a flight control system（FCS） as system under test（SUT）,we design the relevant STSAS.The results indicate that extending UML to the simulation testing domain can effectively and precisely model STSAS.
文摘Testing speaking ability offers plenty of scope for meeting the criteria for communicative testing.The article describes the model of CLA,analyzes basic factors involved in speaking competence,discusses what is a communicative language test of speaking,and suggests some factors that should be taken into consideration when designing a communicative language test of speaking.
文摘The 37th Language Testing Research Colloquium(LTRC 2015①)was held at Eaton Chelsea Hotel in Toronto Canada during March 16-20,2015.The first two days of March 16-17 were preconference workshop days with March 18-20 as the three main conference days.More than 300 participants from 27 countries and regions joined the conference.The top numbers of the
文摘This paper aims to talk about the superficial reflections on language testing from the perspective of professional training for test writers,to qualify test writers with basic testing theories,to make the test valid and reliable,to help improve educational reform and language teaching,to fully conform to the standards set by syllabus.
文摘This paper primarily focuses on the major development of language testing since 1980s. Critical to testing is me concept of language proficiency or ability which consists two components of language competence （or language knowledge） and strategic competence. A communicative approach to testing is demanding to catch up with the new teaching concept and to measure a learner＇ s cornmunicative competence. Communicative language tests are intended to measure people＇ s ability to use language communicatively in a variety of real life situations.
文摘Departing from a brief presentation of the various views of language, this article elaborates the influence of views of language on language teaching and language testing. This will help us have background knowledge on language teaching and language testing.
文摘The relationship between language testing and language teaching is said to be inseparably interconnected and act together.Language testing has been unceasingly improving itself responding to the requirements of language teaching so as to improve testees’language ability.From the prescientific movement to the now newest communicative movement,four main approaches to testing have its pros and cons in achieving the reliability and validity of testing.By them,we can see communicative approach is of necessity to become the milestone of language
文摘Language testing is of great value in language teaching. This paper is intended to deal with its washback effects in the following aspects. On one hand, it explores the impacts of language testing on objects invovled. On the other hand, it directs at the positive and negative washback effects of testing on language teaching.
文摘On the basis of the definition and theories of language testing washback,this paper briefly introduces the empirical studies on the washback of language testing at home and abroad,and then proposes the advice and suggestions on research trend of language testing washback.
