程序正确性证明与程序测试

第一篇：程序正确性证明与程序测试

1.试比较程序正确性证明与程序测试

正确性证明是论证程序达到预期目的的一般性陈述，而该论证与程序输入数据的特定值无关，能够代表穷举性测试。

程序测试是指测试者特意挑出一批输入数据，通过运行程序，检查每个输入数据所对应的运行结果是否符合预期要求。

Dijkstra说过“程序测试只能证明程序有错，不能说明程序正确”。除非进行穷举行测试。

2.什么是程序的正确性？试叙述程序正确性证明的基本思想和过程

正确性证明是论证程序达到预期目的的一般性陈述，而该论证与程序输入数据的特定值无关，能够代表穷举性测试。主要是利用谓词演算和演算规则集合来证明程序的部分正确性。主要方法。

4.说明程序正确性断言{P}S{Q}的含义，及证明它成立的方法

如何确认一个子类是真正的、忠实的合乎规则的子类型？即子类的类型和父类的类型保持一致所要做的工作是：

从类不变式、方法的前置和后置条件、状态空间和行为等方面加以约束

第二篇：2012心理测试程序说明(研究生)

研究生心理健康测量程序说明

测试前的准备工作

2.在读研究生必须准时参加测试，录取类别为委托培养的研究生自愿参加。

3.提前准备一支2B铅笔，一块橡皮，记住本人的学号查好本人姓名的汉子区位码。

测试当天的工作

1.发放机读卡、发放问卷。

2.填涂说明

（1）学校代码不填涂；

（2）姓名栏第一行顶格填写姓名汉字，第二栏填写汉字对应区位码，下方填涂对应数字；

（3）学号一栏2011级和2012级顶格填写本人学号（10位），剩下2格不填涂；其他年级顶格填写学号后9位，例如10200201020111，只填涂200920111，剩下3格不填涂。

（4）其他性别、民族、出生日期等信息不要漏填。

（5）姓名若超过四个字的，写姓名的前四个字。

4.朗读导语：

（1）本次测试绝对保密，以便在需要时为大家提供更好的心理健康服务。

（2）保证测试的结果不保存，不进档案，不会影响大家的入党、评奖评优、考博和就业等。

（3）本次测试选用的《中国大学生心理健康量表》是由教育部组织心理学专家历时三年时间编制而成，量表标准化水平高，具有良好的信度、效度，是目前国内最好的大学生心理素质测评量表，能帮助大家更好地了解自己，所有问题的答案无对错之分，请一定根据按照自身的实际情况真实地做答。答题中请保持安静，不要提问。

5.询问研究生是否有疑问，如无疑问请大家开始作答。

6.提醒研究生直接将答案填涂在答题卡上，不要在问卷上涂写，填涂中不要折损答题卡，答题完毕后将答题卡和问卷直接一并上交。

第三篇：相关程序

合同工程完工验收

1、合同工程完成后，应进行合同工程完工验收。当合同工程仅包含一个单位工程（分部工程）时，宜将单位工程（分部工程）验收与合同工程完工验收一并进行，但应同时满足相应的验收条件。

2、合同工程完工验收应由项目法人主持。验收工作组由项目法人以及与合同工程有关的勘测、设计、监理、施工、主要设备制造（供应）商等单位的代表组成。

3、合同工程具备验收条件时，施工单位应向项目法人提出发人验收申请报告。项目法人应在收到法人验收申请报告之日起20 个工作日内决定是否同意进行验收。

4、合同工程完工验收应具备以下条件：

（1）合同范围内的工程项目已按合同约定完成；（2）工程已按规定进行了有关验收；

（3）观测仪器和设备已测得初始值及施工期各项观测值；（4）工程质量缺陷已按要求进行处理；（5）工程完工结算已完成；（6）施工现场已经进行清理；

（7）需移交项目法人的档案资料已按要求整理完毕；（8）合同约定的其他条件。

5、合同工程完工验收应包括以下主要内容：（1）检查合同范围内工程项目和工作完成情况；（2）检查施工现场清理情况；（3）检查已投入使用工程运行情况；（4）检查验收资料整理情况；（5）鉴定工程施工质量；（6）检查工程完工结算情况；

（7）检查历次验收遗留问题的处理情况；（8）对验收中发现的问题提出处理意见；（9）确定合同工程完工日期；（10）讨论并通过合同工程完工验收鉴定书。

6、合同工程完工验收的工作程序可参照本规程单位工程验收程序的规定进行。

