Testing, proof and automation an integrated approach

Testing,Proof and Automation.An Integrated Approach

Simon Burton John Clark John McDermid

Department of Computer Science.

University of York,

Heslington,York.

YO105DD,England.

+441904432749

burton,jac,jam@https://www.wendangku.net/doc/2d4034626.html,

Abstract

This paper presents a discussion on the complementary roles of testing and proof within automated software ver-i?cation and validation processes.We demonstrate how a combination of the two approaches can lead to greater lev-els of automation and integrity.In particular we discuss the use of automated counter-example generation to sup-port proof,and automated proof as a means of automating and checking test case generation.The high levels of au-tomation are made possible by identifying repeating struc-tures in the proofs,restricting the speci?cation to a subset of an otherwise expressive formal notation and exploit-ing a general–purpose theorem proving tool with built-in constraint solvers.

1Introduction

In the past,testing and proof have not been easy bed-fellows.Despite their shared goal of increased software quality,proof has been seen as being for the cognoscenti, testing for software engineering’s working class.The au-thors believe that this arti?cial dichotomy is harmful and that testing and proof can be used together to good ef-fect.Even without the bene?ts of formal re?nement,for-mal speci?cations can contribute greatly to the quality of a software product.They allow for a concise,unambigu-ous and explicit speci?cation of the desired behaviour of the system.As such,they are a good basis for automated test activities.Additionally,testing to generate counter-examples to proofs can save much effort and produce il-lustrative examples for debugging.

The use of formal speci?cations themselves is still seen by many as a barrier to the widespread industrial usage of formal methods.For the bene?ts of formal methods in V&V to be fully exploited in industry there is a need to“disguise”the formality in some way[15].Recent work[5]has shown that formal speci?cations and the cor-responding proof obligations for speci?cation validation can be generated from more intuitive engineering nota-tions with mathematical underpinnings.Such an approach not only enables engineers with the domain knowledge to use speci?cation notations they are comfortable with, but the translation to formal speci?cation has the effect of restricting the subset of the formal notation used and imposes regular structures on the proofs that need to be discharged to validate certain properties(such as com-pleteness and determinism)in the speci?cation.These restrictions,coupled with the subset of data types used for particular domains can be exploited to develop power-ful targeted heuristics for automating the V&V activities. The approaches discussed in this paper are assumed to be undertaken in the context of formal speci?cations gener-ated in this manner.

In the rest of the paper we describe how a combination

of testing,proof and restricted structures in the speci?-cation can be used to enhance both the integrity and au-tomation of several areas of the software veri?cation and validation process.This symbiotic relationship between testing and proof is made feasible by extending previous work on testing from formal speci?cations and making use of a?exible theorem proving tool with integrated con-straint solvers.

The paper is structured as follows.Section2discusses the role of testing in the automatic generation of counter-examples to proofs.Section3describes how proof can be used as a means of verifying automated test case gen-eration strategies and also as a means of performing the automation itself.We also show how more effective test-ing strategies can be developed based on the automatic generation of formally speci?ed test cases and how proof can be used as a testing oracle.Section4summarises the main contributions of the work and presents some conclu-sions.

2Testing and Proof

Proof conjectures can arise at various points in the V&V process.For example,to ensure that a speci?cation sat-is?es certain“healthiness”criteria such as completeness and determinism or to verify that a program is a correct re?nement of its formal speci?cation.In all cases,in-valid conjectures can waste a large amount of proof effort. Therefore,before a long and arduous manual proof is em-barked upon it is re-assuring to have a good degree of con-?dence in the validity of the https://www.wendangku.net/doc/2d4034626.html,e of constraint solving techniques to generate counter-examples not only saves proof effort but can provide illustrative information to use when tracking the fault.The generation of counter-examples to verify properties of a speci?cation couched in terms of proofs is a form of testing.Typically sample data are generated and then tested to see whether they break the speci?cation.If this is the case,a counter-example has been found.

Constraint solving in general is known to be intractable [13].However,in practical situations,one never needs to solve“general”constraints but a particular subset that have restricted structures and particular input space char-acteristics.These properties can be exploited to automate the search for counter-examples.The authors use the Z [16]type checker and theorem prover CADi[19]to au-tomate this task.In this sense our usage of CADi is sim-ilar to that of the Nitpick Z-based speci?cation checker [12]that used model-checking techniques to generate counter-examples to speci?cation assertions.However, CADi has the additional?exibility that general purpose proof tactics can be written(using a lazy functional nota-tion[20]),that can be invoked interactively from within the tool and applied to any proof obligation on the screen. Proof tactics have been written that attempt a best effort at automatically proving conjectures of certain types(e.g. completeness checks).If the proof fails or is inconclusive, the tactics then perform some simpli?cation to transform the conjecture into a suitable form for the integrated con-straint solvers.A number of constraint solvers can then be invoked to attempt counter-example generation,these include a model-checker(SMV[3])and a simulated an-nealing based heuristic search[6].The amount of simpli-?cation required before the constraint solvers can be ef?-ciently applied will depend on the structure of the proof obligations.

Such automated proof tactics have been used to good effect when a large number of similar proof conjectures were needed to be solved[5].A situation which would have otherwise been time consuming if done manually and could have led to“reviewer blindness”leading to missed error cases.Different constraint solvers have been found to be effective for different input domains.For ex-ample model-checking is only practical for discrete input domains,whereas optimisation-based search techniques are also suited to in?nite state spaces and non-linear con-straints.

3Proof and Testing

Formal speci?cations are a good basis for testing.They allow for a concise and unambiguous representation of the requirements and are amenable to proof and automated analysis.Test generation techniques for model-based for-mal speci?cations[14,8,17]such as Z[16]or VDM-SL [10]are typically based on the principle of partitioning the speci?cation into equivalence classes[9].Equivalence classes are partitions of the speci?cation input space that are assumed,for the purpose of testing,to represent the same behaviour in the speci?cation.Such techniques are

amenable to automation and tool support.However,as in all cases where automation is introduced,and especially for high integrity systems,the integrity of such tools is of great importance.For automated testing to be able to pro-vide con?dence in the conformance of the software to its speci?cation,the test generation strategies must be both veri?ed and validated.In other words,they must not only be shown to be correctly implemented but must also be shown to be adept at?nding errors in the implementation.

3.1Veri?cation of Automated Testing

Strategies

There are various criteria that can be used when verifying that test partitioning strategies have been correctly imple-mented.For example,the tests can be shown to com-pletely cover the valid input space of the original speci-?cation.If this were not the case,important parts of the implementation,that could possibly contain faults might remain untested.If the resulting tests are represented us-ing the same formal notation as the original speci?cation, these veri?cation activities can be performed using proof. The completeness of the generated tests()with re-spect to the original speci?cation()can be veri?ed by proving a conjecture of the following form:

An example partitioning strategy identi?es expressions in the speci?cation of the form and partitions these into the following test cases,and

[8]where and could be complex predicates themselves.The conjecture used to prove that these par-titions preserve the valid input state-space of the original speci?cation would therefore take the following form:

This theorem can be proven in a few simple steps.The same proof steps can be used regardless of the structure of the expressions represented by and.In general, a proof can be derived for each partitioning strategy and used to verify the outcome each time that strategy is https://www.wendangku.net/doc/2d4034626.html,ing the proof tactic mechanism in CADi the au-thors have automated these proofs for a number of com-mon partitioning strategies.Whenever a strategy is ap-plied,the corresponding correctness proof can be auto-matically invoked on the result.This ensures that,what-ever the means of test generation,the result can always be shown to be valid or otherwise.The tool can be instructed to record the individual proof steps taken in applying a proof tactic and these can be printed in a form amenable to human scrutiny.Therefore,if the tool cannot be trusted, a rigorous argument can be developed to support the va-lidity of the proof steps.

