【ポジション職責】

1.テスト方案、テストケースの作(zuò)成

2.テスト関數(shù)の作(zuò)成(Java、Cコード、C++)

3.ホワイトボックスとブラックボックスのハイカバ∏₹↑レッジテスト

4.ユニットテスト、結合テスト、性能(néng)≥↕テストなど全プロセステストのサポート

5.顧客の開発現場やリモートにてテストツールの使用(yòng)指導、テストの技(jì)術サポート ××↔

6.製品の運営経験、顧客に対する技(jì)術育成・経験交流

【ポジション要(yào)求】

必須條件(jiàn)：

1.テスト方案の熟練者、テストケースの設計経験の豊φ♠​富な方

2.Java、C、C++のプログラミングの基礎がある方

3.ホワイトボックスとブラックボックスのハイカバレッジテス↑≤<®トの知(zhī)っている方

4.積極的(de)性格、テストの仕事(shì)に慣れて、プログ  ∏ラミングに興味がある方

5.システムテスト、性能(néng)テスト、自(zì)動化(huà)テス←δトの熟練者

オプション:

1.豊富なテスト自(zì)動化(huà)フレームワークの構築及び運用(yòng)経験者が優先

2.各種自(zì)動化(huà)テストソ& Ω≥フトウェアの使用(yòng)経験者が優先

3.Java、C言語開発経験者が優先

【ポジション職責】

1.テストケースの自(zì)動生(shēng)成に関するアルゴリズム設計、アーキテクチャのデザイ₹✘•↑ン、ソフトウエアの設計

2.自(zì)動化(huà)テストソフトウエアの研究開発、ホワイトボックスとブラックボックスを♣ ×★基つくテストっケースの自(zì)動生(shēng)成するΩε©ソースコードを実裝

【ポジション要(yào)求】

必須條件(jiàn)：

1.コンピュータ、電子(zǐ)情報、數(shù)學など関連専門β₩↔本科(kē)以上(shàng)學歴、5年(nián)以上(shàng<→)のJava開発経験

2.靜(jìng)的(de)なプログラム分(fēn)析技(jì)術の熟練'&者

3.Symbolic Execution技(jì)術の熟練者、多(duō)數(shù)∑γ">のSymbolic Executionελ♣​エンジンの熟練者

(例えばKLEE、SPF、Ponceプラグイン、Maatフレームワーク)

4.多(duō)數(shù)のConstraint Solverの熟練者(例えばSTP、©δ€Z3、MetaSMT)

5.ソフトウエアスタブ技(jì)術の熟練者

6.データ構造、アルゴリズム原理(lǐ)、ソフトウエアエンジニアリングの知(z≈¶↓hī)識が持っている方

オプション:

1.自(zì)動化(huà)テストのフレームワーク、プログラムスタブとメカニズムの熟練者が優先

2.語法分(fēn)析、コンパイル原理(lǐ)など関連の背景知(zhī)識の熟練σ‍β者が優先

3.GCCやLLVM移植の経験者が優先

5.Linux、UnixなどOSで移植する経験者が優先