7、合同工程完工验收鉴定书正本数量可按参加验收单位、质量和安全监督机构以及归档所需要的份数确定。自验收鉴定书通过之日起30 个工作日内，由项目法人发送有关单位，并报送法人验收监督管理机关备案。

第四篇：程序 文档

一、民办非企业单位成立登记

1、申请成立民办非企业单位应当具备的条件

企事业单位、社会团体和其他社会力量以及公民个人均可申请成立民办非企业单位，具体条件包括：

（1）经业务主管单位审查同意；（2）有规范的名称、必要的组织机构；（3）有与其业务活动相适应的从业人员；

（4）有与其业务活动相适应的合法财产（在民政部登记一般30万元以上，其中非国有资产份额不得低于总财产的三分之二，国家法律或国家有关行政部门对从事某行（事）业的民办非企业单位的开办资金另有规定的，从其规定）；

（5）有必要的场所。

医疗、教育、职业培训类民办非企业单位，应当分别在卫生行政部门领取《医疗机构执业许可证》、在教育行政部门领取《社会力量办学许可证》、在劳动和社会保障行政部门领取《社会力量办学许可证》后，再到同级民政部门办理登记。

2、民办非企业单位的名称要求

（1）民办非企业单位的名称一般包括字号、行（事）业或业务领域和组织形式三部分，名称应当与其业务范围相一致，准确反映其特征；

（2）名称中所标明的组织形式必须明确，一般称学校、学院、园、医院、中心、院、所、馆、站、社、公寓、俱乐部等，组织形式不得冠以“总”字；

（3）在民政部登记的民办非企业单位，其名称不得冠以“中国”、“全国”、“中华”等字样；在地方民政部门登记的民办非企业单位，其名称应当冠以所在地省（自治区、直辖市）、市（地、州）、县（县级市、市辖区）的行政区划名称；冠以市辖区名称的，应当同时冠以市的名称；

（4）民办非企业单位名称不得有损于国家、社会公共利益、违背社会道德风尚，或带有封建迷信色彩；不得含可能对公众造成欺骗或者误解的文字或内容；不得使用政党名称、党政军机关名称、人民团体名称、社会团体名称、事业单位名称、企业名称及宗教界的寺、观、教堂（佛、道教的寺、观，伊斯兰教的清真寺，天主教、基督教的教堂）名称；不得使用已被撤销的民办非企业单位的名称；不得使用其他法律、行政法规规定禁止的名称。

3、民办非企业单位包括的行（事）业（1）教育事业，如民办幼儿园，民办小学、中学、学校、学院、大学，民办专修（进修）学院或学校，民办培训（补习）学校或中心等；

（2）卫生事业，如民办门诊部（所）、医院，民办康复、保健、卫生、疗养院（所）等；

（3）文化事业，如民办艺术表演团体、文化馆（活动中心）、图书馆（室）、博物馆（院）、美术馆、画院、名人纪念馆、收藏馆、艺术研究院（所）等；

（4）科技事业，如民办科学研究院（所、中心），民办科技传播或普及中心、科技服务中心、技术评估所（中心）等；

（5）体育事业，如民办体育俱乐部，民办体育场、馆、院、社、学校等；（6）劳动事业，如民办职业培训学校或中心，民办职业介绍所等；（7）民政事业，如民办福利院、敬老院、托老所、老年公寓，民办婚姻介绍所，民办社区服务中心（站）等；

（8）社会中介服务业，如民办评估咨询服务中心（所），民办信息咨询调查中心（所），民办人才交流中心等；

（9）法律服务业；（10）其他。

4、申请成立民办非企业单位的程序

（1）成立民办非企业单位，申请者应根据拟举办者民办非企业单位所属行（事）业的性质，向业务主管单位提出申请，经业务主管单位审查同意后，向登记管理机关提交全部有效的申请材料，按照登记管理机关的要求进行验资；

（2）登记管理机关审查后，准予登记的，申请人在网上履行设立登记的填报程序后，发给《民办非企业单位（法人）登记证书》；

（3）民办非企业单位领取证书后，应在民政部民间组织服务中心申请刻制印章；在全国组织机构代码中心办理组织机构代码证书，在税务部门办理税务登记，在银行开立银行账户，并报登记管理机关备案。

（4）民办非企业单位开立银行账户后，可以办理验资资金划回账户事宜，提交下列文件：



划资申请书，应包括以下内容：验资用途；批复设立登记的文号；申请划回资金的金额；开户银行名称及账号（申请书由民办非企业单位法定代表人或负责人签字并加盖民办非企业单位印章）。

民办非企业单位银行开户许可证复印件。

5、申请成立民办非企业单位需要提交的材料