Given a formal de?nition of a testing strategy as an equivalence(e.g.Theorem2above),the derivation of the test cases themselves can also be automated using general purpose proof tactics.The principle is similar in operation to the use of Disjunctive Normal Form(DNF)to simplify an expression into a disjunction of conjuncts that can each be used as separate test cases.Where conversion to DNF uses simple logic rewrite rules to distribute disjunctions, more targeted equivalences can be formulated based on common testing heuristics.

Test partitioning based on the formal speci?cation of the testing heuristics has been implemented using CADi proof tactics.Generic partitioning strategies are speci?ed as equivalences in the form of Theorem1.A proof tactic is invoked upon the predicate to be partitioned to instantiate the generic equivalence with the operands of the predi-cate and simplify the whole speci?cation to reveal a dis-junction of partitions.Each test case is equivalent to the original speci?cation where the input space has been con-strained according to one of the partitions.The complete-ness of the partitioning strategy is left as a side conjecture to prove to ensure that the partitioning was valid.This can be automated by extending the partitioning tactic with the general purpose proof for the strategy as described above. The following simple example demonstrates how test par-titions are derived.The example speci?cation calculates the square root()of a positive integer()and the test partitions are generated using boundary value analysis of the operator(based on the premise that errors often oc-cur on or around the boundary[2]).

The speci?cation is given as the following Z schema1

2This can be roughly interpreted as:there exist some values for and that satisfy the speci?cation and can therefore be used as suitable test data.

Once the test partitions have been produced,satis-fying test data can be generated by“solving”the ex-istential quanti?cations using the constraint solvers in CADi.The partitioning method described above sup-ports work by Stocks and Carrington[17,18]3who pro-posed a framework for the derivation and speci?cation of test cases based on the Z notation(the Test Template Framework).The method of test case derivation described here complements that work by providing a mechanism for automatically applying the test heuristics to reveal the test partitions that can then be structured using the Test Template Framework.

3.2Validation of Automated Testing Strate-

gies

Mutation testing[7]is a fault-based testing technique that deliberately injects faults into a program in order to as-sess a test set’s adequacy at detecting those faults.Based on the number of injected faults detected(mutation score), conclusions about the general fault?nding ability(muta-tion adequacy)of the test set can be formed.Mutation testing provides a means of validating the test strategies discussed in the previous section.Automatic test case generation,as described above,can provide a statistically signi?cant number of test cases for various strategies.The mutation adequacy of each of these strategies can then be assessed to compare their relative effectiveness at detect-ing faults[1].

Expressing a test case speci?cation as a formal speci?-cation from which the test data are generated also opens up the possibility for some additional manipulation to in-crease the mutation score of the data.Mutation techniques can be applied at the speci?cation level to create speci?-cations that represent an abstract description of potential faults in the implementation(as?rst suggested by Budd and Gopal[4]).If test data can be generated from the original speci?cation that identify(kill)the mutants,that data is also likely to achieve a relatively high score at the program level.The data generated from the speci?-cation would have been“hardened”in some sense against

the likelihood of encountering co-incidental correctness in the implementation.

In general,the number of mutants that can be gener-ated for an expressive formal speci?cation notation such as Z would be extremely large.However,in practice,only a subset of the notation would be used for any particular application domain.In this case,the number of possi-ble mutants would be limited.From within this subset more selective choices of which mutation strategies to ap-ply can be made by analysing the mutation score of par-ticular testing strategies.Hardened test data can then be generated from the test cases by strengthening the predi-cate of the test case to improve the probability that data are generated to kill the chosen set of speci?cation mutants. In some cases,one set of test data could be generated to kill a number of mutants.However,where the hardening predicates are inconsistent,several sets of test data may need to be generated.Take as an example,the following simple test case for a system which averages two num-bers:

The test data can be hardened against the mutation where the is replaced by a by adding an inequality to the test case.

The hardening predicate in this case was

.This represents a necessary condition for de-tecting the mutant but,in general,will not always be suf-?cient.Depending on other mutations that may arise else-where in the implementation,the new test case can not be guaranteed to produce data which kills the mutant,but is more likely to do so than without the hardening predi-cate.Mutation analysis was brie?y mentioned by Stocks and Carrington[17]as an alternative testing heuristic to domain propagation in their Test Template Framework. However,the authors believe there is still scope for re-search in investigating effective mutation strategies for Z-based test sets and whether mutation analysis can be combined with standard domain partitioning to provide more effective test sets.Therefore,future work will evalu-ate various criteria for designing the hardening predicates and their relative ef?cacy at increasing mutation scores when applying the tests to the implementation.If harden-ing predicates could be automatically generated based on a known set of speci?cation mutations,it may be possi-ble to use the feedback from traditional mutation testing approaches(for assessing the effectiveness of test sets)to automatically select the most effective test strategies for particular types of program.

3.3Proof as a Testing Oracle

Test data generated from formal speci?cations are typi-cally not at the same level of abstraction as is needed to test the implementation.Some re?nement will be needed to exercise the implementation with the test in-puts.For implementations which do not preserve the structure of the original speci?cation this re?nement may be dif?cult.In addition,some speci?cations may be non-deterministic,eliminating the possibility of pre-calculating expected test results.

An alternative to the structured decomposition of the speci?cation into test cases and expected results,as dis-cussed above,is to use a“generate and test”approach. Test inputs are chosen via any means(e.g.randomly) and the results of applying the inputs to the implemen-tation are then checked for conformance with the speci-?cation.This approach can also be used in conjunction with the partition-based testing.A statistically signi?cant number of samples can be chosen from each test parti-tion to increase the con?dence in the equivalence class hypothesis used to generate the test cases.In either case, the process of checking the test inputs and outputs against the speci?cation requires a test“oracle”.If enough re-?nement information is known to transform the concrete inputs and outputs of the system into their equivalent in the abstract speci?cation,the formal speci?cation and au-tomated proof tactics can be exploited to form an auto-mated oracle.The speci?cation is instantiated with the inputs and outputs and a proof tactic is used to simplify the expression to True(test passed)or False(test failed). Such simpli?cation is ideally suited to automated theo-rem provers as it typically involves applying many“one-point”simpli?cations until the expression is reduced to either True or False.

4Conclusions

In this paper we have shown how judicious use of testing and proof to support one another can lead to signi?cant bene?ts for the software V&V process,both in terms of increased automation and integrity.The use of counter-example generation can save much wasted proof effort and the use of proof to support test case design can be used to demonstrate the correctness of the test partition-ing techniques as well as offering a means of automation in itself.

The high level of automation is made possible because of the combination of restricting the subset of the formal notation used,the ability to predict the structure of the proofs that are required(and therefore the ability to re-use proof tactics many times)and the use of a powerful theorem proving tool with integrated constraint solving abilities.In the authors’experience in aerospace applica-tions,these restrictions did not need to be contrived but occurred naturally as a property of the domain and the types of proof that were performed.

Some of the techniques described here(e.g.counter-example generation and automated test case and data gen-eration)have already been applied to a large industrial case study[5].Other techniques,(e.g.automated proof as a testing oracle and application of mutation testing con-cepts)require more research to fully explore their poten-tial.In particular,the use of mutation testing techniques, both at the code and speci?cation level appears a promis-ing method of automatically generating effective and ef-?cient test criteria for Z-based testing of particular appli-cation domains.This is an area of research that is made possible by the automated framework described in this pa-per and will be the focus of future work.

5Acknowledgements

This work was funded by the High Integrity Systems and Software Centre,Rolls-Royce Plc.

References

[1]S.P.Allen and M.R.Woodward.Assessing the qual-

ity of speci?cation-based testing.In Sandro Bologna

and Giacomo Bucci,editors,Proceedings of the third international conference on achieving qual-ity in software,pages341–354.Chapman and Hall, 1996.

[2]Boris Beizer.Software Testing Techniques.Thom-

son Computer Press,1990.

[3]Sergey Berezin.The SMV web site.

https://www.wendangku.net/doc/2d4034626.html,/?modelcheck/

smv.html/,1999.The latest version of SMV and its documentation may be downloaded from this site.

[4]Timothy A.Budd and Ajei S.Gopal.Program test-

