基于动态Wright体系结构描述语言测试方法

软件体系结构测试是对构件功能描述和接口描述的测试，是保证基于构件的软件系统质量的重要手段。提出了一种针对软件体系结构层配置信息的测试方法，该方法用Dynamic Wright描述软件系统的体系结构及对系统配置信息进行新从配置，利用标号迁移系统LTS描述软件系统的状态变化及迁移信息，指导测试路径生成。     

秋天的童话

梧桐树的叶子落得遍地都是,只留下突兀的枝干在风中瑟瑟发抖。我习惯在寒风中行走,正如我所拥有的寂寞一样。不想,此刻我的手心却有了温度。难道,难道是因为他,因为他给我的那张纸上写着:别把自己的心锁进黑匣子里,让它出来,见见阳光……一直以来,我习惯了孤单。政治课上,尽管老师讲得神采飞     

好习惯比知识更重要

去朋友家做客,发现她两岁的女儿虽然年龄小却很会做事。我们俩坐在客厅里聊天,朋友需要用笔写一些东西,就对女儿说:"宝宝,去书房帮妈妈拿支笔来。"女儿很快就把一支笔递到她的手里。过了一会儿,朋友又对女儿说:"宝宝,去卧房把妈妈的皮包拿来。"女儿迅速地拿来了皮包,等用完后又帮忙放回原处……     

像女王挥舞骄傲披风

自然卷推荐：这年头,公主和王子的爱情童话早已经不流行了,仿佛在一夕之间,人人都变成了御姐控和正太控。做女王有什么不好,我骄傲,我全场夺目,可是我看似桀骜不驯的外表下,也隐藏了一颗柔软的心。也许下一刻,你便是结束我女王神话的那个人。     

中国现当代文学教学中如何培养应用型人才

中国现当代文学教学中培养应用型人才具有重要意义,有利于推动课程教学改革创新,增强学生实践能力和就业能力,为整个社会输送更多优秀人才。但目前教学存在不足,主要体现在教学目标、教学内容和教学方法三方面。为有效培养应用型人才,改进教学中的不足,有必要准确定位教学目标,坚持以应用型人才培养为核心;优化调整教学内容,实现教学内容由封闭走向开放;创新教学方式方法,重视实践教学并提高学生综合能力。     

入户抢劫“入户”目的非法性之否定

关于入户抢劫是否具备入户目的的非法性历来是学界争论的一个问题,尽管《关于审理抢劫案件具体应用法律问题若干问题的解释》和《关于审理抢劫、抢夺刑事案件适用法律若干问题的意见》都是持肯定的态度。但是从立法本意来看,入户抢劫除了保障财产权之外,更重要的还要保护居民对"户"的信任感和安全感;"入户"目的非法性也并不影响主观有责性的成立和客观违法性的程度;入户方式合法与否也并非刑法所关注的内容,所以入户抢劫并不需要入户时具有非法目的。     

道路工程课程教学中的“四阶段法”创新能力培养

道路工程是交通工程专业一门非常重要的专业必修课程,在道路工程课程中融入创新能力培养,对提高交通工程专业学生的创新能力、实践能力和综合竞争力具有重要意义。本文通过对交通工程专业、道路工程课程和创新能力培养的特点进行分析,提出了“四阶段法”创新创业能力培养体系,并对该体系对课程教学的软硬件需求进行了分析。“四阶段法”创新能力培养体系是实现道路工程课程专业教学和创新能力培养有机结合的载体,同时可为其他相关专业课程中的创新能力培养提供借鉴。