摘要：针对基于UML的面向对象程序设计方法及着色Petri网的特点,提出了一种基于着色Petri网的测试用例生成方法,该方法将UML的时序图描述转化为着色Petri网的形式化描述,通过深度优先遍历着色Petri网找出系统的测试路径,对给出的测试数据采用爬山法进行测试用例的选择,最后,根据路径覆盖的原则产生完整的测试用例.

摘要：本文采用可视化建模工具UML对排课系统进行了分析与设计,提出使用二部图来解决排课中的选课问题,并给出了具体的实现方法。

摘要：以"学生成绩管理系统"为例,进行模型设计,阐述了需求模型、业务模型、概念模型、物理模型、生成数据库脚本及测试数据的主要设计过程。

摘要：文章研究了支柱二全球反税基侵蚀(GloBE)规则的广泛实施对于国家间以吸引投资为目的的税收竞争可能产生的影响,讨论了那些希望运用税收制度吸引外国直接投资的国家所持的观点。事实上,二十国集团/经济合作与发展组织包容性框架的成员对于通过最低税遏制国际税收竞争的目标存在分歧。一些成员的保留意见体现在GloBE制度的折中设计中,从基于经济实质的所得排除(SBIE)规则可以看出,包容性框架放弃了以商定的最低税率为企业税竞争设定底线的想法。相反,SBIE建立了一个仅适用于超额利润征税的有效底线(15%)。同时,由于来源国可能通过合格国内最低补足税自行征收最低税,理论上,基于该底线的税收竞争可能会持续不减,这意味着传统企业税将被模仿GloBE补足税的国内最低税所取代。然而,考虑到财政、法律和政治方面的限制,这种极端情况不太可能实现。因此,随着GloBE的广泛实施,使用低于15%的有效税率吸引高利润率投资的激励措施将减少。尽管如此,《GloBE示范规则》的某些要素意味着一些形式的企业税竞争将继续存在,甚至会相对更具吸引力。由于GloBE对企业税竞争的缓和作用相对温和,GloBE还可能导致通过其他渠道吸引投资的竞争加剧。

摘要：经济合作与发展组织和二十国集团在公众咨询文件中讨论了对跨国公司利润征收有效最低税的国际协调措施。这项所谓的"全球反税基侵蚀"提案(Global Anti-Base Erosion)主要借鉴了2017年美国税改中提出的全球无形低课税所得(GILTI)和税基侵蚀与反滥用税(BEAT)方案。该提案呼吁实施所得纳入规则,而该规则类似于广泛适用的CFC机制和转换条款,并针对来源国的征税不足支付设置扣除限制或预提税。本文主要包含三部分内容:首先,作者讨论了最低税的政策原理、优点以及潜在问题;其次,作者分析了税收设计的重要因素,即税收的技术层面;最后,在目前讨论的其他方案("第一支柱"下的重新分配征税权方案)的背景下,从法律和经济角度审视最低税提案及其与税收协定和欧盟条约法的兼容性。

摘要：当前,对数字经济课税的核心问题是,一些商业模式允许公司在没有实体存在的情形下,在特定国家进行生产,由此规避该国实施(适当)的来源地税收规则。这种价值创造与税收规则的错配可能需要调整国际税收标准。本文分析了所有主要的数字化趋势,用以确定是否、以及在何种程度上允许在上述缺乏应税联结度的情形下创造价值。虽然,现行国际税收规则仍适当地涵盖了一些数字化趋势,但其余数字化趋势允许远程访问本地数据来源和用户网络,而无需在来源地课税。对此,本文提出了一种系统的、行政上可行的方法,即以持续用户关系(SURE)为基础来分配征税权。文章设计了一个概念性框架,用以确定基于SURE的价值创造,并强调可观察到的现金流作用。最后,作者就阶段性改革提出了一些初步建议。

摘要：经济合作与发展组织和二十国集团在公众咨询文件中讨论了对跨国公司利润征收有效最低税的国际协调措施。这项所谓的"全球反税基侵蚀"提案(Global Anti-Base Erosion)主要借鉴了2017年美国税改中提出的全球无形低课税所得(GILTI)和税基侵蚀与反滥用税(BEAT)方案。该提案呼吁实施所得纳入规则,而该规则类似于广泛适用的CFC机制和转换条款,并针对来源国的征税不足支付设置扣除限制或预提税。本文主要包含三部分内容:首先,作者讨论了最低税的政策原理、优点以及潜在问题;其次,作者分析了税收设计的重要因素,即税收的技术层面;最后,在目前讨论的其他方案("第一支柱"下的重新分配征税权方案)的背景下,从法律和经济角度审视最低税提案及其与税收协定和欧盟条约法的兼容性。