ing by speci?cation https://www.wendangku.net/doc/2d4034626.html,puter Languages, 10(1):63–73,1985.

[5]Simon Burton,John Clark,Andy Galloway,and

John McDermid.Automated V&V for high integrity systems,a targeted formal methods approach.In Proceedings of the5th NASA Langley Formal Meth-ods Workshop,June2000.

[6]John Clark and Nigel Tracey.Solving constraints

in https://www.wendangku.net/doc/2d4034626.html,W/D5.1.1(E),European Commission-DG III Industry,1997.Legacy Assessment Work-Bench Feasibility Assessment.

[7]Richard A.DeMillo,Richard J.Lipton,and Freder-

ick G.Sayward.Hints on test data selection:Help for the practicing programmer.IEEE Computer, pages34–41,April1978.

[8]J Dick and A Faivre.Automating the generation and

sequencing of test cases from model-based speci?-cations.FME’93:Industrial Strength Formal Meth-ods,Europe.LCNS670,pages268–284,April1993.

[9]John B Goodenough and Susan L Gerhart.Towards

a theory of test data selection.IEEE Transactions

On Software Engineering,1(2):156–173,June1975.

[10]The VDM-SL Tool Group.The IFAD VDM-SL Lan-

guage.The Institute of Applied Computer Science, September1994.

[11]P A V Hall.Towards testing with respect to for-

mal speci?cations.Second IEE/BCS Conference On Software Engineering,pages159–163,1988.

[12]Daniel Jackson and Craig Damon.Elements of style:

Analyzing a software design feature with a coun-terexample detector.IEEE Transactions on software engineering,22(7):484–495,July1996.

[13]A.K.Mackworth.Consistency in networks of rela-

tions.Arti?cal Intellegence,8:99–118,1977. [14]Thomas J Ostrand and Marc J Balcer.The

category-partition method for specifying and gener-ating functional https://www.wendangku.net/doc/2d4034626.html,munications of the ACM, 31(6):676–686,June1988.

[15]Martyn Ould.Testing-a challenge to method

and tool developers.Software Engineering Journal, 39:59–64,March1991.

[16]J.M.Spivey.The Z Notation:A Reference Manual,

second edition.Prentice Hall,1992.

[17]Phil Stocks and David Carrington.Test template

framework:A speci?cation-based case study.Pro-ceedings Of The International Symposium On Soft-ware Testing And Analysis(ISSTA’93),pages11–18, 1993.

[18]Phil Stocks and David Carrington.A framework for

speci?cation-based testing.IEEE Transactions On Software Engineering,22(11):777–793,November 1996.

[19]I.Toyn.Formal reasoning in the Z notation using

CADi.2nd International Workshop on User In-terface Design for Theorem Proving Systems,July 1996.

[20]Ian Toyn.A tactic language for reasoning about Z

speci?cations.In Proceedings of the Third Northern Formal Methods Workshop,Ilkley,UK,September 1998.

一年级复韵母拼音练习

一年级复韵母拼音练习 一、读熟带调复韵母和单韵母。 uíài ti uìai ?ái u? áaǎi uǐ?i úǜí 二、熟读下列音节。 bɑi dɑi ɡɑi hɑi zhɑi cɑi fei bei pei mei lei nei dui tui cui rui chui sui 三、熟读下列音节词。 pái tài nǎi lái sài chái bai p?i mai f?i nai lai ɡuǐkuíhuìzuǐshuǐcuì 拼音练习14 一、复习带调复韵母。 üi uíài ti uìai yi ái u?ǎi uǐ?i 二、熟读下列音节。 duìmti huídǎi fyi hǎi nai mái wài zhu?chái ɡuüi kuài shuüi huái chuài 三、熟读下列音节词。 pái duìbái tùfyi j?cìwei küi huìhǎi dài mti lìhuíjiü dài shǔshūɡuìzuǐbɑlái huízhu?zhútuìbùqíɡuài kuài lax?shuài ɡuüi hái zi 拼音练习15 一、读熟带调复韵母。 ǎo ai iúiùào ái ōu iū áo uǐǒu uǐ?i ?u iǔ?u 二、熟读下列音节。 pɑo shɑo cɑo rɑo mɑo lɑo hou zhou lou mou ɡou sou jiu liu diu niu xiu qiu 三、熟读下列带调音节。 bào düo nǎo ɡào hǎo yǎo

dǒu t?u k?u chǒu yǒu zǒu niúdiūqiúxiùjiǔliǔ 拼音练习16 一、读熟带调复韵母。 ǎo ai iúiùào ái ōu iū áo uǐǒu uǐ?i ?u iǔ?u 二、熟读下列带调音节。 dào büo cài chái ɡǒu h?u jiǔniúkuízhu?nai mti y?u r?u sōu l?u diūshuǐ tiüo niǎo xiào piüo liáo jiào 三、熟读下列音节词。 jiǔcài niǔk?u bào zhǐ chǎo nào lǎo sh?jiüo ào ɡu?qiáo duōshǎo yüo qiú xiǎo cǎo tiào shuǐhǎi ōu 注意：下面划横线的音节为三拼音节。 拼音练习17 一、读熟带调复韵母和整体认读音节。 ?aitar i??y?r iyyr iatr yayuyy?yuaytyy 二、熟读下列音节。 yazi yuayátr duo yawǎn ?r ɡylu?yayyshùyuyhuì yuaqìy?ye yttù?r nǚ yúer yuaer huüer niǎo er 注意：划横线的为整体认读音节，只能直呼，不能拼读。 拼音练习18 一、熟练背诵复韵母 ɑi ei ui ɑo ou iu ie ?e 特殊韵母：er 二、熟读下列音节。 zìju?húdi?titlùtabi? píxuyyuaqiúbái xutxiüo mia máquatiào yuaquyshǎo zh?di?

一年级复韵母拼音练习

一年级拼音练习题库（三） 班级姓名 一、读熟带调复韵母和单韵母。 uíài uìèi òái ǜíáè uī āi ěi uì ēi ǎi éi uǐú 二、熟读下列音节。 bɑi dɑi ɡɑi hɑi zhɑi cɑi fei bei pei mei lei nei dui tui cui rui chui sui 三、熟读下列音节。 pái tài nǎi lái sài chái duìměi huídǎi bèi péi mèi féi nèi lèi fēi hǎi huái chuài nèi mái wài zhuī chái ɡuāi kuài shuāi ɡuǐkuíhuìzuǐshuǐcuì 四、熟读下列音节词语。 pái duìbái tù fēi jī cì wei huíjiādài shǔ kāi huìhǎi dài měi lìlái huízuǐbɑshūɡuì zhuīzhútuìbùqíɡuài kuài lèxīshuài ɡuāi hái zi

一、读熟带调复韵母。 ǎo èi iúiùào ōu ǎo éi áo uǐòu iǔóu ái iūǒu 二、熟读下列音节。 pɑo shɑo cɑo rɑo mɑo lɑo hou zhou lou mou ɡou sou jiu liu diu niu xiu qiu 三、熟读下列带调音节。 bào dāo nǎo ɡào hǎo yǎo dǒu tóu kòu chǒu yǒu zǒu niúdiūqiúxiùjiǔliǔ 四、熟读下列带调音节。 dào bāo cài chái ɡǒu hòu jiǔniúkuízhuīnèi měi yóu ròu sōu lòu diūshuǐ tiāo niǎo xiào piāo liáo jiào 三、熟读下列音节词语。 jiǔcài niǔkòu bào zhǐ chǎo nào lǎo shījiāo ào ɡuòqiáo duōshǎo yāo qiú xiǎo cǎo tiào shuǐhǎi ōu 认真读了（）遍。家长签名（）

拼音教学策略及其分析-最新教育文档

