用MPL实现汇编程序结构化控制流

讨论在ＭＰＬ（ＭＡＣＲＯＰＲＯＣＥＳＳＬＡＮＧＵＡＧＥ）环境下，实现汇编源程序的结构化控制流的方法．给出通过定义公有标号变量和自定义栈来设计结构化控制流的设计方法，并给出在高级语言中常用的控制流如ｆｏｒｎｅｘｔ、ｉｆｆｈｅｎ、ｗｈｉｌｅｄｏ、ｄｏｗｈｉｌｅ和ｓｗｉｔｃｈｃａｓｅ等在汇编源程序中的具体实现技术．这种方法可压缩汇编源代码的代码量，改善源程序的可读性。

基于非结构化控制流的进化测试方法

结构性测试中,进化测试是一种高效的自动生成高质量测试用例的技术。然而,当程序中出现非结构化特征时,在面向节点的测试标准下,其效率极其低下甚至不及随机测试生成方法。在考虑循环体内部出现跳转(goto、return)语句的情况下,提出了一种适应度计算方法。该方法在结合传统进化测试适应度计算的基础上,充分考虑了循环次数对于进化搜索的影响。实验结果表明,本适应度函数可以很好地引导进化搜索,并以较小的代价生成测试用例。