constraint theory; formal specification; program testing; programming language semantics; software fault tolerance; specification languages; OCL mutation; OCL specification; constraint satisfaction problem; constraint solving; fault-based testing; formal semantics;
机译:使用带有OCL约束的UML类图测试Web应用程序的数据生成
机译:使用带有OCL约束的UML类图测试Web应用程序的数据生成
机译:使用不精确的模型约束和约束求解技术生成复杂数据类型的测试数据
机译:通过OCL突变和约束求解生成测试用例
机译:使用约束求解来测试软件产品线。
机译:果蝇的三种β-微管蛋白序列:发育受调节的同工型(β3)睾丸特异性同工型(β2)和睾丸特异性同工型(B2t8)的装配缺陷型突变揭示了后生亚型的古老差异和β微管蛋白功能的结构限制。
机译:通过OCL变异和约束求解生成测试用例