拼音教学策略及其分析 拼音教学历来是小学一年级语文教学的重点，也是方言区学生的学习难点。开展“电脑识字，识读写互动”教学实验以来，在课题组的指导下，经过两届一年级学生的尝试，我通过实践与反思，初步摸索出一套行之有效的教学策略。较之以往的教学，无论从时间、效果还是学生的学习兴趣看，都取得了可喜的进展。 现将该教学策略、课时分配归纳如下，并加以简要分析。 第1步：以字带音，积累基本音节 这一步，主要是让学生先识基本音节字。入学初第一个月，我把课题组下发的参考字表中的400多个汉字，通过生活识字、情境识字、韵文识字等，运用口令、字卡、游戏等作为载体，让学生灵活采取个体、同桌、小组、大组与全班结合的活动方式，形成第一阶段的基本音节字的积累和识字课的课堂常规。 【简析】由于参考字表中的400多个汉字是综合考虑了字频、幼儿常用字表、儿童口语心理词典、人教版第一册语文课本的字表、常用汉字构造规则以及自编教材等因素，覆盖面广，因此用汉字的字音可以带出拼音中声母、韵母、音节的音，让学生对音的感知更具体，易于学习和掌握。 第2步：学前初测，分组学习 该内容安排在家庭作业中，以作业题的方式进行检测。测试后按不同的拼音基础将学生分组，四人一组，好、中、差搭配。以便安排学生在小组中扮演不同的角色，承担各自的工作，充分发挥小组学习互帮互学的作用。 【简析】学生虽然编在同一班级中，但他们的拼音基础参差不齐，而且注意力程度和兴趣程度也不一样。学前检测是为了让不同程度的孩子均衡分配在各个学习小组中，这样在小组学习活动时有利于充分发挥每个孩子的能量。尤其是建立“小老师”制度，以生教生，教学效果很好。互相帮助的“同伴学习法”，不仅使拼音基础好的孩子有用武之地，不会的孩子也有更多的机会直接接受和参与手把手的学习活动。

小学一年级语文教案aneninunvn(第二课时)教案

小学一年级语文教案——an en in un vn (第二 课时）教案 教学目标：1、准确拼读声母与前鼻韵母组成的音节，看图拼读音节词。 2、培养学生的合作意识，使学生感受合作交流的乐趣。 3、培养学生倾听意识，正确评价他人和口语表达的能力。教学重点：拼读an、en、in、unün的两拼音、三拼音音节和音节词。 教学难点：拼读纯拼音句子。 教学设想：学好汉语拼音是学习普通话的重要保证。针对一年级学生的年龄特点，结合新课程标准，我力求做到汉语拼音的教学具有趣味性，富有童趣，让学生在游戏活动中能正确认读由声母和an、en、in、unün组成的音节，并能根据图画正确认读拼音词，从而进一步掌握汉语拼音的拼读方法，显然，掌握拼读方法是本课教学的重点。同时，在学会拼读双音节词的基础上，我采用了纯拼音句子的练读，通过练读，逐步实现由词到句的过渡，这无疑又成了教学的难点。七八岁的孩子一上一年级，就要学习抽象的、对他们来说完全陌生的汉语拼音，显然是有困难的，也是枯燥乏味的。因此，教学中，教师要善于创设丰富多彩的教学情境，激起学生学习汉语拼音的乐趣。如：针对一年级孩子好玩、好动的特点，教学时，将学生带入一个“有声有色”的拼音乐园中

去学习。在“摘果子找秘密”的游戏中，巧妙地复习学过的内容。又如：在纯拼音句子的教学中，借助媒体辅助——七巧板教学，将活泼、生动的小鸟、小猫、小屋子形象一次次出现在画面上，刺激学生感官，从而引导学生积极主动地参与学习活动，不断发现拼板中的小秘密(音节)，从而连词成句，突破了认读纯拼音句子的教学难点。 《语文课程标准》指出：学生是学习和发展的主体，语文教学必须根据学生身心发展和语文学习的特点，关注学生的个体差异和不同的学习需求，爱护学生的好奇心、求知欲，充分激发学生的主动意识和进取精神，倡导自主、合作、探究的学习方式。因此，在教学声母与an、en、in、un相拼的音节词时，我采用“先扶后放”的教学方法，先由老师带着小朋友学习第一组音节，再以小组合作的形式，在小组长的带领下，利用教具，合作学习其他三组音节，然后交流反馈，评出“最佳小组”。在这一环节的教学中，既体现了教师导的作用，也体现了学生的主体地位，并且，在这一过程中，学生学会了合作、学会了探究，评价能力也得到了提高。 教学准备：1、课件2、en、in、unün的拼读音节卡片5组(发给小老师)3、三类水果图片（aneninunün——b、d、zh、sh、——yuan、yin、yun） 教学过程： 一、创设情境，复习导入

人教版小学语文一年级上册复韵母ai ei ui 详细教案

ɑi、ei、ui教学设计案例 第一课时 教学目标： 1、学会复韵母ɑi、ei、ui及其四声，读准音，记清形，正确书写。 2、学习声母与ɑi、ei、ui组成的音节，能准确拼读音节，正确书写音节。 3、知道ɑi、ei、ui的标调位置。 4、能够看图说话，根据音节拼读句子。 5、能够自己拼读儿歌，做到词语连读。 二、教学重点： 学会复韵母ɑi、ei、ui，明确单韵母与复韵母之间的不同之处。 三、教学难点： 复韵母既不能读成两个音，也不能不表示口型变化的过程。 教学过程： 一、创设情境，激趣导入 1、复习单韵母 这是谁啊？对了，喜洋洋在跟你们打招呼呢？你们也跟喜洋洋问声好吧！（出示课件：喜洋洋） 看到你们这么聪明，喜洋洋要带我们去拼音乐园玩哦，拼音乐园有好多好玩的字母朋友哦，想不想去？生：想。（出示拼音乐园）欢迎小朋友来到拼音乐园，单韵母已经等了好久了，我们一起把这六个单韵母朋友读出来。（出示六个单韵母） 2、复习单韵母四声 同学们，这六位朋友来的时候，还戴了四顶小帽子呢?还记得四

声歌谣吗？生：记得。一起把四声歌谣朗读出来。一声平，二声扬，三声拐弯，四声降。这些单韵母朋友已戴上帽子，一起来边读边做动作。（出示ɑ、o、e、i、u、ü的四声）(用亲切有趣的导语，使枯燥的复习趣味盎然，同时利用创设的情境调动学生学习新课的积极性。) 二、熟读儿歌，引入新知 （一）读儿歌引出要学习的韵母。 1.多种形式读儿歌。如，老师大点儿声，学生小点儿声；老师小点儿声，学生大点儿声；谁能自己读一读等。 2、小朋友快看看，喜洋洋要带我们去学习3个复韵母和它们的拼音。单韵母ɑ、e、u最喜欢和i做朋友了。你看，它们在一起就成了ei ui，它们都是由两个单韵母合起来的，我们给它们取个名字叫复韵母ɑi。这节课我们就一起来学习复韵母ɑi ei ui（板书ɑi ei ui） 3.仔细观察一下，这3个韵母和我们以前学过的单韵母有什么不一样？你发现了吗？对呀！两个单韵母合在一起就组成了新的韵母，这样由几个字母组成的韵母就叫作复韵母。 (运用儿歌引出音节，引导学生去发现复韵母这个新知识。这样，可初步培养学生自主探究的学习能力。) （二）学习复韵母ɑi。 ɑ学习ɑi 1、看插图说话，引出ɑi：图上画了什么？（一个姐姐和一个弟弟）谁个儿高？谁个儿矮？（姐姐高，弟弟矮。） 2、ǎi是第几声？第一声该怎么念？板书：ɑi 3、教学ɑi的发音，认清字形。 ɑi 就是我们今天要学的第一个复韵母，“复韵母”念两遍。复韵母ɑi 是哪两个单韵母组成的？怎么把ɑ和i合

人教版一年级语文上册复韵母aieiui教学

教学目标： 1学会3个复韵母ai ei ui和它们的四声，能够读准音，认清形，并能准确书写。 2、能够认读声母与ai ei ui 组成的10个音节，会拼读本课的复韵母音节，会读拼音词。 教学过程 第一课时教学要求：学会复韵母ai ei ui 的四声与书写。教学过程： 一、复习检查。 1、抽读字母卡片：a o e i u u。 2、复习单韵母的四声 (2)单韵母发音嘴巴不动，复韵母发音嘴巴要滑动：发第一个字母音后马 上要发下一个字母的音，中间不能停，要一口气完成? (3) ai怎样发音呢？它与单韵母的口形有什么联系？教师再示范并边讲边提问：嘴巴先怎么样?(先张大)为什么?(因为有个a)发a音后嘴巴马上滑动，滑动到怎样为止，为什么?(滑动到上下牙齿对齐，因为a后面有个i。) (4) 师生有节奏地双边活动： 师：ai ai怎样发？ 生：ai ai这样发，因为有个a,嘴巴先张大，因为有个i，牙齿再对齐，ai ai ai 。 师：口形很重要。 生：一定要记牢。 (5) 复韵母的标调规则

学习标调歌：有a不放过，没a找o e, iu 都有标在后。 （6）对照标调歌，仔细看认真想，复韵母ai怎样标调？同桌讨论讨论。 指名学生板书调号。 小结标调方法：按单韵母排列顺序标调。 （7）练读ai的四声 （二）学习复韵母ei （1）出示ei ，说说组成，想想我们应该怎样发音。（先读e，然后向i 滑行） （2）生自由练习试读，明确ei也由两个单韵母组成，因此，也叫复韵母。 （3）复习标调歌，指名说说调号应标在谁的头上 （4）练读四声 （三）学习复韵母ui （1）根据ai ei的发音方法，谁来说说我们应该怎样发ui? （2）学生自由试读 （3）学习ui的四声，强调调号标在i上，但上面的点要去掉。 （4）练读四声。 四、学习ai ei ui 的书写 1、指导观察，写的时候注意什么？（两个字母靠近） 2、练习描红 五、巩固练习。 1、抽读韵母卡片。 2、比较3个复韵母的异同。 3、读顺口溜。 四、作业］ 1、练读复韵母。 2、抄写ai ei ui 各两遍。 第二课时 教学要求：学习声母与复韵母的拼读，练读音节词。 教学过程： 一、复习检查 1、什么叫复韵母？读好复韵母要注意什么？ 2、复习复韵母ai ei ui 和它们的四声。 二、学习复韵母ai ei ui 的拼读。 1、复习声母。 2、复习拼音节的方法。 3、出示:

人教版一年级语文上册aneninunvn

汉语拼音12、an en in un ün 52小学石红丽 【教学目标】 1.学会前鼻韵母ɑn、en的发音方法，探究前鼻韵母的发音规律。 2.运用前鼻韵母的发音规律，同桌合作学习前鼻韵母in、un、ün的发音。 3.能正确书写前鼻韵母，感受书写美和紧凑美。 4.学会整体认读音节yuɑn、yin、yun。 【教学重点】 前鼻韵母的发音、整体认读音节的识记、 【教学难点】 【课前准备】 课件、ɑn、en、in、un、ün音节卡片，yuɑn、yin、yun卡片、智慧树、智慧果。 【课时安排】 1课时 【教学过程】 课前活动 1、我说你来做。嘴巴、牙齿舌头、鼻子 2、看，在黑板上有棵智慧树，你看它光长着光秃秃的枝，一点都不漂亮，智慧树老爷爷说：“小朋友们，你能用你的智慧让我长出智慧叶，结出智慧果吗？” 一、复习导入： 1、拼音乐园的朋友可真多，今天他们想和大家打个招呼，看，谁来了？你能和他们打个招呼吗？指名读。 在和这些单韵母朋友打招呼时，你们的口型发生变化了吗？（口型不变） 2、（复习复韵母ɑo、ei、ui、ɑo、ou、iu、ie、üe、 er。 瞧，又有几个老朋友来了，你能响亮的叫出他们的名字吗？指名读。 第一排！第二排！第三排我们一起来吧！叫出这些复韵母名字时，大家的口型有没有发生变化？（复韵母发音口型是要变化的。） 3、今天，我们又要认识几个特殊的拼音朋友哦！看，他们随着气球飘来了。请小朋友们仔细观察这5个韵母，你发现了什么(它们都是由一个单韵母和韵尾-n组成的)。 4、这五个韵母都是由一个单韵母和一个声母n组成。他们后面这个相同的小尾巴-n，却不读声母n，那该怎么读呢？请同学们看大屏幕。 动画演示【课件】 请小朋友像这样，用你的舌尖很快地抵住上齿龈，让气流从鼻孔里出来，就

小学一年级复韵母单元测试题

小学一年级复韵母单元测试题 班级：姓名：成绩： 一、写出由下列单韵母可以组的复韵母。 ɑ o e i u ü 二、你能给拼音宝宝找到家吗？ un enɡ zhi c si p u ei wu yi q r iu onɡ ye yuan yun 声母： 韵母： 整体 认读 音节： 三、按顺序填空。 b ( ) m ( ) ( ) t ( ) l ( ) k ( ) ( ) ( ) x zh ( ) ( ) r ( ) c ( ) ( ) ( )

四、把下列韵母表补充完整。 ɑ ( ) e i u ( )( ) ei ( ) ɑo ( ) ( )( ) üe er ɑn en ( ) ( ) ( )( ) enɡ ( ) ( ) 五、写出下面音节的韵母。 kāi ( ) xuě ( ) jú ( ) mǐn ( ) què ( ) jīnɡ ( ) hǔ ( ) jùn ( ) kǒu ( ) zhēnɡ( ) qǔ ( ) lǜ ( ) 六、把下面音节的声母写在（）里。 cǎo（ ) hiú ( ) zhuō ( ) ruì( ) xiónɡ( ) yǎnɡ ( ) 七、连线，挑选两种你喜欢的动物，把拼音抄在四线格上 fánɡ zi hú dié xiǎo niǎo qīnɡ wā