（1）成立登记申请书（成立该民办非企业单位的必要性，包括拟成立民办非企业单位的业务（行业）的基本情况以及成立该民办非企业单位可以发挥的作用；拟成立的民办非企业单位基本情况，包括宗旨、主要的业务范围、开办资金及其来源、举办者情况介绍等。申请书由举办者签名或者盖章）；

（2）业务主管单位同意设立登记的文件（写明同意作为该民办非企业单位的业务主管单位并承担相应职责，加盖国徽章）；

（3）章程草案（依照章程示范文本拟定）；

（4）住所使用权证明（住所为租赁的，须提供租赁合同复印件以及房产证复印件；住所为其他组织或个人无偿提供的，须由房产所有者出具证明，并提供房屋产权证复印件）；

（5）资金来源证明（写明拟捐赠金额、作为拟成立民办非企业单位的活动资金，承诺该资金为捐赠者的合法财产，捐赠人签字或者捐赠单位印章）；

（6）拟任负责人（理事会负责人、执行机构负责人、法定代表人）名单及身份证明文件的复印件；

（7）《民办非企业单位负责人备案表》（编号：09）（包括理事长、副理事长、执行机构负责人，每人一表，加盖本人所在单位印章）；

（8）《民办非企业单位法人登记申请表》（编号：01）；（9）《民办非企业单位法定代表人登记表》（编号：04）；（10）《民办非企业单位章程核准表》（编号：05）；

初审通过后，申请人到民政部取验资通知单，按照要求进行验资。

二、民办非企业单位注销登记

1、民办非企业单位办理注销登记的程序：

（1）按照章程的规定，履行相应的内部程序通过终止民办非企业单位决议。如果因特殊情况不能召开的，应当在报纸上公告，并经业务主管单位认可。

（2）在登记管理机关、业务主管单位和有关机关（一般指会计师事务所）的指导下成立清算组织，清理债权债务，处理剩余财产，完成清算工作。清算组的职责是：清理财产，编制财务报表；通知、公告债权人（可以参照《公司法》的相关规定，清算组织自成立之日起10日内通知债权人、60日内在报纸上公告，债权人应当自接到通知书之日起30日内，未接到通知书的自公告之日起45日内，向清算组申报其债权）；处理与清算有关的未了结业务；清缴所欠税款以及清算过程中产生的税款；清理债权、债务；处理清偿债务后的剩余财产等；代表民办非企业单位参与民事诉讼活动。清算结束后，清算组应提出清算报告并造具清算期间内的收支报表和各种账务账册。各财务数据须经注册会计师签字。

清算后的剩余财产，应当按照有关法律、法规的规定处理。清算期间，不进行清算以外的活动。（3）清算结束后，向业务主管单位提交注销申请。（4）业务主管单位审查同意后，报登记管理机关审查。

（5）经审查同意后，民办非企业单位向登记管理机关交回登记证书、印章和有关财务凭证，将银行账户、税务登记和组织机构代码的注销资料复印件交登记管理机关备案，由登记管理机关办理注销公告。

2、民办非企业单位办理注销登记，网上填报通过后，并提交以下材料（原件一式一份）：

（1）注销登记申请书（说明申请注销的原因及其他需要说明的重要事项，法定代表人签字并民办非企业单位盖章）；

（2）业务主管单位关于同意注销登记的文件（写明同意注销并认可清算结果和剩余财产的处理，加盖国徽章）；

（3）《民办非企业单位法人注销申请表》（编号：02）并按要求加盖印章或签字；

（4）会计师事务所出具的民办非企业单位清算报告；

（5）民办非企业单位清算报告书（清算小组成员签字）、债权债务公告（公告需刊登在公开发行的报纸上，提交报纸原件）；

（6）民办非企业单位履行程序会议纪要。

经审查同意，民办非企业单位办理组织机构代码、税务登记、银行账户注销等相关事项后，向登记管理机关交回民办非企业单位登记证书正副本，印章（民办非企业单位印章、财务专用章、办事机构印章）和有关财务凭证（会费收据等），领取同意注销登记文件。

三、民办非企业单位变更登记

1、民办非企业单位办理名称变更，网上填报通过后，并提交以下材料（原件一式一份）：

（1）申请书（写明申请更名的理由、必要性，以及更名前后业务范围的变化，加盖民办非企业单位印章）；

（2）《民办非企业单位变更登记申请表》（编号：03）；（3）业务主管单位同意名称变更的文件（加盖国徽章）；（4）《民办非企业单位章程核准表》（编号：05）；

