Dept. of Comput. Inf. Sci., Gannon Univ., Erie, PA;
Java; finite state machines; object-oriented programming; program testing; AspectJ; aspect-oriented programming language; automated state-based test execution process; model-level state; runtime instrumentation mechanism; runtime object state; state mapping framework; Software Engineering; modelbased; software testing;
机译:前言:有关在运行时执行对象验证的特刊
机译:前言:有关在运行时执行对象验证的特刊
机译:从用例到UML状态机的自动过渡,以支持基于状态的测试
机译:自动评估运行时对象状态对模型级别状态的基于状态的测试执行
机译:基于搜索的基于状态的组件的自动测试生成方法。
机译:编辑者的选择:在TRUST试验中对于计划的ICD随访自动远程监控与亲自评估相比具有优势-测试建议的执行情况
机译:针对基于状态的测试执行的模型级状态的运行时对象状态的自动评估