八、连线。 là zhú tài yánɡ qiān bǐ qì qiú九、请你把下面音节补充完整。 十、连一连. fēi jī xué xiào xiǎo hé yuè er 月儿小河飞机学校十一、知道这些动物爱吃什么吗？找一找连一连。

c ǎo y ú lu ó bo ɡǔ tou 十二、你能根据下面的图画写出复韵母吗？ 十三、根据汉字提示，给音节标声调。 轮 船 写 作 业 小 牛 排 队 lun chu ɑn xie zuo ye xi ɑo niu p ɑi dui you yon ɡ zhe zhi

小学一年级拼音组合

一、汉语拼音中最重要的。 （记住23个声母、24个韵母和16个整体认读音节。） 要求：每个孩子都能背下来，能默写以及打乱顺序能听写。 1、23个声母： b p m f d t n l ɡk h j q x zh ch sh r z c s y w 其中zh ch sh r是翘舌音，也叫卷舌音；z c s是平舌音。 2、24个声母可以分为： 6个单韵母：ɑo e i u ü 9个复韵母：ɑi ei ui ɑo ou iu ie üe er 其中er为特殊复韵母，不和其他声母组成音节，只能自成音节。 9个鼻韵母：（包括5个前鼻韵母、4个后鼻韵母） ɑn en in un ün （5个前鼻韵母）ɑnɡenɡinɡonɡ（4个后鼻韵母） 3、16个整体认读音节： zhi chi shi ri zi ci si

yi wu yu ye yue yuan yin yun ying 其中最容易写错的是整体认读音节“ye，”学生容易写成“yie”。需重点记忆。 二、音节加声调的位置。 （学生容易写错，因此要记住下面的标调儿歌以避免。） 有ɑ不放过，无ɑ找o e，i u并排标在后，单个韵母不用说。 其中，学生最容易出错的是复韵母iu和ui的标调。 三、小ü和j q x y 拼写时的去点规则。 （家长在家辅导时不断强化。为了加强记忆，可以记住下面的儿歌。） 小ü小ü有礼貌， 见了j、q、x和大y就摘帽。 j q x 和大y，从不和u在一起。 四、关于23个声母、24个韵母和16个整体认读音节中为什么没有uo。（音节分为两拼音节和三拼音节。） 如果uo在音节中出现，该音节为三拼音节。u为介母，o为韵母。 三拼音节一共有82个，以下是全部的三拼音节表。 多音节：ia ua uo uai uan ian iao iang uang iong