（4）新章程及其电子版（章程骑缝处加盖业务主管单位印章）；（5）章程修订说明（新旧章程对照说明全部修改内容，加盖民办非企业单位印章）。

2、民办非企业单位办理法定代表人变更，网上填报通过后，并提交以下材料（原件一式一份）：

（1）《民办非企业单位变更登记申请表》（编号：03）；（2）《民办非企业单位法定代表人登记表》（编号：04）；（3）法定代表人身份证明文件的复印件；

（4）由会计师事务所出具的前任法定代表人任职期间的财务审计报告（旨在明确前任法人在任期间的财务状况及工作状况）。

3、民办非企业单位办理业务主管单位变更，网上填报通过后，并提交以下材料（原件一式一份）：

（1）《民办非企业单位变更登记申请表》（编号：03）；（2）原业务主管单位同意变更的文件（加盖国徽章）；

（3）新业务主管单位同意作为该民办非企业单位业务主管单位的文件（加盖国徽章）。

4、民办非企业单位办理住所变更，网上填报通过后，提交以下材料（原件一式一份）：

《民办非企业单位变更登记申请表》（编号：03）（原件一式一份）和住所证明（住所为租赁的，须提供租赁合同复印件以及房产证复印件；住所为其他组织或个人无偿提供的，须由房产所有者出具证明，并提供房屋产权证复印件；住所为民办非企业单位购买的，须提供买卖合同复印件以及房产证复印件）。

5、民办非企业单位办理开办资金变更，网上填报通过后，并提交以下材料（原件一式一份）：

（１）《民办非企业单位变更登记申请表》（编号：03）

（2）开办资金来源证明（属捐赠的，须提交捐赠协议；属民办非企业单位自有资金的，须提交说明）

经初审同意后，履行验资程序。

6、民办非企业单位办理业务范围变更，网上填报通过后，并提交以下材料（原件一式一份）：

业务范围变更必须在经核准的章程规定的业务范围之内，提交材料如下：（1）申请报告（载明业务范围变更的理由和事项）；

（2）民办非企业单位章程中关于业务范围的规定，加盖民办非企业单位印章；（3）《民办非企业单位法人登记证书》正副本。

四、备案

1、民办非企业单位需要备案的事项：

（１）民办非企业单位组织机构代码证书、税务登记证书、印章式样、银行开户证明（提交复印件）；

（2）办事机构设立、注销；（3）负责人。

2、办事机构备案

民办非企业单位的办事机构是民办非企业单位内部设立的承办民办非企业单位日常事务的机构，是民办非企业单位执行机构的日常工作部门，如办公室、财务部等。

民办非企业单位办事机构备案，网上填报通过后，并提交以下材料（原件一式一份）：

（1）成立办事机构，应当向登记管理机关提交《民办非企业单位办事机构备案表》（编号：09），按照要求签字并加盖印章。经审查同意后，发放备案通知书,可以刻制印章。

（2）注销办事机构，应当向登记管理机关提交《民办非企业单位办事机构注销备案表》（编号：07），按照要求签字并加盖印章。经审查同意后，向登记管理机关交回印章，领取同意注销备案文件。

3、负责人备案

民办非企业单位负责人包括理事长、副理事长、执行机构负责人。民办非企业单位负责人备案，网上填报通过后，并提交以下材料（原件一式一份）：

（1）《民办非企业单位负责人变动申请表》（编号：08）

（2）《民办非企业单位负责人备案表》（编号：09）和本人身份证明文件的复印件



民办非企业单位新增负责人应履行负责人备案手续。



民办非企业单位换届，应履行新一届所有负责人的备案手续（按照规定，民办非企业单位换届后所有负责人均需重新备案，为减轻民办非企业单位工作量，可以只报送新增负责人的纸质材料，但须在网上填报所有负责人的备案表，连任的负责人需要在简历最后一栏写明上一届在民办非企业单位任职的时间和职务）。

五、民办非企业单位章程核准

1、民办非企业单位章程核准的程序：

（1）民办非企业单位修改章程，须先在理事会召开前报登记管理机关预审（如章程与示范文本差别较大，可与登记管理机关联系，申请报送电子版）；

（2）预审通过后，由理事会审议，审议通过后15日内报业务主管单位审查同意，再报登记管理机关核准。

民办非企业单位修改章程未履行规定程序的，登记管理机关不予受理章程核准。未经核准的章程，不能作为民办非企业单位开展活动的依据。

2、民办非企业单位章程核准，网上填报通过后，并提交以下材料（原件一式一份）：

（1）《民办非企业单位章程核准表》（编号：05）；