拼音aneninunvn教学设计

拼音aneninunvn教学设计 第一课时 教学准备： 配乐电脑课件 教学过程： 一、复习学过的拼音。 1、师：同学们，你们结识的拼音朋友今天被老师请来了一些，请大家一起叫出它们的名字吧。 2、电脑依次出示声母、韵母和音节。学生齐读，教师及时正音，相机评价。 N c f d ai iu er ou shǔi水fǔ浮kuài快yuè月 二、故事导入，激发兴趣。 1、师：同学们表现得棒极了，老师决定送给大家一个有趣的童话故事听，你们可要用心来听呀，因为这个故事会教给你新知识的。 2、（师边讲边出示配乐电脑课件）老师要讲的是《门的故事》：从前有一位兔妈妈，有五个孩子。老大是小“a”、老二叫小“e”、老三是小“i”、老四叫小“u”、最小的是小“ü”。一天，兔妈妈把五个孩子叫到跟前对他们说：“孩子们，我在一家商店里为咱们家的新房子定了一扇门，你们五个今天得把它运回来安上。”妈妈的话音刚落，老大“a”就抢先说：“我是老大，我来负责安（an）门”接着小“e”说：“好吧，你安好了门，我负责在门上安一个用手一摁（en）就响的门铃。”这时小“ü”连忙说：“我最小，我负责把门运（ün）回来，可去那家商店的路我不认识呀。”就在小“ü”为难时，小“i”开口了：“没关系，我认识，我来给你引（in）路。”这时小“u”急了，问：“我干什么呀？”妈妈说，“你呀，负责解决最后一个大问（un）题，给门安上锁吧。孩子们赶紧行动吧，把门安好了，妈妈奖励每人一个大鸭梨。”于是五个孩子七手八脚地忙起来，没过多时，一扇漂漂亮亮的大门安在了小兔子家的新房子里。 三、回忆故事，准确认读 1、学习“an”的发音。 （1）师：同学们记住这个故事了吗？让我们一起来回忆一下吧。看，这是兔妈妈（在黑板上贴出兔妈妈的画片），老大小“a”负责干什么呢？（贴出小“a”的画片） （2）学生答：“安门”，师板书：an （3）师：因为是小“a”负责安门，所以读“an”时要先摆出小“a”的口型，让声音从鼻子里发出来。 （4）师范读，学生边听边观察口型。 （5）学生练读。先自读找感觉再指名读，然后分小组读“an”的四声。 （6）拼读b-an-bān（班） 2、学习“en”的发音。 师：谁记得小“e”给门安了一个什么样的门铃？（贴出小“e”的画片） （2）（指名答）师相机板书：en （3）师领读。 （4）（指名）说说老师是怎样发出“en”的音的？ （5）同位相互练读，注意观察口型和舌头的位置是否正确。（6）喜欢读“en”的几声的同学就站起来读一读。 （6）拼音r-en-rén（人） 3、学习“un”的发音。

小学一年级上册复韵母练习题

复韵母练习题 一、读一读，抄一抄。 ao ou iu 二、请你帮助小兔把音节完整的写下来。 三、读一读 1. hu ü er z ǎo z ǎo de k üi le 。 2. ni ú ni ú p üi p í qi ú。 3. b ǎo b ǎo z ài h y shu ǐ。 ao b m z

四、读读这首古诗，然后，背一背，做一做。 长cháng 歌g y 行xíng 百bǎi 川chuün 东dōng 到dào 海hǎi ，何h ? 时shí复f ù 西x ī 归guī 。 少shào 壮zhuàng 不b ù 努n ǔ 力l ì，老lǎo 大d à 徒t ú 伤shüng 悲byi 。 找出学过的复韵母，用红笔圈出来。 ie ?e er 五、你能根据下面的图画写出复韵母 吗？ 六、请你把下面音节补充完整， 七、连一连？ f yi j ī xu ? xi ào xi ǎo h ? yu a er 月儿 小河 飞机 学校 ?e j q x ( ) ( ) ( ) ie j q x ( ) ( ) ( )

八、把音节补充完整 y m ? h j 要门爷回家 你栽树，他培土， 我去提水。 九、图画音节连一连。 wū guī cì wei xǐ qua bái cài 十、知道这些动物爱吃什么吗？找一找连一连。 cǎo yú luó bo gǔ tou

十一、对号入座，读准音节选一选。 hu ǒ ni ú y óu xu y bi ǎo p ǎo ( ) ( ) ( ) ( ) ( ) ( ) 十二、读一读，想一想，做一做。 看月亮kànyualiàng 初一看chūyīkàn ，一条线yītiáoxiàn ；初二三chūarsün ，眉毛弯m?imáowün ； 初五六chūwǔliù，挂银镰guàyínlián ；初七八c h ūq īb ü，像小船xiàngxiǎochuán ； 初九十chūjiǔshí，切半圆qiybànyuán ；十五六shíwǔliù，像玉盘xiàngyùpán 。 1.照样子，填一填。 弯弯的月亮像小船，圆圆的月亮像 。 2.你喜欢圆圆的月亮还是弯弯的月亮？能给它画张像吗？ 动动脑 筋啊！

一年级拼音怎么拼-啊

一年级的拼音怎么拼啊 汉语拼音一共有63个，声母有23个，韵母有24个，整体认读音节有16个。 一、汉语拼音 声母：指音节开头的辅音。 韵母：指音节中声母后面的部分。 音节：语音的基本结构单位，也是自然感到的最小语音片段。由声母、韵母组成。“大（da）” 一般说来，一个汉字代表一个音节。 声母：发音较轻快 b p m f d t n l g k h j q x zh ch sh r z c s y w 23个 韵母：发音时较响亮a o e i u ü ai ei ui ao ou iu ie üe er an en in un ün ang eng ing ong 24个 整体认读音节：zhi chi shi ri zi ci si yi wu yu ye yue yuan yin yun ying 16个 单韵母：发音声音又响又长 a o e i u ü6个 复韵母：ai ei ui ao ou iu ie ue er 9个 前鼻音韵母：指拼音中以“n”结尾的，如：an en in un ün 5个 后鼻音韵母：指拼音中以“ng”结尾的，ang eng ing ong 4个 前鼻音与后鼻音有很大的差别了：前鼻音的尾音是n，后鼻音的尾音是ng 前鼻音由母音和鼻尾音组成。鼻尾音是-n，发-n时，要用舌尖抵住上齿龈，软腭下垂，让气流 从鼻腔透出，音结束舌尖是抵住上齿背的。[en发音恩] 后鼻音eng 先发e,紧接着舌根后缩，抵住软腭，气流从鼻腔出来，是舌根音，要抬起舌根。

[eng发音亨] 平舌音：z c s 有3个[拼音中以“z、c、s”开头的] 翘舌音：zh ch sh r 有4个[ 拼音中以“zh、ch、sh、r ”开头的] 三拼音节: ia ua uo uai iao ian iang uang iong 9个 零声母音节: a ai an ang ao e ê ei en eng er o on 13个 [er为特殊韵母有时候归类于复韵母，有时候单独列为特殊韵母] 二、怎样读拼音 拼音有声母和韵母。韵母发音时较响亮，声母发音较轻快。韵母又分单韵母和复韵母，只包含一 个元音的，叫单韵母；包含几个元音或者由元音、辅音组合而成的，叫复韵母。 汉字音节的韵母，由韵头、韵腹和韵尾3个部分组成。韵头，又称介音；韵腹，称元音；韵尾则 有元音和辅音尾两种。 如：[如lie ] l是声母，ie是复韵母。i是韵头；e是韵腹如官[guan]这个音节中，g是声母，uan 是 复韵母。韵母uan 中，u 是韵头，a 是韵腹，n 是韵尾。 拼音的发音：单韵母 a（啊）嘴巴张大，舌位最低，舌身后部微微隆起。 o（喔）嘴巴圆圆，舌身略向后缩，舌身后部稍微隆起。 e（鹅）嘴巴扁扁，舌位高低与o大体相同，只是嘴角向两边展开。