（2）新章程及其电子版（章程骑缝处加盖业务主管单位印章）；（3）章程修订说明（新旧章程对照说明全部修改内容，加盖民办非企业单位印章

第五篇：普通话水平测试程序及样卷

普通话水平测试考场规则

一、应试人须凭准考证、身份证（学生持学生证）参加测试。

二、按时应试，迟到者给予包括取消本次测试资格的处罚。

三、不准在考场（教室）门、窗处围观或大声说话。应试人测试结束后立即离开考场，不得在考场周围逗留。

四、进入考场关闭手机等通讯工具。

五、当天测试的初评成绩须经复听审定，不要打听、追问。

普通话水平测试程序

一、进入考场先出示有效证件（身份证、准考证、学生证）

二、抽取试卷一和试卷二，进行准备。试卷一为一、二部分试题，试卷二为三、四部分试题。（准备时间：10分钟左右。）

三、应试时，主试教师发出“开始”指令后，考生按须按下列顺序自报家门：

准考证号（后四位数）-→姓名-→试卷编号（后两位数）-→朗读篇目（作品号）-→说话题目（二选一，只报选中的话题）例如：准考证号2035，我叫黄晓东，试卷编号25号，朗读篇目30号，说话题目“我的业余生活”。四、四项考试，只读题号，不读题目

五、第一、第二道题，朗读时横着读；第三题须读到作品划斜线处；第四题须说够3分钟。

六、记住测试时间。此项考试为国家级考试，记清考试时间、地点。过期不候。

（注：进入考场时，除有效证件外，不得带纸、笔、字典等物品。）

试卷编号：20090325 普通话水平测试样卷

一、读单音节字词（100个音节，共10分，限时3.5分钟）

昼 八 迷 先 毡 皮 幕 美 彻 飞 鸣 破 捶 风 豆 蹲 霞 掉 桃 定 宫 铁 翁 念 劳 天 旬 沟 狼 靴 娘 嫩 机 蕊 家 跪 绝 趣 瓜 穷 屡 知 狂 正 裘 中 恒 槐 事 轰 竹 掠 茶 肩 常 概 皇 水 君 人 伙 自 滑 早 绢 炒 次 渴 酸 勤 鱼 筛 院 腔 鳖 袖 滨 竖 搏 刷 瞟 帆 彩 司 滕 寸 峦 岸 勒 歪 尔 熊

二、读多音节词语（100个音节，共20分，限时2.5分钟）取得 阳台 儿童 板凳儿 混淆 衰落 防御 沙丘 管理 此外 便宜 光环 扭转 加油 队伍 挖潜 女士 科学 策略 抢劫 森林 侨眷 模特儿 港口 干净 日用 紧张 炽热 群众 名牌儿 快乐 窗户 财富 应当 生字 奔跑 卑劣 包装 洒脱 现代化 委员会 轻描淡写

口 全 社 虫 足 爱 愤 妥

分析 塑料 手指 没准儿沉醉 晚上

三、朗读短文：请朗读第12号短文。

四、命题说话：请按照话题“我的业余生活”或“我熟悉的地方”说一段话（3分钟）。

试卷编号：20090325 普通话水平测试样卷

一、读单音节字词（100个音节，共10分，限时3.5分钟）

锅 兑

挺 休

缴

朱 循

榜 弗 彼

挖

啼

码

媚

绕

闹

团

逆

骗

谎

投

举 晒

粪

存

列

颇

闯

恩

婚

磁

巴

喊

用

掐

评

善

汞

乖

渺

群

亡

根

泵

升

怀

票

虫

首

旁

值

时

件

儒

吕 捏

廓 茬 搜

褶 砍 窘 缺 底 敲 叶 摧 选 耐

夺 信

稿

蒜

耍 略

江

末

巅 阳

遵

抓

自 擒

远

蛾

筐 雅

铭

搭

讽 埠

扔

嗓

楼 卧

贼

而

柳 震

惊

二、读多音节词语（100个音节，共20分，限时2.5分钟）

胸口

爆炸

儿童 衰竭

温柔

民歌 乐曲

冠军

傲慢

飞快 做活儿 配偶

农产品 柜子 语法

得到

凄凉 清楚

状态

日益 鲁莽

谬论

深层 苍蝇

豪爽

虽然 维持

中学

亏损

妓女 画面

佛寺

方向盘 改编

无穷

疲倦 黑人

顶牛儿 在乎

本领 完全 下等 运动

财政

夸张 小瓮儿

铁索

掉价儿

传播

三、朗读短文：请朗读第20号短文。

四、命题说话：请按照话题“我的成长之路”或“谈谈对环境保护的认识”说一段话（3分钟）。