《aneninunvn》教学设计和教学反思

《aneninunvn》教学设计和教学反思 (人教版一年级上册) 教法：多种形式认读 学法：反复练读，采用多种方式读。 教学准备：卡片小黑板 教学目标： 知识目标：学会前鼻韵母an en in un ün和整体认读音节yuan yin yun，读准音，记清形，正确书写。认识“山、田、左、片、右、风、云、她”8个生字，并能在一定的语境中使用能力目标：能够看图说话，根据音节拼读词语和句子。能够自己拼读儿歌，做到词语连读 情感目标：培养学生对拼音拼读的兴趣。 教学重、难点：学会前鼻韵母an en in un ün和整体认读音节yuan yin yun，掌握en in yun的读音，掌握整体认读音节yuan。 学情分析：一年级学生具有奇怪、爱探索、易受感染的心理特点，简易被新鲜的事物所吸引。 教学过程： 第一课时 一、复习检查。 1、卡片认读复韵母：ai ei ui ao ou iu ie üe er . 教师小结：我们已经学了8个复韵母，1个特别韵母。 2、出示整体认读音节ye yue，让学生找出和它们读音相同的复韵母。 二、提出教学任务。

今天我们要学习鼻韵母，板书：an en in。这三个复韵母后面都有-n，这个-n，不是声母n，只表示鼻音。发音时摆好发“n”的准备，舌尖顶住上颚的前部，让气流从鼻孔出来。（教师用手势演示。）因此，这样的韵母叫前鼻韵母。领读“前鼻韵母”2遍。 三、教前鼻韵母an和整体认读音节yuan。 1.看插图说话引出an：图上画着什么？（天安门）领读2遍，读准“安”的音。指名读“天安门”。简介天安门，天安门的“安”就是韵母an。 2.教学an的发音。 （1）讲解发音要领：把an和-n合在一起，先发a，口合宜张得太大，马上用舌尖顶住上腭的前部，使气流从鼻孔出来，要念成一个音。 （2）教师范读、领读、指名读、开火车读、齐读。 （3）看看an是怎么写的。先写a，再写n，团结友爱不分开。学生书空。 3.an的四声练习：ān（天安门）ǎn（俺家）àn（黑暗） 4.教学整体认读音节yuan，看图，图上画着什么？ 5.教学发音，yuan是整体认读音节，板书yuan。教师范读、领读。 6.yuan的声调标在a上，进行四声练习： yuān（冤家）yuán（原因）yuǎn（渺远）yuàn（庭院） 四、教学前鼻韵母en。 1.看插图说话：图上画着谁？他在干什么？板书：en 2.教学en的发音：启发学生用学习an的方法练习en 的发音，提示，先发e，马上用舌尖顶住上腭的前部，使气流从鼻孔中出来。 3.教师领读、指名读、齐读。 4.en的四声练习，声调标在e上。ēn（恩情）（周恩来）èn（摁铃）

学前班一年级拼音教案(复韵母和前后鼻韵母整体认读音节的教案)

复韵母和前后鼻韵母整体认读音节的教案 复韵母教案 ai ei ui 教学目标： 1. 正确认读三个复韵母ai ei ui，认清形读准音，了解复韵母的组合规律 2. 能在四线格里正确美观的书写三个复韵母aieiui 3. 记清标声调的规则，特别是ui的声调，应该加在i的头上 4. 复习两拼法，正确拼读声母和复韵母组成的音节 教学重点： 认清aieiui的形状，读准它们的音 教学难点： 1. 让学生记清复韵母的标调规则 2. 正确拼读声母和复韵母组成的音节 教学时间：两课时 教学准备:拼音卡片写有标调歌的小黑板课件 教学过程： 第一课时 本课目标：

1正确认读三个复韵母aieiui，认清形读准音 2记清标声调的规则，特别是ui的声调，应该加在i的头上 3能在四线格里正确美观的书写三个复韵母aieiui 教学过程： 一复习导入 抽读声母的卡片 二新授认识复韵母 师：刚才我们复习了我们已经学过的声母，同学们读得很好，现在下面的音节我相信大家也能读的很棒！ （出示：声母和单韵母组成的音节） 师：刚才大家读了声母和单韵母组成的音节，拼读的非常正确，许多单韵母都和声母手拉手变成了好朋友，其实我们大家不知道， 单韵母和单韵母之间，它们也有很深的感情！ （出示单韵母读一读） 师：这就是我们学习过的六个单韵母兄弟，它们团结友爱，是相亲相爱的一家人，于是它们中间的小i就站出来对其他的五个单韵母说：“我在我们单韵母家族是最受欢迎的了，我和小a 小e 小u的关系最好！”于是它们几个就相互的手拉着手，你们看（课件演示：ai ei ui） 它们又组成了一种新的韵母，象这种单韵母和单韵母互相配对组合的韵母，我们就叫它们：（老师板书：复韵母带读学生读）

一年级拼音(声母与复韵母)

仅供参考小学教育资料 姓名：__________________ 班级：__________________ 第1 页共6 页

声母与复韵母 【声母】 b p m f d t n l g k h j q x zh ch sh r z c s y w 【声母与复韵母组成的音节】 ai bai pai mai dai tai nai lai gai kai hai zhai chai shai zai cai sai wai ei bei pei fei mei lei gei hei wei ui dui tui gui kui hui zhui chui shui rui zui cui sui ao bao pao mao dao tao nao lao gao hao zhao chao shao rao zao cao sao yao ou pou mou fou dou tou nou lou gou kou hou zhou chou shou rou zou cou sou you iu miu diu niu liu jiu qiu xiu ie bie pie mie die tie nie lie jie qie xie ye üe nüe lüe jue que xue yue ▲er（不和任何声母相拼，独立成一个音节。） 一、复习带调复韵母。 āi uíài ěi uìèi ēi ái uīǎi uǐéi 二、熟读下列音节。 duì měi huí dǎi fēi hǎi nèi mái wài zhuī chái ɡuāi kuài shuāi huái 三、熟读下列音节词。 pái duì bái tù fēi jī cì wei kāi huì hǎi dài měi lì

汉语拼音12.aneninunvn教案

汉语拼音12.ɑneninunün 教学目标： 1. 正确认读前鼻韵母ɑn、en、in、un、ün 和整体认读音节 yuɑn、yin、yun，读准音，认清形。 2. 正确拼读声母和ɑn、en、in、un、ün 组成的音节。能在四线格中正确书写音节词“lún chuán”。 3. 借助拼音，正确认读“蓝天、白云、草原、森林”4 个词语；正确朗读儿歌《家》。 4. 认识“草、家、是”3 个生字。 教学重点：前鼻韵母和整体认读音节 yuɑn、yin、yun 的正确认读；声母和前鼻韵母组成音节的正确拼读。 教学难点：前鼻韵母 un、ün 和整体认读音节 yuan、yun 的正确认读；ɡ、k、h 与介母 u、前鼻韵母ɑn 组成的三拼音节的正确拼读，j、q、x 与介母ü、前鼻韵母ɑn 组成的三拼音节的正确拼读。 教学准备：课件、卡片 课时安排：2课时 教学过程：第一课时 一、前鼻韵母及整体认读音节的教学。 1. 读准音。利用情境图中的学习资源，引导学生在看图说话，学生说到“安、摁、饮、纹、云、圆”等读音的时候，教师相机出示ɑn、en、in、un、ün 五个前鼻韵母，以及整体认读音节 yuɑn、yin、yun。 教师可以重点指导ɑn 的发音。掌握“ɑn”的发音要领。然后以此类推让学生自学 en、in、un、ün 的发音。 2. 识记形。 放手让学生自主发现字形的特点：5个前鼻韵母都是由一个单韵母和一个字母n 组成的。引导学生在观察中发现前鼻韵母的组合规律。 3. 整体认读音节 yuɑn、yin、yun 的教学。 出示已学韵母 i、ü、 ie、üe 和整体认读音节 yi、yu、ye、yue 两组卡片，让学生自主发现：凡是 i、ü开头的韵母，都有相对应的整体认读音节，它们的读音和韵母一样。在此基础上，出示五个前鼻韵母，让学生从中找出“孪生兄弟”——前鼻韵母 in、ün 和整体认读音节 yin、yun，并借助“音、阴”“晕、云”等口语中常用的发音帮助学生准确认读 yin、yun 这两个整体认读音节。 二、拼读教学。 1. 两拼音节。 声母与前鼻韵母ɑn、en、in 的拼读困难不大，可以先出现带拼音的熟字“人r én 、文wén、山shān、站zhàn、三sān、音yīn、云yún”等进行引导拼读，借助图片或学生口语常用词帮助拼读。 2. 三拼音节。 ɡ、k、h 与介母 u、韵母ɑn 组成的音节，以及 j、q、x 与介母ü、韵母ɑn 组成的音节，学生拼读有一定难度，教师可以联系学生熟悉的事物帮助学生拼读：例：ɡuān 出示图片“开关”和“水管”，出示图片“圆圈”和“拳头” 在教学中，要继续巩固 j、q、x 和ü相拼时ü上两点省略的书写规则，使学生可以顺利地拼出 j、q、x 和üɑn 组成的三拼音节。 三拼音节练读时，教师还可出示带有“iɑn”的音节，利用熟字“天、田”来体

小学一年级上册复韵母练习题

一年级语文第一册第三单元测试卷 班级姓名成绩 一、读一读，抄一抄。 ao ou iu ing ong 二、请你帮助小兔把音节完整的写下来。 @ ￥ 三、你能根据下面的图画写出复韵母吗 】 四、请你把下面音节补充完整， ~ ao b m zh （） （） （） üe j q ( ) ( ) ie < j q ( ) ^ ( )

五、连一连 fēi jīxúe xiào xiǎo héyuèer [ 月儿小河飞机学校六、把音节补充完整 y m éh j 要门爷回家 ` w q t sh 我去提水。 七、图画音节连一连。 "

wū guīcì wei xǐquèbái cài 八、知道这些动物爱吃什么吗找一找连一连。 ￥ cǎo yúgǔtou luóbo 九、你可以根据拼音画画吗 Píng guǒxiǎo cǎo xiāng jiāo 【 十、对号入座，读准音节选一选。 huǒniúyóu xuēbiǎo pǎo { ( ) ( ) ( )

( ) ( ) ( ) 十一、你能给拼音宝宝找到家吗 : un eng zhi c si p u wu yi q r iu ong ye yuan 声母： 韵母： 整体认读音节： , 十二、按顺序填空。 b ( ) m ( ) ( ) t ( ) l ( ) k ( ) j ( ) x zh ( ) ( ) r( ) c ( ) ( )( ) 十三、把下列韵母表补充完整。 单韵母：ɑ( ) e i u ( ) %

复韵母：( ) ei( ) ɑo ( ) ( )( ) üe er 前鼻韵母：ɑn en ( ) ( ) ( ) 后鼻韵母：( ) enɡ( ) ( ) 十四、拼一拼，写一写

小学一年级语文拼音教案：复韵母OU(人教版一年级教学设计)

复韵母OU(人教版一年级教学设计) 一年级语文教案 活动构思：拼音这门课非常重要，它将为入小学的汉字学习打下基础，但同时也是一门枯燥乏味的课，幼儿已学过几个复韵母，用一贯的教学模式教学幼儿兴趣不浓，易学易忘。游戏是幼儿最感兴趣的活动，本课将几个环节中都渗入游戏，调动幼儿的积极性，让幼儿主动地参与活动，形象地理解和运用复韵母。 活动目标： 1、学习复韵母ou及四声，能正确认读。 2、能拼读声母与复韵母ou组成的音节。 3、尝试看图片或汉字拼读音节、组词并说一句话。 活动准备： 1、拼音卡片：ɑoeiuüɑieiuiɑo 2、海鸥图片一幅，浪花图案的声韵母卡片12张，黑板板书。 3、5个射击靶、5幅图(猴、狗、口、藕、豆)、2个字卡（手、有） 活动过程： ●一、复习检查。 1、律动：手腕转动。 2、复习单韵母和已学的复韵母ɑieiuiɑo ●二、学习复韵母ou 1、出示海鸥图片，引出复韵母ou

2、分析字母组成，指导发音。 3、利用顺口溜记住发音。 ●三、学习ou的四声。 1、朗颂《标调口诀》后给ou标调。 2、集体练读四声，分组轮读，师生互读。 ●四、拼读音节。 1、出示浪花图案的声韵母12张，幼儿一一认读。 2、幼儿集体或单个拼读出各音节。 3、分男女生齐读各音节，开火车纠正读音。 4、全班幼儿看书读一遍。 ●五、游戏：打靶。 1、全班幼儿射击，打中靶后读出藏在靶后的字和音节。 2、教师示范：ou—藕汤—排骨藕汤有营养，指导幼儿用各音节组词并说一句话。 3、全班幼儿分组练习新句式。 ●六、拓展练习。 拿出藏在海鸥图片后的“手”和“有”字卡请幼儿用两个字说一句话。为下节的写字活动课做铺垫。

一年级汉语拼音备课aneninunvn教案名师制作优质教学资料

《汉语拼音an en in un ün 》教案 一、课标依据 学会汉语拼音，能读准声母、韵母、声调和整体认读音节。 二、教材分析： 本课包括三部分内容。 第一部分是五个前鼻韵母an、en、in、un、n和三个整体认读音节yuan、yin、yun，配有图画。第一幅图用天安门的“安”提示an的音。第二幅图用摁门铃的“摁”提示en的音。第三幅图用圆圈的“圆”提示yuan的音。第四幅图用树阴的“阴”提示in和yin的音。第五幅图用蚊子的“蚊”提示un的音。第六幅图用“云”提示n和yun的音。 第二部分是拼音练习。包括三项内容：（1）声母与en、in、un、n的拼音，巩固新学的韵母，复习j、q、x跟相拼省写上两点的规则。（2）练习拼读为介母的三拼音节。（3）看图读音节，培养学生认识事物、准确拼音的能力。 第三部分是一首儿歌，配有图画。 三、教学目标： ▲★1.学会前鼻韵母an、en、in、un、n和整体认读音节yuan、yin、yun，读准音，认清形，正确书写。 ★2.与前鼻韵母组成的音节，准确拼读音节。读准三拼音节，复习上两点省写规则。 3.认识8个生字，能借助汉语拼音正确朗读韵文，了解看图时的方为顺序。看图读儿歌。 四、教学重点 前鼻韵母的发音、整体认读音节的识记及声母和前鼻韵母组成音节的拼读，

以及认识八个生字是本课教学的重点。 五、教学难点 三拼音节的发音是难点。 六、学情分析： 通过前几节课对复韵母的学习，学生对复韵母已经有了一定的认识，但学生在学习鼻韵母时可能会遇到一定的困难，要注意教学时让学生掌握鼻韵母的发音方法。另外，学生对整体认读音节yuan、yin、yun 的发音掌握是重难点，要注意方式方法。 学生对复韵母与声母的拼读有了一定的了解，通过过去的学习，学生对拼读方法的掌握已经比较熟练，但带调拼读音节仍然是学习的难点，个别学生不能正确拼读带调音节，个别学生则不会用拼音读句子，应注意针对不同的学生采用不同的方法。、 七、教法学法 讲授法、谈话法、演示法、练习法、讨论法、小组合作。 八、课时安排： 3课时 九、教学过程 第一课时 一、导入 复习导入 1.卡片认读复韵母：ai ei ui ao ou iu ie ?e er .